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 3151204 obálek a 950590 obsahů českých a zahraničních publikací. Naše API využívá většina knihoven v ČR.
FM 2005: formal methods : international symposium of formal methods Europe, Newcastle, UK, july 18-22, 2005 : proceedings
Rok: c2005
ISBN: 9783540278825
OKCZID: 110103747
Citace (dle ČSN ISO 690):
FITZGERALD, John J., ed., HAYES, Ian J., ed. a TARLECKI, Andrzej, ed. FM 2005: formal methods: international symposium of formal methods Europe, Newcastle, UK, July 18-22, 2005 : proceedings. Berlin: Springer, c2005. xiv, 558 s. Lecture notes in computer science, 3582.
Anotace
This book presents the refereed proceedings of the International Symposium of Formal Methods Europe, FM 2005, held in Newcastle, UK, in July 2005. The 31 revised full papers presented together with three invited contributions and extended abstracts of 6 invited industrial presentations were carefully reviewed and selected from 130 submissions. The papers are organized in topical sections on object orientation; resource analysis and verification; timing and testing; CSP, B, and Circus; security; networks and processes; abstraction, retrenchment, and rewriting; scenarios and modeling languages; and model checking.