Vyhledávat v databázi titulů je možné dle ISBN, ISSN, EAN, č. ČNB, OCLC či vlastního identifikátoru. Vyhledávat lze i v databázi autorů dle id autority či jména.
Projekt ObalkyKnih.cz sdružuje různé zdroje informací o knížkách do jedné, snadno použitelné webové služby. Naše databáze v tuto chvíli obsahuje 2895566 obálek a 875351 obsahů českých a zahraničních publikací. Naše API využívá většina knihoven v ČR.
Software engineering | |||||
|
|
Autor: Bjørner, Dines AnotaceThe art, craft, discipline, logic, practice and science of developing large scale software products is an increasing need of a trustworthy, believable and professional base. This book is one in a series of three volumes, devoted to fill this need. The three strongly related text books combine informal, engineeringly sound approaches with the rigour of formal, mathematics based approaches. This volume 1 covers the basic principles and techniques of abstraction and modeling. First the book provides a sound, but simple basis of insight into discrete mathematics: Numbers, sets, Cartesians, types, functions, the lambda calculus, algebras and mathematical logic. Then the book goes on to teach and train its readers in basic property and model oriented specification principles and techniques. The model oriented concepts, that are common to such specification languages as B, VDM-SL, and Z, will be propagated here through the use of the RAISE specification language RSL. Finally the book covers basic principles of functional, imperative and parallel specification programming - the latter based on the use of CSP: Hoare's language of Communicating Sequential Processes. The present book is targeted at university undergraduate students and at college lecturers. Zdroj anotace: OKCZ - ANOTACE Z WEBU Dostupné zdroje
| ||||