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 3152128 obálek a 950683 obsahů českých a zahraničních publikací. Naše API využívá většina knihoven v ČR.
FME 2002: Formal Methods - Getting IT Right: International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002 Proceedings (Lecture Notes in Computer Science)
Rok: 2002
ISBN: 9783540439288
OKCZID: 110074225
Citace (dle ČSN ISO 690):
ERIKSSON, Lars-Henrik, ed. a LINDSAY, Peter Alexander, ed. FME 2002: formal methods - getting IT right : international symposium of formal methods Europe, Copenhagen, Denmark, July 22-24, 2002 : proceedings. Berlin: Springer, 2002. XI, 624 s. Lecture notes in computer science, 2391.
Anotace
Proceedings of the Intl Symposium of Formal Methods, held July 22-24, 2002 in Copenhagen, Denmark. All current aspects of formal methods are addressed, from foundational and methodological issues to advanced application in various fields. Softcover.