Langmaack Hans Editor (2 results)

Author:

VDM '90. VDM and Z - Formal Methods in Software Development: Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990, Proceedings (Lecture Notes in Computer Science (428))
Goos, G.; Hartmanis, J. (editor)
Language: English
Published by Springer, Berlin, 1990
3540525130 / 9783540525134
- Softcover
Seller: Lowry's Books, Three Rivers, MI, U.S.A.Lowry's Books
4-star seller
Contact seller
Condition: Used - Very good
£ 11.42
£ 4.40 shipping
Ships within U.S.A.
Quantity: 1 available
Paperback. Condition: Very Good. No Jacket. This book is in very good condition with tight binding and clean text. Size: 8vo - over 7¾" - 9¾" tall.
Discover more from D. Bjørner
Explore their published works and collectible offers.Explore D. Bjørner
1. Fachtagung Uber Programmiersprachen: Munchen, 9.-11. Marz 1971 (Lecture Notes in Economics and Mathematical Systems)
Langmaack, Hans (Editor) / Paul, Manfred (Editor)
Language: German
Published by Springer Berlin Heidelberg, 1972
3540060510 / 9783540060512
- Softcover
Seller: Revaluation Books, Exeter, United KingdomRevaluation Books
5-star seller
Contact seller
Condition: New
£ 72.02
£ 12.50 shipping
Ships from United Kingdom to U.S.A.
Quantity: 2 available
Paperback. Condition: Brand New. 294 pages. German language. 10.00x7.01x0.67 inches. In Stock.

VDM '90. VDM and Z - Formal Methods in Software Development: Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990, Proceedings (Lecture Notes in Computer Science (428))