Formal Methods and Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), ... 186 (Lecture Notes in Computer Science)

by Maurice Nivat (Author), Christiane Floyd (Author), Hartmut Ehrig (Author), James Thatcher (Author)

New
Paperback
2008
$51.50

$51.50

Save:$2.92 (5%)

Quantity

10 in stock

More Information

Format: Paperback
Pages: 476
Edition: 1985
Publisher: Springer
Published: 13 Jun 2008
ISBN 10: 3540151990
ISBN 13: 9783540151999

Formal Methods and Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), ... 186 (Lecture Notes in Computer Science)

New

$51.50

$51.50

More Information