Formal Program Development: Ifip Tc2/Wg 2.1 State-Of-The-Art Report (Lecture Notes in Computer Science)

Computer

by: Bernhard Moller · Helmut Partsch

Paperback

ISBN: 978-0-387-57499-8

ISBN-10: 0-387-57499-9

Springer Nature · 1993

See also:
2008TaschenbuchFormal Program Development: IFIP TC2/WG 2.1 State-of-the-Art Report (Lecture Notes in Computer Science, Band 755)