Related Books
Language: en
Pages: 305
Pages: 305
Type: BOOK - Published: 2006-12-14 - Publisher: Springer Science & Business Media
This book constitutes the refereed proceedings of the 7th International Conference of B Users, B 2007, held in Besançon, France, January 2007. Coverage in this
Language: en
Pages: 10439
Pages: 10439
Type: BOOK - Published: - Publisher: IOS Press
Language: en
Pages: 818
Pages: 818
Type: BOOK - Published: 2009-06-22 - Publisher: John Wiley & Sons
A comprehensive reference for an executable UML and the advantages of modeling This book presents the most up-to-date technology for rapidly developing informat
Language: en
Pages: 444
Pages: 444
Type: BOOK - Published: 2012-06-26 - Publisher: Springer
This book presents 11 tutorial lectures by leading researchers given at the 12th edition of the International School on Formal Methods for the Design of Compute
Language: en
Pages: 299
Pages: 299
Type: BOOK - Published: 2011-03-23 - Publisher: Springer Science & Business Media
This book constitutes the thoroughly refereed post-conference proceedings of the 13th Brazilian Symposium on Formal Methods, SBMF 2010, held in Natal, Brazil, i
