Limit search to available items
Book Cover
E-book
Author International Conference on Formal Methods for Open Object-Based Distributed Systems (11th : 2009 : Lisbon, Portugal)

Title Formal techniques for distributed systems : Joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, June 9-12, 2009 : proceedings / David Lee, Antónia Lopes, Arnd Poetzsch-Heffter (eds.)
Published Berlin ; New York : Springer-Verlag, [2009]
©2009
Online access available from:
Springer eBooks    View Resource Record  

Copies

Description 1 online resource (xii, 248 pages) : illustrations
Series Lecture notes in computer science, 0302-9743 ; 5522
Lecture notes in computer science ; 5522
Bibliography Includes bibliographical references and index
Notes Print version record
Subject Electronic data processing -- Distributed processing -- Congresses.
Object-oriented programming (Computer science) -- Congresses.
Formal methods (Computer science) -- Congresses.
Genre/Form Conference papers and proceedings.
Conference papers and proceedings.
Form Electronic book
Author Lee, David, 1947-
Lopes, Antónia.
Poetzsch-Heffter, Arnd.
FORTE 2009 (2009 : Lisbon, Portugal)
LC no. 2009936003
ISBN 9783642021381
3642021387
(paperback)
(paperback)