Hohlfeld struckmann (3 Ergebnisse)
- Softcover
Anbieter: Martin Preuß / Akademische Buchhandlung Woetzel, Kerzenheim, , DeutschlandMartin Preuß / Akademische Buchhandlung Woetzel
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Gebraucht - Wie neu
EUR 4,95
EUR 15,90 VersandVersand von Deutschland nach USAAnzahl: Mehr als 20 verfügbar
03. Zustand: Wie neu. 1992. 304 S. Dieses Buch behandelt die wichtigste Methode zur Verifikation von Programmen - das HOARE-Kalkül - durchgängig von den theoretischen Grundlagen bis hin zu den praktischen Anwendungen. Zu Beginn wird das zum Verständnis der Hoareschen Methode notwendige ma Sprache: Deutsch.
- Softcover
Anbieter: Martin Preuß / Akademische Buchhandlung Woetzel, Kerzenheim, , DeutschlandMartin Preuß / Akademische Buchhandlung Woetzel
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Gebraucht - Wie neu
EUR 4,95
EUR 15,90 VersandVersand von Deutschland nach USAAnzahl: Mehr als 20 verfügbar
03. Zustand: Wie neu. 1992. 304 S. Dieses Buch behandelt die wichtigste Methode zur Verifikation von Programmen - das HOARE-Kalkül - durchgängig von den theoretischen Grundlagen bis hin zu den praktischen Anwendungen. Zu Beginn wird das zum Verständnis der Hoareschen Methode notwendige ma Sprache: Deutsch.
Verlag: Spektrum Akadem.Verlag,
- Softcover
Anbieter: Buchpark, Trebbin, , DeutschlandBuchpark
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Gut
EUR 7,69
EUR 105,00 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Zustand: Gut. Zustand: Gut | Produktart: Bücher | Keine Beschreibung verfügbar.
