Formal Techniques for Networked and Distributed Systems - FORTE 2006 26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006, Proceedings /
Formal Techniques for Networked and Distributed Systems - FORTE 2006 26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006, Proceedings / [electronic resource] :
edited by Elie Najm, Veronique, Donzeau-Gouge,Jean-Francois Pradat-Peyre.
- Berlin Heidelberg : Springer-Verlag GmbH., 2006
- xii, 486 p. : ill., digital ; 24 cm.
- Lecture Notes in Computer Science, 4229 0302-9743 ; .
9783540462200 (electronic bk.)
Formal methods (Computer science)--Congresses.
Electronic data processing--Distributed processing--Congresses.
Computer network protocols--Congresses.
Computer Science.
Computer Communication Networks.
Logics and Meanings of Programs.
Operating Systems.
Software Engineering.
QA76.9.F67 / F67 2006
004.0151
9783540462200 (electronic bk.)
Formal methods (Computer science)--Congresses.
Electronic data processing--Distributed processing--Congresses.
Computer network protocols--Congresses.
Computer Science.
Computer Communication Networks.
Logics and Meanings of Programs.
Operating Systems.
Software Engineering.
QA76.9.F67 / F67 2006
004.0151