Formal Methods in Programming and Their Applications: International Conference Academgorodok, Novosibirsk, Russia, June/July 1993 Proceedings (Lecture Notes in Computer Science 735)
Bjorner, Dines; Broy, Manfred & Pottosin, Igor
Sold by PsychoBabel & Skoob Books, Didcot, United Kingdom
AbeBooks Seller since 6 October 2003
Used - Soft cover
Condition: Used - Good
Quantity: 1 available
Add to basket