Обложка книги FM 2005: Formal Methods: International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005, Proceedings (Lecture Notes in Computer Science)

FM 2005: Formal Methods: International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005, Proceedings (Lecture Notes in Computer Science)

ISBN: 3540278826;
Издательство: Springer
Страниц: 558

This book presents the refereed proceedings of the International Symposium of Formal Methods Europe, FM 2005, held in Newcastle, UK, in July 2005. The 31 revised full papers presented together with three invited contributions and extended abstracts of 6 invited industrial presentations were carefully reviewed and selected from 130 submissions. The papers are organized in topical sections on object orientation; resource analysis and verification; timing and testing; CSP, B, and Circus; security; networks and processes; abstraction, retrenchment, and rewriting; scenarios and modeling languages; and model checking.

Похожие книги:

Megan Kelso
The Squirrel Mother is Megan Kelso's second collection …
In his introduction, Artforum editor-in-chief Tim Griff…
This book adapts a formal model of elections and legisl…
'The Migration and Remittances Factbook 2008' attempts …
SQL Server Fundamentals for the Accidental DBA Eric Joh…
The 2005 Conservative leadership election was called by…
In the wake of the launch of Zimbabwes land-reform prog…

Lambert M. Surhone
Please note that the content of this book primarily con…

Jesse Russell,Ronald Cohn
Paleontology, palaeontology or pal?ontology (from Greek…

Jesse Russell,Ronald Cohn
The 2005 San Marino Grand Prix (formally the Gran Premi…