Related Books
Language: en
Pages: 302
Pages: 302
Type: BOOK - Published: 2013-03-19 - Publisher: Springer Science & Business Media
This book presents the perspective of the project on a Paradigm Unifying System Specification Environments for proven Electronic design (PUS SEE) as conceived i
Language: en
Pages: 312
Pages: 312
Type: BOOK - Published: 2014-01-15 - Publisher:
Language: en
Pages: 305
Pages: 305
Type: BOOK - Published: 2006-12-12 - Publisher: Springer
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: 413
Pages: 413
Type: BOOK - Published: 2006-11-23 - Publisher: Springer
This book brings together 19 papers focusing on the application of rigorous design techniques to the development of fault-tolerant, software-based systems. It i
Language: en
Pages: 507
Pages: 507
Type: BOOK - Published: 2005-04-25 - Publisher: Springer
This book constitutes the refereed proceedings of the 4th International Conference of Z and B users, ZB 2005, held in Guildford, UK in April 2005. The 25 revise