ISBN 9783519003366 books & textbook

Semantik und Programmverifikation (Teubner Texte zur Informatik, 34) (German Edition)

Vieweg+Teubner Verlag /2001-11-29 Paperback / 211 Pages
isbn-10: 3519003368 / isbn-13: 9783519003366