×
![]( "Buchcover ISBN 9783322867681")
Semantik und Programmverifikation
von Christoph WaltherProgrammiersprachen: Semantik und Beweistechniken - Aktuelle Forschungsergebnisse
Semantik und Programmverifikation von Christoph Walther | ISBN 9783322867681
Semantik und Programmverifikation
von Christoph WaltherISBN-Daten
Digitalprodukt / E-Book
eBook, PDF
211 SeitenAuflage
2001Verlag
Vieweg & TeubnerAutor
Christoph Walthererschienen am
13.03.2013ISBN-10
3-322-86768-4Reihe
Teubner Texte zur Informatik 34Lieferstatus
verfügbarPreis
33,26 €*Lokal-Verfügbarkeit
ca. 15 km um Moreno Valley
**Mit der Eingabe/Ermittlung der Standortdaten willigen Sie der Datenverarbeitung gemäß unserer Datenschutzerklärung ein.
Lokalverfügbarkeit (Karte)