Cover Image

Formal techniques for distributed systems : joint 12th IFIP WG 6.1 international conference, FMOODS 2010 and 30th IFIP WG 6.1 international conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9, 2010 ; proceedings /

Bibliographic Details
Corporate Authors: International Conference on Formal Methods for Open Object-Based Distributed Systems Amsterdam, Netherlands, SpringerLink (Online service), FORTE 2010
Other Authors: Hatcliff, John, 1966-, Zucca, Elena
Format: Conference Proceeding eBook
Language:English
Published: Berlin : Springer, 2010.
Series:Lecture notes in computer science ; 6117.
Subjects:
Formale Methode.
Verteiltes System.
Formal methods (Computer science) > Congresses.
Electronic books.
Online Access:Connect to the full text of this electronic book
Description
Item Description:Copyright by IFIP International Federation for Information Processing.
Electronic resource.
International conference proceedings.
Physical Description:xii, 231 pages : illustrations
Bibliography:Includes bibliographical references and index.
ISBN:3642134645
9783642134647
ISSN:0302-9743 ;
DOI:10.1007/978-3-642-13464-7