Formal techniques for networked and distributed systems
Subtitle: FORTE 2007 : 27th IFIP WG 6.1 international conference, Tallinn, Estonia, June 27-29, 2007 : proceedings
By: John Derrick, Jüri Vain (eds.).
Contributors: Derrick, John.; Vain, Jüri.; IFIP Working Group 6.1.
Series: Lecture notes in computer science -- 4574.
Publisher: Springer
Published: 2007
Place of publication: Berlin; New York
Language: eng
Number of pages: 373
ISBN-13: 9783540731955
Subjects: Formal methods (Computer science) -- Congresses.; Electronic data processing -- Distributed processing -- Congresses.; Computer network protocols -- Congresses.
Genres: Congresses.
Other titles: FORTE 2007.
Notes: Includes bibliographical references and author index.