Logic for Computer Science

Reeves, Steve & Clarke, Michael

Verlag: Addison-Wesley Publishing Company, 1990
ISBN 10: 0201416433 / ISBN 13: 9780201416435
Gebraucht / paperback / Anzahl: 0
Bei weiteren Verkäufern erhältlich
Alle  Exemplare dieses Buches anzeigen

Über dieses Buch

Leider ist dieses Exemplar nicht mehr verfügbar. Hier sehen Sie die besten Ergebnisse zur Suche nach Logic for Computer Science.

Beschreibung:

Minor highlighting and pencil and pen marks in the text, slight shelf wear, small creases on the cover. Buchnummer des Verkäufers

Über diesen Titel:

Bewertung (bereitgestellt von Goodreads):
3 durchschnittlich
(1 Bewertungen)

Inhaltsangabe: An understanding of logic is essential to computer science. This book provides a highly accessible account of the logical basis required for reasoning about computer programs and applying logic in fields like artificial intelligence. The text contains extended examples, algorithms, and programs written in Standard ML and Prolog. No prior knowledge of either language is required. The book contains a clear account of classical first-order logic, one of the basic tools for program verification, as well as an introductory survey of modal and temporal logics and possible world semantics. An introduction to intuitionistic logic as a basis for an important style of program specification is also featured in the book.

„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.

Bibliografische Details

Titel: Logic for Computer Science
Verlag: Addison-Wesley Publishing Company
Erscheinungsdatum: 1990
Einband: paperback
Zustand: Good
Auflage: First Printing.

Beste Suchergebnisse beim ZVAB

1.

E. Davis, R.:
Verlag: W.H.Freeman & Co Ltd, (1989)
ISBN 10: 0716782014 ISBN 13: 9780716782018
Gebraucht Anzahl: 1
Anbieter
getbooks GmbH
(Bad Camberg, HE, Deutschland)
Bewertung
[?]

Buchbeschreibung W.H.Freeman & Co Ltd, 1989. Gebundene Ausgabe. Buchzustand: Gut. 224 Seiten Gepflegtes ehemaliges Bibliotheksexemplar mit den üblichen Kennzeichnungen (z.B. Barcode und Inventarisierungsnummer); in der Regel foliiert (Umschlag aus selbstklebender Folie). Zustand unter Berücksichtigung des Alters gut. Tagesaktueller, sicherer und weltweiter Versand. Wir liefern grundsätzlich mit beiliegender Rechnung. 668095.01 Sprache: Englisch Gewicht in Gramm: 612. Artikel-Nr. 246544

Weitere Informationen zu diesem Verkäufer | Frage an den Anbieter

Gebraucht kaufen
EUR 1,80
Währung umrechnen

In den Warenkorb

Versand: EUR 12,00
Von Deutschland nach USA
Versandziele, Kosten & Dauer

2.

Davis, Ruth E.
Verlag: New York, Computer Science Press. (1989)
ISBN 10: 0716782014 ISBN 13: 9780716782018
Gebraucht Hardcover Anzahl: 1
Anbieter
Antiquariat Haufe & Lutz
(Karlsruhe, Deutschland)
Bewertung
[?]

Buchbeschreibung New York, Computer Science Press., 1989. 8°. XV, 265 S. mit graphischen Darstellungen. OPbd. (Principles of computer science series). Gutes Exemplar. Artikel-Nr. 87261CB

Weitere Informationen zu diesem Verkäufer | Frage an den Anbieter

Gebraucht kaufen
EUR 7,00
Währung umrechnen

In den Warenkorb

Versand: EUR 9,95
Von Deutschland nach USA
Versandziele, Kosten & Dauer

3.

Plumer, Lutz
Verlag: Springer-Verlag, Berlin (1990)
ISBN 10: 0387528377 ISBN 13: 9780387528373
Gebraucht paperback Erstausgabe Anzahl: 1
Anbieter
PsychoBabel & Skoob Books
(Didcot, OXON, Vereinigtes Königreich)
Bewertung
[?]

Buchbeschreibung Springer-Verlag, Berlin, 1990. paperback. Buchzustand: Good. Zustand des Schutzumschlags: No Dust Jacket. No Earlier Edition Stated. Slightly worn cover. Clean Copy. Artikel-Nr. 051320

Weitere Informationen zu diesem Verkäufer | Frage an den Anbieter

Gebraucht kaufen
EUR 8,19
Währung umrechnen

In den Warenkorb

Versand: EUR 5,63
Von Vereinigtes Königreich nach USA
Versandziele, Kosten & Dauer

4.

Pl??mer, Lutz:
Verlag: Springer, (2008)
ISBN 10: 3540528377 ISBN 13: 9783540528371
Gebraucht Taschenbuch Anzahl: 1
Anbieter
getbooks GmbH
(Bad Camberg, HE, Deutschland)
Bewertung
[?]

Buchbeschreibung Springer, 2008. Taschenbuch. Buchzustand: Gut. 156 Seiten Gepflegtes ehemaliges Bibliotheksexemplar mit den üblichen Kennzeichnungen (z.B. Barcode und Inventarisierungsnummer); in der Regel foliiert (Umschlag aus selbstklebender Folie). Zustand unter Berücksichtigung des Alters gut. Tagesaktueller, sicherer und weltweiter Versand. Wir liefern grundsätzlich mit beiliegender Rechnung. 654741.01 Sprache: Englisch Gewicht in Gramm: 227. Artikel-Nr. 235595

Weitere Informationen zu diesem Verkäufer | Frage an den Anbieter

Gebraucht kaufen
EUR 12,54
Währung umrechnen

In den Warenkorb

Versand: EUR 12,00
Von Deutschland nach USA
Versandziele, Kosten & Dauer
Gebraucht kaufen
EUR 15,00
Währung umrechnen

In den Warenkorb

Versand: EUR 9,00
Von Deutschland nach USA
Versandziele, Kosten & Dauer

6.

Gallier, Jean H.
Verlag: Wiley & Sons 1987 (1987)
Gebraucht Softcover Anzahl: 1
Anbieter
Andere Welten GmbH
(Hamburg, HH, Deutschland)
Bewertung
[?]

Buchbeschreibung Wiley & Sons 1987, 1987. Softcover Sehr gut erhalten. Artikel-Nr. 6106

Weitere Informationen zu diesem Verkäufer | Frage an den Anbieter

Gebraucht kaufen
EUR 25,00
Währung umrechnen

In den Warenkorb

Versand: EUR 9,95
Von Deutschland nach USA
Versandziele, Kosten & Dauer

7.

Zhongwan, Lu
Verlag: World Scientific (1989)
ISBN 10: 9971502518 ISBN 13: 9789971502515
Gebraucht Hardcover Anzahl: 1
Anbieter
Antiquariaat van Starkenburg
(Apeldoorn, Niederlande)
Bewertung
[?]

Buchbeschreibung World Scientific, 1989. cloth, 248 pp, dustwrappers. Former owner: Dr.R.J.Stroeker. Artikel-Nr. ww1579

Weitere Informationen zu diesem Verkäufer | Frage an den Anbieter

Gebraucht kaufen
EUR 35,00
Währung umrechnen

In den Warenkorb

Versand: EUR 14,50
Von Niederlande nach USA
Versandziele, Kosten & Dauer

8.

Wei, Li:
Verlag: Birkhäuser, (2010)
ISBN 10: 3764399767 ISBN 13: 9783764399764
Gebraucht Anzahl: 1
Anbieter
primatexxt Buchversand
(München, Deutschland)
Bewertung
[?]

Buchbeschreibung Birkhäuser, 2010. Gebundene Ausgabe. Buchzustand: Sehr gut. 273 Seiten Auflage 2010 - Text englisch - Buch ist als Mängelexemplar gekennzeichnet - Einband und Schnitt leicht berieben/verstaubt - Buch sonst in Topzustand, wie neu und ungelesen - Jeder Lieferung liegt eine ordentliche Rechnung mit ausgewiesener MwSt. bei Sprache: Englisch Gewicht in Gramm: 640. Artikel-Nr. 108791

Weitere Informationen zu diesem Verkäufer | Frage an den Anbieter

Gebraucht kaufen
EUR 37,80
Währung umrechnen

In den Warenkorb

Versand: EUR 14,00
Von Deutschland nach USA
Versandziele, Kosten & Dauer

9.

Monteiro, Jose; Devadas, Srinivas
Verlag: Kluwer Academic Publishers, Norwell, Massachusetts, U.S.A. (1997)
ISBN 10: 0792398297 ISBN 13: 9780792398295
Gebraucht Hardcover Erstausgabe Anzahl: 1
Anbieter
PsychoBabel & Skoob Books
(Didcot, OXON, Vereinigtes Königreich)
Bewertung
[?]

Buchbeschreibung Kluwer Academic Publishers, Norwell, Massachusetts, U.S.A., 1997. hardcover. Buchzustand: Very Good. Zustand des Schutzumschlags: No Dust Jacket. First Edition. Hardcover and contents in almost new condition, showing minimal signs of wear. Previous owner's name on FEP. No dust jacket. T. Used. Artikel-Nr. 249138

Weitere Informationen zu diesem Verkäufer | Frage an den Anbieter

Gebraucht kaufen
EUR 45,07
Währung umrechnen

In den Warenkorb

Versand: EUR 5,63
Von Vereinigtes Königreich nach USA
Versandziele, Kosten & Dauer

10.

Mordechai Ben-Ari
Verlag: Springer-Verlag Gmbh Jun 2012 (2012)
ISBN 10: 1447141288 ISBN 13: 9781447141280
Neu Taschenbuch Anzahl: 1
Anbieter
AHA-BUCH GmbH
(Einbeck, Deutschland)
Bewertung
[?]

Buchbeschreibung Springer-Verlag Gmbh Jun 2012, 2012. Taschenbuch. Buchzustand: Neu. Neuware - Mathematical Logic for Computer Science is a mathematics textbook with theorems and proofs, but the choice of topics has been guided by the needs of students of computer science. The method of semantic tableaux provides an elegant way to teach logic that is both theoretically sound and easy to understand. The uniform use of tableaux-based techniques facilitates learning advanced logical systems based on what the student has learned from elementary systems.The logical systems presented are: propositional logic, first-order logic, resolution and its application to logic programming, Hoare logic for the verification of sequential programs, and linear temporal logic for the verification of concurrent programs. The third edition has been entirely rewritten and includes new chapters on central topics of modern computer science: SAT solvers and model checking. There are 150 exercises with answers available to qualified instructors. Documented, open-source, Prolog source code for the algorithms is available at (Moti) Ben-Ari is with the Department of Science Teaching at the Weizmann Institute of Science. He is a Distinguished Educator of the ACM and has received the ACM/SIGCSE Award for Outstanding Contributions to Computer Science Education. His other textbooks published by Springer are: Ada for Software Engineers (Second Edition) and Principles of the Spin Model Checker. 346 pp. Englisch. Artikel-Nr. 9781447141280

Weitere Informationen zu diesem Verkäufer | Frage an den Anbieter

Neu kaufen
EUR 49,99
Währung umrechnen

In den Warenkorb

Versand: EUR 29,50
Von Deutschland nach USA
Versandziele, Kosten & Dauer

Es gibt 2 weitere Exemplare dieses Buches

Alle Suchergebnisse ansehen