Formal Techniques for Distributed Systems
Subtitle: Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 13-16, 2012. Proceedings
By: edited by Holger Giese, Grigore Rosu
Contributors: Roşu, Grigore; SpringerLink (Online service)
Series: Lecture Notes in Computer Science -- 7273
Publisher: Springer Berlin Heidelberg
Published: 2012
Place of publication: Berlin, Heidelberg
Language: eng
Format: [electronic resource] :
ISBN-13: 9783642307935
Subjects: Mathematical Logic and Formal Languages; Programming Techniques; Software engineering; Computer networks; Logic design; Logics and Meanings of Programs; Computer science; Programming Languages, Compilers, Interpreters