Formal Methods for Open Object-Based Distributed Systems
Subtitle: 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 Proceedings
By: edited by Gilles Barthe, Frank S. Boer
Contributors: Boer, Frank S. de; SpringerLink (Online service)
Series: Lecture Notes in Computer Science -- 5051
Publisher: Springer-Verlag Berlin Heidelberg
Published: 2008
Place of publication: Berlin, Heidelberg
Language: eng
Format: [electronic resource] :
Number of pages: 258
ISBN-13: 9783540688624; 9783540688631
Subjects: Logic design; Computer science; Software engineering; Operating systems (Computers)