Related Books
Language: en
Pages: 507
Pages: 507
Type: BOOK - Published: 2005-04-07 - Publisher: Springer Science & Business Media
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
Language: en
Pages: 276
Pages: 276
Type: BOOK - Published: 2018-09-03 - Publisher: Springer
Refinement is one of the cornerstones of a formal approach to software engineering. Refinement is all about turning an abstract description (of a soft or hardwa
Language: en
Pages: 416
Pages: 416
Type: BOOK - Published: 2005-11-24 - Publisher: Springer Science & Business Media
This book constitutes the refereed proceedings of the 5th International Conference on Integrated Formal Methods, IFM 2005, held in Eindhoven, The Netherlands, i
Language: en
Pages: 788
Pages: 788
Type: BOOK - Published: 2006-11-23 - Publisher: Springer
This book constitutes the refereed proceedings of the 8th International Conference on Formal Engineering Methods, ICFEM 2006, held in Macao, China, in November
Language: en
Pages: 498
Pages: 498
Type: BOOK - Published: 2013-08-30 - Publisher: Springer Science & Business Media
Refinement is one of the cornerstones of the formal approach to software engineering, and its use in various domains has led to research on new applications and
