Graph-Based Proof Procedures for Horn Clauses
Seiten
1990
Birkhäuser Verlag (Hersteller)
978-3-7643-3530-4 (ISBN)
Birkhäuser Verlag (Hersteller)
978-3-7643-3530-4 (ISBN)
Lese- und Medienproben
- Titel ist leider vergriffen;
keine Neuauflage - Artikel merken
| Verlagsort | Basel |
|---|---|
| Sprache | englisch |
| Maße | 145 x 225 mm |
| Gewicht | 480 g |
| Einbandart | gebunden |
| Themenwelt | Informatik ► Software Entwicklung ► Objektorientierung |
| ISBN-10 | 3-7643-3530-0 / 3764335300 |
| ISBN-13 | 978-3-7643-3530-4 / 9783764335304 |
| Zustand | Neuware |
| Haben Sie eine Frage zum Produkt? |
