Related Books
Language: en
Pages: 460
Pages: 460
Type: BOOK - Published: 1998-09-16 - Publisher: Springer Science & Business Media
1 In a number of recent presentations – most notably at FME’96 –oneofthe foremost scientists in the ?eld of formal methods, C.A.R. Hoare,has highlighted t
Language: en
Pages: 452
Pages: 452
Type: BOOK - Published: 1997-03-20 - Publisher: Springer Science & Business Media
This book constitutes the refereed proceedings of the 10th International Conference of Z Users, ZUM'97, held in Reading, UK, in April 1997. The volume presents
Language: en
Pages: 596
Pages: 596
Type: BOOK - Published: 1995-08-23 - Publisher: Springer Science & Business Media
This book presents the proceedings of the 9th International Conference of Z Users, ZUM '95, held in Limerick, Ireland in September 1995. The book contains 34 ca
Language: en
Pages: 448
Pages: 448
Type: BOOK - Published: 1998 - Publisher:
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
