Items related to Formal Program Development: Ifip Tc2/Wg 2.1 State-Of-The-Art...
Formal Program Development: Ifip Tc2/Wg 2.1 State-Of-The-Art Report (Lecture Notes in Computer Science) - Softcover
Synopsis
Formal Program Development Presenting the results of a contemporary symposium on formal program development, this volume focuses on systematic approaches to computer programming and the appropriate concepts and notations required to support these approaches. Full description
"synopsis" may belong to another edition of this title.
- PublisherSpringer Nature
- Publication date1993
- ISBN 10 0387574999
- ISBN 13 9780387574998
- BindingPaperback
- EditorSchuman Steve
Top Search Results from the AbeBooks Marketplace
Stock Image
Formal Program Development: Ifip Tc2/Wg 2.1 State-Of-The-Art Report (Lecture Notes in Computer Science 755)
Seller: Zubal-Books, Since 1961, Cleveland, OH, U.S.A.
Seller rating 5 out of 5 stars
Condition: Good. *Price HAS BEEN REDUCED by 10% until Monday, Sept. 23 (sale item)* 378 pp., Paperback, ex library, else text clean and binding tight. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country. Seller Inventory # ZB717400
Quantity: 1 available