Semantik und Programmverifikation (Teubner Texte zur Informatik, Band 34)

Informatik

von Christoph Walther

Taschenbuch

ISBN-13: 978-3-519-00336-6

ISBN-10: 3-519-00336-8

B.G. Teubner Verlag · 2001