Einführung in die Programmverifikation

von Bernhard Hohlfeld Werner Struckmann

Theorie und Anwendung der Hoareschen Methode am Beispiel der Programmiersprache Pascal

Preis unbekannt

Buch in deiner Nähe kaufen

Standort nutzen

...oder deine aktuelle Postleitzahl eingeben:
In deiner Nähe finden

oder

Zuschicken lassen