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: Better World Books, Mishawaka, IN, USA
Zustand: Very Good. y First edition. Former library copy. Pages intact with possible writing/highlighting. Binding strong with minor wear. Dust jackets/supplements may not be included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good. Artikel-Nr. 55883841-6
Anzahl: 1 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. 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