Teubner Informatik Bd. 34 - 5 Angebote vergleichen
| Preise | 2013 | 2014 | 2015 |
|---|---|---|---|
| Schnitt | € 33,99 | € 31,65 | € 48,11 |
| Nachfrage |
1
Semantik und Programmverifikation (2001)
DE PB US FEISBN: 9783519003366 bzw. 3519003368, in Deutsch, Teubner, Taschenbuch, gebraucht, Erstausgabe.
Buchhandlung Schöningh GmbH & Co. KG, [3622845].
im Handel nicht mehr erhältlich, unterer Schnitt mit minimalen Lagerspuren, sonst durchaus sehr gutes und ungelesenes Exempalr, 1. Auflage, Neupreis 48,10 Euro. Dieses Buch behandelt Grundkonzepte der Programmiersprachensemantik anhand einer einfachen funktionalen Programmiersprache. Darauf aufbauend werden die Aufgaben und Probleme bei Nachweis von totaler und partieller Korrektheit einfacher funktionaler Programme behandelt. Insbesondere wird der Bezug zwischen Programmiersprachensemantik und formaler Logik illustriert. Prinzipielle Grenzen der "automatischen" Verifikation werden untersucht und die praktische Relevanz dieser Grenzen wird diskutiert. Softcover.
im Handel nicht mehr erhältlich, unterer Schnitt mit minimalen Lagerspuren, sonst durchaus sehr gutes und ungelesenes Exempalr, 1. Auflage, Neupreis 48,10 Euro. Dieses Buch behandelt Grundkonzepte der Programmiersprachensemantik anhand einer einfachen funktionalen Programmiersprache. Darauf aufbauend werden die Aufgaben und Probleme bei Nachweis von totaler und partieller Korrektheit einfacher funktionaler Programme behandelt. Insbesondere wird der Bezug zwischen Programmiersprachensemantik und formaler Logik illustriert. Prinzipielle Grenzen der "automatischen" Verifikation werden untersucht und die praktische Relevanz dieser Grenzen wird diskutiert. Softcover.
2
Semantik und Programmverifikation (2001)
DE PB US FEISBN: 9783519003366 bzw. 3519003368, in Deutsch, Teubner, Wiesbaden, Taschenbuch, gebraucht, Erstausgabe.
Von Händler/Antiquariat, Schoeningh GmbH & Co. KG [53416585], Wuerzburg, BAYER, Germany.
im Handel nicht mehr erhältlich, unterer Schnitt mit minimalen Lagerspuren, sonst durchaus sehr gutes und ungelesenes Exempalr, 1. Auflage, Neupreis 48,10 Euro. Dieses Buch behandelt Grundkonzepte der Programmiersprachensemantik anhand einer einfachen funktionalen Programmiersprache. Darauf aufbauend werden die Aufgaben und Probleme bei Nachweis von totaler und partieller Korrektheit einfacher funktionaler Programme behandelt. Insbesondere wird der Bezug zwischen Programmiersprachensemantik und formaler Logik illustriert. Prinzipielle Grenzen der "automatischen" Verifikation werden untersucht und die praktische Relevanz dieser Grenzen wird diskutiert.
im Handel nicht mehr erhältlich, unterer Schnitt mit minimalen Lagerspuren, sonst durchaus sehr gutes und ungelesenes Exempalr, 1. Auflage, Neupreis 48,10 Euro. Dieses Buch behandelt Grundkonzepte der Programmiersprachensemantik anhand einer einfachen funktionalen Programmiersprache. Darauf aufbauend werden die Aufgaben und Probleme bei Nachweis von totaler und partieller Korrektheit einfacher funktionaler Programme behandelt. Insbesondere wird der Bezug zwischen Programmiersprachensemantik und formaler Logik illustriert. Prinzipielle Grenzen der "automatischen" Verifikation werden untersucht und die praktische Relevanz dieser Grenzen wird diskutiert.
3
Symbolbild
Semantik und Programmverifikation (Teubner Texte zur Informatik)
DE USISBN: 3519003368 bzw. 9783519003366, in Deutsch, Teubner, Stuttgart, Deutschland, gebraucht.
Lieferung aus: Deutschland, Versandart: STD, Versand nach: DE.
Von Händler/Antiquariat, Erich Butzenlechner, Einzelunternehmen, [4245].
Verlag: B.G. Teubner Verlag, Ausgabe von 2001-11-29, Einband: Taschenbuch, Seiten: 211, das Buch ist in gutem Zustand. Altersgemäße kleinere Mängel sind nicht immer extra aufgeführt.
Von Händler/Antiquariat, Erich Butzenlechner, Einzelunternehmen, [4245].
Verlag: B.G. Teubner Verlag, Ausgabe von 2001-11-29, Einband: Taschenbuch, Seiten: 211, das Buch ist in gutem Zustand. Altersgemäße kleinere Mängel sind nicht immer extra aufgeführt.
4
Semantik und Programmverifikation. Teubner-Texte zur Informatik ; Bd. 34
DE PB USISBN: 3519003368 bzw. 9783519003366, Band: 34, in Deutsch, Stuttgart ; Leipzig ; Wiesbaden : Teubner, 2001. Taschenbuch, gebraucht.
Lieferung aus: Deutschland, Versandart: STD, Versand nach: DE.
Von Händler/Antiquariat, Versand-Antiquariat Konrad von Agris, [9234452].
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Von Händler/Antiquariat, Versand-Antiquariat Konrad von Agris, [9234452].
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Lade…