Limit search to available items
Book Cover
E-book
Author FORTE 2007 (2007 : Tallinn, Estonia)

Title Formal techniques for networked and distributed systems-- FORTE 2007 : 27th IFIP WG 6.1 international conference, Tallinn, Estonia, June 27-29, 2007 : proceedings / John Derrick, Jüri Vain (eds.)
Published Berlin ; New York : Springer, [2007]
©2007
Online access available from:
Springer eBooks    View Resource Record  

Copies

Description 1 online resource (xi, 373 pages) : illustrations
Series Lecture notes in computer science, 0302-9743 ; 4574
LNCS sublibrary. SL 2, Programming and software engineering
Lecture notes in computer science ; 4574. 0302-9743
LNCS sublibrary. SL 2, Programming and software engineering.
Bibliography Includes bibliographical references and index
Notes Print version record
Subject Formal methods (Computer science) -- Congresses.
Electronic data processing -- Distributed processing -- Congresses.
Computer network protocols -- Congresses.
Genre/Form Conference papers and proceedings.
Conference papers and proceedings.
Form Electronic book
Author Derrick, John, 1963-
Vain, Jüri.
IFIP Working Group 6.1.
LC no. 2007928737
ISBN 9783540731962
3540731962
9783540731955 (softcover ; alk. paper)
3540731954 (softcover ; alk. paper)
Other Titles FORTE 2007