Gesamtpreis (1 Artikel Artikel):
Versandziel:
hohlfeld struckmann (3 Ergebnisse)
Direkt zu den wichtigsten Suchergebnissen
Suchfilter
Produktart
- Alle Product Types
- Bücher (3)
- Magazine & Zeitschriften (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Comics (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Noten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Kunst, Grafik & Poster (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Fotografien (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Karten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Manuskripte & Papierantiquitäten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
Zustand Mehr dazu
- Neu (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Wie Neu, Sehr Gut oder Gut Bis Sehr Gut (2)
- Gut oder Befriedigend (1)
- Ausreichend oder Schlecht (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Wie beschrieben (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
Einband
- alle Einbände
- Hardcover (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Softcover (3)
Weitere Eigenschaften
- Erstausgabe (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Signiert (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Schutzumschlag (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Angebotsfoto (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
Sprache (2)
Preis
- Beliebiger Preis
- Weniger als EUR 20
- EUR 20 bis EUR 45 (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Mehr als EUR 45 (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
Gratisversand
- Kostenloser Versand nach USA (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
Land des Verkäufers
Verkäuferbewertung
-
Einführung in die Programmverifikation - Theorie und Anwendung der Hoareschen Methode am Beispiel der Programmiersprache PASCAL -
Anbieter: Martin Preuß / Akademische Buchhandlung Woetzel, Kerzenheim, Deutschland
Verbandsmitglied: BOEV
Verkäuferbewertung 5 von 5 Sternen
EUR 4,95
EUR 15,90 Versand
Versand von Deutschland nach USAAnzahl: Mehr als 20 verfügbar
In den Warenkorb03. 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.
-
Einführung in die Programmverifikation - Theorie und Anwendung der Hoareschen Methode am Beispiel der Programmiersprache PASCAL -
Anbieter: Martin Preuß / Akademische Buchhandlung Woetzel, Kerzenheim, Deutschland
Verbandsmitglied: BOEV
Verkäuferbewertung 5 von 5 Sternen
EUR 4,95
EUR 15,90 Versand
Versand von Deutschland nach USAAnzahl: Mehr als 20 verfügbar
In den Warenkorb03. 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.
-
Einführung in die Programmverifikation. Theorie und Anwendung der Hoareschen Methode am Beispiel der Programmiersprache Pascal
Verlag: Spektrum Akadem.Verlag,
ISBN 10: 3411159715 ISBN 13: 9783411159710
Zustand: Gut. Zustand: Gut | Produktart: Bücher | Keine Beschreibung verfügbar.
