Formal Techniques for Distributed Systems: Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Held as Part of the 8th International ... Proc (Lecture Notes in Computer Science)

Formal Techniques for Distributed Systems: Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Held as Part of the 8th International ... Proc (Lecture Notes in Computer Science)

by Dirk Beyer (Editor), Dirk Beyer (Editor), Michele Boreale (Editor)

$66.54

Save:$20.43 (23%)

Quantity

20 in stock

More Information

Format: Paperback
Pages: 336
Edition: 2013
Publisher: Springer
Published: 16 May 2013

ISBN 10: 3642385915
ISBN 13: 9783642385919