Formal Description of Programming Concepts: Formal Software Development Methods - International Symposium Proceedings: Conference Contributions v. 1 (IFIP State-of-the-art Reports)

Formal Description of Programming Concepts: Formal Software Development Methods - International Symposium Proceedings: Conference Contributions v. 1 (IFIP State-of-the-art Reports)

by Manfred Paul (Editor), Manfred Paul (Editor), Erich Neuhold (Editor), K.R. Apt (Contributor)

$215.85

Quantity

20+ in stock

More Information

Format: Hardcover
Pages: 524
Edition: 1991
Publisher: Springer
Published: 04 Oct 1991

ISBN 10: 3540539611
ISBN 13: 9783540539612