Semantik und Programmverifikation
Publisher: Vieweg+Teubner Verlag
Published: Mar 07, 2012
Format: paperback
Number of pages: 216
ISBN-13: 9783519003366
Notes: Source title: Semantik und Programmverifikation (Teubner Texte zur Informatik) (Delaware Edition)