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: 437
Pages: 437
Type: BOOK - Published: 2013-11-11 - Publisher: Springer
Formal Methods for Open Object-Based Distributed Systems presents the leading edge in several related fields, specifically object-orientated programming, open d
Language: en
Pages: 444
Pages: 444
Type: BOOK - Published: 1911 - Publisher:
Language: en
Pages: 400
Pages: 400
Type: BOOK - Published: 1999 - Publisher:
Language: en
Pages: 265
Pages: 265
Type: BOOK - Published: 2004-01-27 - Publisher: Springer
ETAPS’99 is the second instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual federated conference that was establi
