Formal Techniques for Networked and Distributed Systems - FORTE 2006 26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006. Proceedings /

• Corporate Author: SpringerLink (Online service)
• Other Authors: Najm, Elie (Editor), Pradat-Peyre, Jean-François (Editor), Donzeau-Gouge, Véronique Viguié (Editor)
• Format: Electronic eBook
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006.
• Series: Lecture Notes in Computer Science, 4229
• Subjects: Computer science.; Computer communication systems.; Software engineering.; Operating systems (Computers).; Computers.; Computer logic.; Computer Science.; Theory of Computation.; Computer Communication Networks.; Software Engineering.; Logics and Meanings of Programs.; Operating Systems.