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 3160030 obálek a 951705 obsahů českých a zahraničních publikací. Naše API využívá většina knihoven v ČR.
B 2007: formal specification and development in B : 7th international conference of B users, Besançon, France, January 17-19, 2007 : proceedings
Rok: c2006
ISBN: 9783540687603
OKCZID: 110085957
Citace (dle ČSN ISO 690):
JULLIAND, Jacques, ed. a KOUCHARENKO, Olga, ed. B 2007: formal specification and development in B: 7th international conference of B users, Besançon, France, January 17-19, 2007 : proceedings. Berlin: Springer, c2006. xiii, 292 s. Lecture notes in computer science, 4355.
Anotace
This book constitutes the refereed proceedings of the 7th International Conference of B Users, B 2007, held in Besançon, France in January 2007. The 30 revised full papers presented together with 4 invited contributions were carefully reviewed and selected from numerous submissions. The topics of interest to the conference included: industrial applications and case studies using B, integration of model-based specification methods in the software development lifecycle, derivation of hardware-software architecture from model-based specifications, expressing and validating requirements through formal models, in particular verifying security policies, theoretical issues in formal development, model-based software testing, tools supporting the B method, development by composition of specifications, validation of assembly of COTS by model-based specification methods, B extensions and/or standardization.