Limit search to available items
Book Cover
E-book
Author FORTE 2006 (2006 : Paris, France)

Title Formal techniques for networked and distributed systems : FORTE 2006 : 26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006 : proceedings / Elie Najm, Jean-Francois Pradat-Peyre, Veronique Viguie Donzeau-Gouge (eds.)
Published Berlin ; New York : Springer, [2006]
©2006
Online access available from:
Springer eBooks    View Resource Record  

Copies

Description 1 online resource (xii, 486 pages) : illustrations
Series Lecture notes in computer science, 0302-9743 ; 4229
Lecture notes in computer science ; 4229. 0302-9743
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 Najm, Elie.
Pradat-Peyre, Jean-François.
Donzeau-Gouge, Véronique.
IFIP Working Group 6.1.
LC no. 2006933226
ISBN 9783540462200
3540462201
3540462198
9783540462194
Other Titles FORTE 2006
26th IFIP WG 6.1 International Conference
Twenty-sixth IFIP WG 6.1 International Conference