Formal description of programming concepts--II: Proceedings of the IFIP Working Conference on Formal Description of Programming Concepts--II, Garmisch-Partenkirchen, FRG, 1-4 June 1982 Bjorner, Dines, editor.
Bjorner, Dines, Editor.
Sold by CONTINENTAL MEDIA & BEYOND, Ocala, FL, U.S.A.
AbeBooks Seller since August 26, 2008
Used - Hardcover
Condition: Used - Good
Quantity: 1 available
Add to basket