Author: MLLER, B. , H. PARTSCH and S. SCHUMAN. (eds).
Title: Formal program development. IFIPTC2/WG 2.1 state-of-the-art report.
Description: Berlin, Springer, 1993 23 cm. original paperback. 372 pp. references. "Lecture Notes in Computer Science". -(libr labels, library stamp on title, otherwise good). Gewicht/Weight: 510 grs.
Keywords:
Title: Formal program development. IFIPTC2/WG 2.1 state-of-the-art report.
Description: Berlin, Springer, 1993 23 cm. original paperback. 372 pp. references. "Lecture Notes in Computer Science". -(libr labels, library stamp on title, otherwise good). Gewicht/Weight: 510 grs.
Keywords:
Price: EUR 20.00 = appr. US$ 21.74 Seller: Boekhandel-Antiquariaat Emile Kerssemakers
- Book number: 71863
- Book number: 71863