Formal Methods and Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (Tapsoft), B 1985 Edition Contributor(s): Ehrig, Hartmut (Editor), Floyd, Christiane (Editor), Nivat, Maurice (Editor) |
|
ISBN: 3540151990 ISBN-13: 9783540151999 Publisher: Springer OUR PRICE: $66.49 Product Type: Paperback - Other Formats Published: March 1985 |
Additional Information |
BISAC Categories: - Reference | Questions & Answers - Computers | Software Development & Engineering - General - Computers | Programming Languages - General |
Dewey: 001.642 |
Series: Lecture Notes in Computer Science |
Physical Information: 0.96" H x 6.14" W x 9.21" (1.46 lbs) 459 pages |