The book can be used for graduate courses or as a reference for researchers in formal methods, theorem-proving and declarative languages.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Anbieter: Midtown Scholar Bookstore, Harrisburg, PA, USA
Hardcover. Zustand: Good. Good - Bumped and creased book with tears to the extremities, but not affecting the text block, may have remainder mark or previous owner's name - GOOD Standard-sized. Bestandsnummer des Verkäufers M0521417236Z3
Anzahl: 2 verfügbar
Anbieter: Antiquariat Bernhardt, Kassel, Deutschland
Zustand: Sehr gut. 1. Auflage,. 279 Seiten, Cambridge Tracts in Theoretical Computer Science, Band 28. Zust: Gutes Exemplar. Schneller Versand und persönlicher Service - jedes Buch händisch geprüft und beschrieben - aus unserem Familienbetrieb seit über 25 Jahren. Eine Rechnung mit ausgewiesener Mehrwertsteuer liegt jeder unserer Lieferungen bei. Wir versenden mit der deutschen Post. Sprache: Englisch Gewicht in Gramm: 642 gebundene Ausgabe gebundene Ausgabe. Bestandsnummer des Verkäufers 492566
Anzahl: 1 verfügbar
Anbieter: Buchpark, Trebbin, Deutschland
Zustand: Gut. Zustand: Gut | Seiten: 285 | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar. Bestandsnummer des Verkäufers 2118462/3
Anzahl: 1 verfügbar