Formal Methods and Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29 1985

Name: Formal Methods and Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29 1985
ISBN: 9783540151999

by Ehrig, Hartmut, Floyd, Christiane, Nivat, Maurice

Formal Methods and Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29 1985

by Ehrig, Hartmut, Floyd, Christiane, Nivat, Maurice

Marketplace Prices
New from $66.19

New
$66.19

Recommended

Item Details
Condition: New
Provider: LightningBooks Contact
Provider Rating:

85%
Ships From: Multiple Locations
Shipping: Standard, Expedited (tracking available)
Comments: Fast shipping! All orders include delivery confirmation.

ISBN-13: 9783540151999
ISBN: 3540151990
Publication Date: 2007
Publisher: Springer

AUTHOR

Ehrig, Hartmut, Floyd, Christiane, Nivat, Maurice

SUMMARY

Ehrig, Hartmut is the author of 'Formal Methods and Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29 1985', published 2007 under ISBN 9783540151999 and ISBN 3540151990.

[read more]