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

Computer

von: Steve Schuman · Helmut Partsch · Bernhard M??ller

Taschenbuch

ISBN-13: 978-3-540-57499-6

ISBN-10: 3-540-57499-9

Springer · 2008

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