Limit search to items available for checkout
BOOK
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.).
Imprint Berlin ; New York : Springer, c2006.

Copies/Volumes

LOCATION CALL # STATUS
 Main Stacks  QA76.9.F67 F67 2006    AVAILABLE
Description xii, 486 p. : ill. ; 24 cm.
Series Lecture notes in computer science, 0302-9743 ; 4229.
Bibliog. Includes bibliographical references and index.
Subject Formal methods (Computer science) -- Congresses.
Electronic data processing -- Distributed processing -- Congresses.
Computer network protocols -- Congresses.
Other Author Najm, Elie.
Pradat-Peyre, Jean-François.
Donzeau-Gouge, Véronique.
IFIP Working Group 6.1.
Other Title FORTE 2006.
26th IFIP WG 6.1 International Conference.
Twenty-sixth IFIP WG 6.1 International Conference.
IFIP WG 6.1 International Conference.