Formal Techniques for Networked and Distributed Systems - FORTE 2006
Subtitle: 26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006, Proceedings (Lecture Notes in Computer Science)
Contributors: Elie Najm (Editor); Jean-Francois Pradat-Peyre (Editor); Véronique Viguié Donzeau-Gouge (Editor)
Edition: 1 edition
Publisher: Springer
Published: November 14, 2006
Language: eng
Format: Paperback
Number of pages: 486
ISBN-13: 9783540462194
Subjects: Mathematical theory of computation; Programming - Software Development; Computers; Computers - Communications / Networking; Computer Books: General; Networking - General; Operating Systems - General; Computers / Networking / General; UML; Web services; communicating systems; distributed computing; distributed systems; embedded systems; formal languages; formal methods; formal specification; internet-based computing; middleware; model checking