Formal Techniques for Distributed Systems
Subtitle: Joint 13th IFIP WG 6.1 International Conference, FMOODS 2011, and 30th IFIP WG 6.1 International Conference, FORTE 2011, Reykjavik, Iceland, June 6-9, 2011. Proceedings
By: edited by Roberto Bruni, Juergen Dingel
Contributors: Dingel, Juergen; SpringerLink (Online service)
Series: Lecture Notes in Computer Science -- 6722
Publisher: Springer Berlin Heidelberg
Published: 2011
Place of publication: Berlin, Heidelberg
Language: eng
Format: [electronic resource] :
ISBN-13: 9783642214608; 9783642214615
Subjects: Logic design; Computer networks; Computer science; Software engineering