ISBN 3540574999 books & textbook
Formal Program Development: IFIP TC2/WG 2.1 State-of-the-Art Report (Lecture Notes in Computer Science, 755)
Möller, Bernhard Partsch, Helmut Schuman, Steve
Springer /1993-11-29 Paperback / 384 Pages
isbn-10: 3540574999 / isbn-13: 9783540574996
