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: 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. Artikel-Nr. 492566
Anzahl: 1 verfügbar
Anbieter: Buchpark, Trebbin, Deutschland
Zustand: Gut. Zustand: Gut | Seiten: 285 | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar. Artikel-Nr. 2118462/3
Anzahl: 1 verfügbar