Author: MOLLER, BERNHARD; PARTSCH, HELMUT; SCHUMAN, STEVE (EDS.)
Title: Lecture Notes in Computer Science 755: Formal Program Development: IFIP TC2/WG 2.1 State-of-the-Art Report
Description: Berlin, Heidelberg, New York, Springer-Verlag. 1993. (ISBN: 9783540574996). Paperback. Ex-Library, Paperback. Ex-library, with library labelling on front cover and inside front cover. Covers have one or two light surface scratches, stains and creases. Head of page block and pages are a little tanned. Minor wear to spine and leading corners. Binding is sound, pages are tight and contents are clear throughout. AF. Good/No Dust Jacket.

Keywords: 9783540574996


See more books from our catalog: Computers & Technology (Incl. Ai)