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: Prior Books Ltd, Cheltenham, Vereinigtes Königreich
Paperback. Zustand: Like New. First Edition. A nearly new copy with no defects, just a few hardly noticeable rubs and bumps and a 'damaged' stamp to one of the preliminary pages. Despite such this book looks and feels unread with contents that are crisp, fresh and tight. Thus a very nice book in great condition, now offered for sale at a reasonable price. Bestandsnummer des Verkäufers 135860
Anzahl: 1 verfügbar
Anbieter: California Books, Miami, FL, USA
Zustand: New. Bestandsnummer des Verkäufers I-9780521032513
Anzahl: Mehr als 20 verfügbar
Anbieter: Chiron Media, Wallingford, Vereinigtes Königreich
PF. Zustand: New. Bestandsnummer des Verkäufers 6666-IUK-9780521032513
Anzahl: 10 verfügbar
Anbieter: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irland
Zustand: New. The book can be used for graduate courses or as a reference for researchers in formal methods, theorem-proving and declarative languages. Series: Cambridge Tracts in Theoretical Computer Science. Num Pages: 288 pages, black & white illustrations. BIC Classification: UMX; UYA. Category: (P) Professional & Vocational. Dimension: 247 x 174 x 15. Weight in Grams: 460. . 2008. Revised ed. paperback. . . . . Bestandsnummer des Verkäufers V9780521032513
Anzahl: Mehr als 20 verfügbar
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Zustand: New. In English. Bestandsnummer des Verkäufers ria9780521032513_new
Anzahl: Mehr als 20 verfügbar
Anbieter: THE SAINT BOOKSTORE, Southport, Vereinigtes Königreich
Paperback / softback. Zustand: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days. Bestandsnummer des Verkäufers C9780521032513
Anzahl: Mehr als 20 verfügbar
Anbieter: Kennys Bookstore, Olney, MD, USA
Zustand: New. The book can be used for graduate courses or as a reference for researchers in formal methods, theorem-proving and declarative languages. Series: Cambridge Tracts in Theoretical Computer Science. Num Pages: 288 pages, black & white illustrations. BIC Classification: UMX; UYA. Category: (P) Professional & Vocational. Dimension: 247 x 174 x 15. Weight in Grams: 460. . 2008. Revised ed. paperback. . . . . Books ship from the US and Ireland. Bestandsnummer des Verkäufers V9780521032513
Anzahl: Mehr als 20 verfügbar
Anbieter: Books Puddle, Woodside, NY, USA
Zustand: New. pp. 288. Bestandsnummer des Verkäufers 26354723
Anzahl: 4 verfügbar
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
Zustand: New. Print on Demand pp. 288 67:B&W 6.69 x 9.61 in or 244 x 170 mm (Pinched Crown) Perfect Bound on White w/Gloss Lam. Bestandsnummer des Verkäufers 7526012
Anzahl: 4 verfügbar
Anbieter: Biblios, Frankfurt am main, HESSE, Deutschland
Zustand: New. PRINT ON DEMAND pp. 288. Bestandsnummer des Verkäufers 18354729
Anzahl: 4 verfügbar