Um Studibuch in vollem Umfang nutzen zu können, empfehlen wir Dir Javascript in Deinem Browser zu aktiveren.

Klimaneutrales Unternehmen

Faire Preise

Schneller und kostenloser Versand ab 14,90 € Bestellwert

Cambridge University Pr.

Logic in Computer Science

Logic in Computer Science

inkl. MwSt. Versandinformationen

Artikel zZt. nicht lieferbar

Artikel zZt. nicht lieferbar

Cambridge University Pr.

Kurzinformation

Sprache:

Englisch

ISBN:

052154310X

Verlag:

Cambridge University Pr.

Seitenzahl:

440

Auflage:

-

Erschienen:

2004-08-26

Dieser Artikel steht derzeit nicht zur Verfügung!

Gebrauchte Bücher kaufen

Information

Das Buch befindet sich in einem sehr guten, unbenutzten Zustand.

Information

Das Buch befindet sich in einem sehr guten, gelesenen Zustand. Die Seiten und der Einband sind intakt. Buchrücken/Ecken/Kanten können leichte Gebrauchsspuren aufweisen.

Information

Das Buch befindet sich in einem guten, gelesenen Zustand. Die Seiten und der Einband sind intakt. Buchrücken/Ecken/Kanten können Knicke/Gebrauchsspuren aufweisen.

Information

Das Buch befindet sich in einem lesbaren Zustand. Die Seiten und der Einband sind intakt, jedoch weisen Buchrücken/Ecken/Kanten starke Knicke/Gebrauchsspuren auf. Zusatzmaterialien können fehlen.

Neues Buch oder eBook (pdf) kaufen

Information

Neuware - verlagsfrische aktuelle Buchausgabe.

bestellen E-Book bei

Handgeprüfte Gebrauchtware

Schnelle Lieferung

Faire Preise

inkl. MwSt. Versandinformationen

Artikel zZt. nicht lieferbar

Artikel zZt. nicht lieferbar

Weitere Zahlungsmöglichkeiten

Zahlungsarten

Beschreibung

Logic in Computer Science

Modelling and Reasoning About Systems

The second edition of this successful textbook continues to provide a clear introduction to formal reasoning relevant to the needs of modern computer science and sufficiently exacting for practical applications. Improvements have been made throughout with many new and expanded text sections. The coverage of model-checking has been substantially updated and additional exercises are included. Internet support includes worked solutions for teacher exercises and model solutions to some student exercises. First Edition Hb (2000): 0-521-65200-6 First Edition Pb (2000): 0-521-65602-8 von Huth, Michael

Produktdetails

Einband:

Kartoniert

Seitenzahl:

440

Erschienen:

2004-08-26

Sprache:

Englisch

EAN:

9780521543101

ISBN:

052154310X

Verlag:

Cambridge University Pr.

Gewicht:

849 g

Auflage:

-

Alle gebrauchten Bücher werden von uns handgeprüft.
So garantieren wir Dir zu jeder Zeit Premiumqualität.

Über den Autor

Entdecke mehr vom Verlag

Cambridge University Pr.

Neu

60,50 €

Entdecke mehr zum Thema

-76%

Logikkalküle in der Informatik

Hardcover
248 Seiten
Erschienen 2014
Springer Vieweg

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

Logikkalküle in der Informatik

Schenke, Michael

7,09 € 29,99 €

-75%

Algorithms and Data Structures

Hardcover
300 Seiten
Erschienen 2008
Springer

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

Algorithms and Data Structures

Mehlhorn, Kurt;Sanders, Peter;

16,16 € 64,19 €

-83%

Adaptive Logics for Defeasible Reasoning

Hardcover
456 Seiten
Erschienen 2013
Springer

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

Adaptive Logics for Defeasible Reasoning

Straßer, Christian

18,04 € 106,99 €

The Logical Enterprise

Gebundene Ausgabe
261 Seiten
Erschienen 1977
Yale University Press

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

The Logical Enterprise

Alan Ross Anderson

2,41 €

Mathematisch-logische Grundlagen der Informatik

Hardcover
Erschienen 2012
W3L GmbH

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

Mathematisch-logische Grundlagen der Informatik

Klüver, Jürgen;Klüver, Chri...

4,60 €

Tense and Tense Logic

Hardcover
176 Seiten
Erschienen 1980
De Gruyter Mouton

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

Tense and Tense Logic

Clifford, John E.

7,23 €

Logic Programming and Databases (Surveys in Computer Science)

hardcover
297 Seiten
Erschienen 1990
Springer

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

Logic Programming and Databases (Surveys in...

Tanca, Letizia

6,23 €

hardcover
-

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

Aussagenlogik

-

2,89 €

Natural Language and Logic

Hardcover
264 Seiten
Erschienen 2008
Springer

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

Natural Language and Logic

Studer, Rudi

10,06 €

Transductions and Context-Free Languages

Hardcover
284 Seiten
Erschienen 1979
Teubner

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

Transductions and Context-Free Languages

Berstel, Jean

8,55 €

Mathematical Foundations of Computer Science 1979: 8th Symposium, Olomouc Czechoslovakia, September 3-7, 1979. Proceedings (Lecture Notes in Computer Science, 74, Band 74)

paperback
596 Seiten
Erschienen 2008
Springer

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

Mathematical Foundations of Computer Science...

Becvar, J.

14,50 €

Introduction to Mathematical Logic (University Series in Undergraduate Mathematics)

textbook
300 Seiten
Erschienen 1964
Van Nostrand Reinhold

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

Introduction to Mathematical Logic (University...

Mendelson, Elliott

36,70 €

Logic of Machines and Structures

hardcover
192 Seiten
Erschienen 1982
John Wiley & Sons Inc

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

Logic of Machines and Structures

Sandori, Paul

86,59 €

Optimization and Computational Logic (Wiley-Interscience Series in Discrete Mathematics and Optimization)

hardcover
536 Seiten
Erschienen 1996
Wiley-Interscience

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

Optimization and Computational Logic...

Tretkoff, Carol

22,08 €

Mechanizing Mathematical Reasoning

Hardcover
580 Seiten
Erschienen 2005
Springer

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

Mechanizing Mathematical Reasoning

-

18,05 €

EAGLE-STARTHILFE Technische Informatik: Logische Funktionen – Boolesche Modelle

paperback
100 Seiten
Erschienen 2014
Edition am Gutenbergplatz L...

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

EAGLE-STARTHILFE Technische Informatik:...

Posthoff, Christian

6,14 €

Complexity and Real Computation

Hardcover
472 Seiten
Erschienen 1997
Springer

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

Complexity and Real Computation

Blum, Lenore;Smale, Steve;S...

31,77 €

Schaum's Outline of Logic, Second Edition

Hardcover
336 Seiten
Erschienen 2011
McGraw Hill

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

Schaum's Outline of Logic, Second Edition

Nolt, John;Rohatyn, Dennis;...

11,28 €

Systems of Logic

Taschenbuch
336 Seiten
Erschienen 2009
Cambridge University Press

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

Systems of Logic

Martin, Norman M.

13,02 €

Handbook of Logic in Artificial Intelligence and Logic Programming

Hardcover
534 Seiten
Erschienen 1993
Oxford Univ Pr

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

Handbook of Logic in Artificial Intelligence...

-

72,57 €

The Principles of Mathematics Revisited

Hardcover
304 Seiten
Erschienen 2003
Cambridge University Press

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

The Principles of Mathematics Revisited

Hintikka, Jaakko

15,61 €

Computability in Analysis and Physics (Perspectives in Mathematical Logic)

paperback
206 Seiten
Erschienen 1989
Springer

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

Computability in Analysis and Physics...

Jonathan Ian Richards

90,21 €

Computation Theory and Logic

Hardcover
460 Seiten
Erschienen 1987
Springer

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

Computation Theory and Logic

Börger, Egon

20,73 €

Mathematical Theory of Computation (McGraw-Hill Computer Science Series)

hardcover
448 Seiten
Erschienen 1974
McGraw-Hill Inc.,US

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

Mathematical Theory of Computation (McGraw-Hill...

Manna, Zohar

16,50 €

Foundations of Combinatory Logic: (Grundlagen der kombinatorischen Logik) (Logic PhD, Band 1)

paperback
176 Seiten
Erschienen 2017
College Publications

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

Foundations of Combinatory Logic: (Grundlagen...

Curry, Haskell

12,22 €

Computer Science Logic

Hardcover
528 Seiten
Erschienen 1998
Springer

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

Computer Science Logic

-

21,25 €

Logics in Artificial Intelligence

Hardcover
408 Seiten
Erschienen 1998
Springer

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

Logics in Artificial Intelligence

-

9,07 €

Proof Theory in Computer Science

Hardcover
256 Seiten
Erschienen 2001
Springer

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

Proof Theory in Computer Science

-

21,25 €

Introduction to combinatory logic (London Mathematical Society Lecture Note Series, Band 7)

paperback
170 Seiten
Erschienen 1972
Cambridge University Press

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

Introduction to combinatory logic (London...

Seldin, J. P.

42,21 €

Logic and Information

Hardcover
328 Seiten
Erschienen 2003
Cambridge University Press

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

Logic and Information

Devlin, Keith J.;Keith, Dev...

11,69 €

Introduction to Logic (Student)

paperback
185 Seiten
Erschienen 2018
MASTER BOOKS INC

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

Introduction to Logic (Student)

Lisle, Jason

31,06 €

Boole's Logic and Probability: Critical Exposition from the Standpoint of Contemporary Algebra, Logic and Probability Theory: A Critical Exposition ... IN LOGIC AND THE FOUNDATIONS OF MATHEMATICS)

hardcover
427 Seiten
Erschienen 1986
North-Holland

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

Boole's Logic and Probability: Critical...

Hailperin, Theodore

28,56 €

Grundzüge der Logik, in 2 Bdn., Bd.1, Das logische Schließen

paperback
404 Seiten
Klostermann, Vittorio

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

Grundzüge der Logik, in 2 Bdn., Bd.1, Das...

Labude, Joachim

9,04 €

Logik und Logikprogrammierung (Kolleg Synchron)

paperback
312 Seiten
Erschienen 2003
Synchron

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

Logik und Logikprogrammierung (Kolleg Synchron)

Hölldobler, Steffen

9,27 €

Mathematical Logic (Undergraduate Texts in Mathematics)

hardcover
301 Seiten
Erschienen 1994
Springer

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

Mathematical Logic (Undergraduate Texts in...

Thomas, Wolfgang

25,43 €

Computerlogik. So einfach arbeiten Computer

paperback
-

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

Computerlogik. So einfach arbeiten Computer

-

2,20 €

Logic Colloquium 1981: Herbrand Symposium Proceedings (Studies in Logic and the Foundations of Mathematics)

hardcover
396 Seiten
Erschienen 1982
Elsevier Science Ltd

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

Logic Colloquium 1981: Herbrand Symposium...

Stern, J.

120,15 €

Logic Colloquium 1984: Proceedings (Studies in Logic and the Foundations of Mathematics)

hardcover
388 Seiten
Erschienen 1986
Elsevier Science Ltd

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

Logic Colloquium 1984: Proceedings (Studies in...

etc.

38,01 €

Mathematical Logic for Computer Science: 2nd edition

paperback
320 Seiten
Erschienen 2003
Springer

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

Mathematical Logic for Computer Science: 2nd...

Ben-Ari, Mordechai

38,35 €

An Introduction to Formal Logic

paperback
428 Seiten
Erschienen 2020
Independently published

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

An Introduction to Formal Logic

Smith, Peter

10,87 €