Placeholder text
Semantik und Programmverifikation (Teubner Texte zur Informatik, 34, Band 34)
0 - Default Title
Product details
Binding:
Paperback
Edition:
1
Number of Pages:
211
Release Date:
2001-11-29
Publication Date:
2001-11-29
Publisher:
B.G. Teubner Verlag
Languages:
Published:
German
ISBN10:
3519003368
GPSR Manufacturer Reference:
Weight:
349 g
Currently sold out