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)

$74.75

Save:$5.51 (7%)

Quantity

10 in stock

More Information

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

ISBN 10: 3642385915
ISBN 13: 9783642385919