LeafNachhaltiges Unternehmen CoinFaire Preise PackageSchneller und kostenloser Versand ab 14,90 € Bestellwert
Gebrauchte & Neue Bücher
Keine Versandkosten
Nachhaltiges Unternehmen
Springer
Axiomatising the Logic of Computer Programming (Lecture Notes in Computer Science, 130, Band 130)

Axiomatising the Logic of Computer Programming (Lecture Notes in Computer Science, 130, Band 130)

Goldblatt, R.

inkl. MwSt. Versandinformationen

Artikel zZt. nicht lieferbar

Artikel zZt. nicht lieferbar

Kurzinformation
Sprache:
Englisch
ISBN:
9783540112105
Verlag:
Springer
Seitenzahl:
320
Auflage:
-
Erschienen:
2008-06-13
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 bei zvab
Neu bestellen bei lehmanns
Natural Handgeprüfte Gebrauchtware
Coins Schnelle Lieferung
Check Faire Preise

inkl. MwSt. Versandinformationen

Artikel zZt. nicht lieferbar

Artikel zZt. nicht lieferbar

Weitere Zahlungsmöglichkeiten  
Zahlungsarten

Beschreibung

Axiomatising the Logic of Computer Programming (Lecture Notes in Computer Science, 130, Band 130)

Axiomatising the Logic of Computer Programming (Lecture Notes in Computer Science, 130, Band 130)

Produktdetails

Einband:
paperback
Seitenzahl:
320
Erschienen:
2008-06-13
Sprache:
Englisch
EAN:
9783540112105
ISBN:
9783540112105
Verlag:
Springer
Gewicht:
481 g
Auflage:
-
Alle gebrauchten Bücher werden von uns handgeprüft.
So garantieren wir Dir zu jeder Zeit Premiumqualität.

Über den Autor

Goldblatt, R.

Entdecke mehr vom Verlag

Springer
Gut
26,32 €
Entdecke mehr zum Thema
frontend/listing/product-box/box-product-slider.tpl
-63%
The Language of First-Order Logic, Including the Macintosh Program Tarski's World 4.0 (Csli Lecture Notes)
  • paperback
  • 336 Seiten
  • Erschienen 1993
  • CTR FOR STUDY OF LANG & INFO
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
The Language of First-Order Logic, Including...
Etchemendy, John
14,31 € 39,00 €
Details
frontend/listing/product-box/box-product-slider.tpl
-84%
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
14,00 € 85,55 €
Details
frontend/listing/product-box/box-product-slider.tpl
-40%
Logic and Computer Design Fundamentals (Prentice Hall international editions)
  • paperback
  • 512 Seiten
  • Erschienen 2000
  • Pearson Education (US)
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Logic and Computer Design Fundamentals...
Kime, Charles R.
24,57 € 41,00 €
Details
frontend/listing/product-box/box-product-slider.tpl
-38%
Theory of Program Structures: Schemes, Semantics, Verification (Lecture Notes in Computer Science, 36, Band 36)
  • paperback
  • 388 Seiten
  • Erschienen 2008
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Theory of Program Structures: Schemes,...
Greibach, Sheila A.
16,24 € 26,32 €
Details
frontend/listing/product-box/box-product-slider.tpl
-63%
Dynamic Logic (FOUNDATIONS OF COMPUTING SERIES)
  • hardcover
  • 459 Seiten
  • Erschienen 2000
  • MIT Press
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Dynamic Logic (FOUNDATIONS OF COMPUTING SERIES)
Tiuryn, Jerzy
23,79 € 64,20 €
Details
frontend/listing/product-box/box-product-slider.tpl
-96%
Automata, Languages and Programming: 33rd International Colloquium, ICALP 2006, Venice, Italy, July 2006 Proceedings, Part I: 33rd International ... Notes in Computer Science, 4051, Band 4051)
  • Kartoniert
  • 729 Seiten
  • Erschienen 2006
  • Springer Berlin Heidelberg
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Automata, Languages and Programming: 33rd...
Bugliesi, Michele und Prene...
4,27 € 114,48 €
Details
frontend/listing/product-box/box-product-slider.tpl
-73%
Automata Theory and its Applications (Progress in Computer Science and Applied Logic, 21, Band 21)
  • hardcover
  • 446 Seiten
  • Erschienen 2001
  • Birkhäuser
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Automata Theory and its Applications (Progress...
Nerode, Anil
14,55 € 53,49 €
Details
frontend/listing/product-box/box-product-slider.tpl
Types in Logic Programming
  • hardcover
  • 380 Seiten
  • Erschienen 1992
  • MIT Press
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Types in Logic Programming
Pfenning, Frank
185,68 €
Details
frontend/listing/product-box/box-product-slider.tpl
-72%
Formale Sprachen, Compilerbau, Berechenbarkeit und Komplexität (De Gruyter Studium)
  • Kartoniert
  • 251 Seiten
  • Erschienen 2019
  • De Gruyter Oldenbourg
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Formale Sprachen, Compilerbau, Berechenbarkeit...
Gumm, Heinz-Peter und Somme...
16,74 € 59,95 €
Details
frontend/listing/product-box/box-product-slider.tpl
-65%
Cylindric-like Algebras and Algebraic Logic (Bolyai Society Mathematical Studies, Band 22)
  • paperback
  • 480 Seiten
  • Erschienen 2015
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Cylindric-like Algebras and Algebraic Logic...
Németi, István
37,08 € 106,99 €
Details
frontend/listing/product-box/box-product-slider.tpl
-95%
Fundamentals of Logic Design
  • hardcover
  • 687 Seiten
  • Erschienen 2003
  • Brooks/Cole
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Fundamentals of Logic Design
Roth, Charles H., Jr.
18,21 € 348,77 €
Details
frontend/listing/product-box/box-product-slider.tpl
-98%
Theorem Proving in Higher Order Logics: 12th International Conference, TPHOLs'99, Nice, France, September 14-17, 1999, Proceedings (Lecture Notes in Computer Science, 1690, Band 1690)
  • paperback
  • 372 Seiten
  • Erschienen 2008
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Theorem Proving in Higher Order Logics: 12th...
Dowek, Gilles
1,38 € 57,23 €
Details
frontend/listing/product-box/box-product-slider.tpl
-96%
Logic Programming and Knowledge Representation: Third International Workshop, LPKR'97, Port Jefferson, New York, USA, October 17, 1997, Selected ... Notes in Computer Science, 1471, Band 1471)
  • paperback
  • 264 Seiten
  • Erschienen 2008
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Logic Programming and Knowledge Representation:...
Przymusinski, Teodor C.
2,32 € 57,23 €
Details
frontend/listing/product-box/box-product-slider.tpl
-67%
Mathematische Grundlagen für die Informatik: Mengen, Logik, Rekursion
  • Hardcover
    • -
  • Erschienen 2013
  • Springer Vieweg
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Mathematische Grundlagen für die Informatik:...
Witt, Kurt-Ulrich
12,40 € 37,99 €
Details
frontend/listing/product-box/box-product-slider.tpl
-51%
Arithmetik: Aus der Reihe The Art of Computer Programming
  • Gebunden
  • 560 Seiten
  • Erschienen 2001
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Arithmetik: Aus der Reihe The Art of Computer...
Knuth, Donald E. und Loos, R.
32,74 € 66,99 €
Details
frontend/listing/product-box/box-product-slider.tpl
Introduction to Logic 3/E (Galaxy Book)
  • paperback
  • 252 Seiten
  • Erschienen 1997
  • Oxford University Press
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Introduction to Logic 3/E (Galaxy Book)
Tarski, Alfred
9,05 €
Details
frontend/listing/product-box/box-product-slider.tpl
-63%
Logik: Ein Sachcomic (Infocomics)
  • Kartoniert
  • 176 Seiten
  • Erschienen 2010
  • TibiaPress
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Logik: Ein Sachcomic (Infocomics)
Cryan, Dan und Shatil, Shar...
5,25 € 14,00 €
Details
frontend/listing/product-box/box-product-slider.tpl
-77%
Finite Automata, Formal Logic, and Circuit Complexity (Progress in Theoretical Computer Science)
  • hardcover
  • 239 Seiten
  • Erschienen 1994
  • Birkhäuser
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Finite Automata, Formal Logic, and Circuit...
Straubing, Howard
24,58 € 106,99 €
Details
frontend/listing/product-box/box-product-slider.tpl
-88%
Foundations of Logic and Functional Programming: Workshop, Trento, Italy, December 15-19, 1986. Proceedings (Lecture Notes in Computer Science, 306, Band 306)
  • paperback
  • 232 Seiten
  • Erschienen 2008
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Foundations of Logic and Functional...
Levi, Giorgio
6,66 € 57,23 €
Details
frontend/listing/product-box/box-product-slider.tpl
-84%
Informatik: Eine Grundlegende Einführung Teil IV. Theoretische Informatik, Algorithmen und Datenstrukturen, Logikprogrammierung, Objektorientierung (Springer-Lehrbuch)
  • paperback
  • 228 Seiten
  • Erschienen 1995
  • Springer-Verlag
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Informatik: Eine Grundlegende Einführung Teil...
Broy, Manfred
7,95 € 49,95 €
Details
frontend/listing/product-box/box-product-slider.tpl
Complexity of Proofs and Their Transformations in Axiomatic Theories (Translations of Mathematical Monographs)
  • hardcover
  • 153 Seiten
  • Erschienen 1993
  • American Mathematical Society
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Complexity of Proofs and Their Transformations...
Orevkov, V. P.
90,45 €
Details
frontend/listing/product-box/box-product-slider.tpl
-99%
Theory of Computing: A Gentle Introduction
  • hardcover
  • 224 Seiten
  • Erschienen 2000
  • Pearson Education (US)
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Theory of Computing: A Gentle Introduction
Smith, Carl H.
1,26 € 189,50 €
Details
frontend/listing/product-box/box-product-slider.tpl
-56%
Fundamentals of Programmable Logic Controllers and Ladder Logic
  • paperback
  • 380 Seiten
  • Erschienen 2012
  • Latin Tech Inc
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Fundamentals of Programmable Logic Controllers...
Charria, Orlando
24,60 € 55,30 €
Details
frontend/listing/product-box/box-product-slider.tpl
The Art of Computer Programming, 4 Volumes.Vol.1-4A: Volume 1, Third Edition Updated and Revised, Volume 2, Third Edition Updated and Revised, Volume ... and Revised, Volume 4a, Extended and Refined
  • Gebunden
  • 3168 Seiten
  • Erschienen 2011
  • Addison-Wesley Longman, Ams...
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
The Art of Computer Programming, 4...
Knuth, Donald E.
328,06 €
Details
frontend/listing/product-box/box-product-slider.tpl
Von der Aussagenlogik über Logikschaltungen zum Mikroprozessor: Ein Lehr- und Arbeitsbuch: Theorie - Aufgaben - Experimente
  • paperback
  • 228 Seiten
  • Brill | Schöningh
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Von der Aussagenlogik über Logikschaltungen zum...
Brockmann, Dieter
8,65 €
Details
frontend/listing/product-box/box-product-slider.tpl
-78%
Prentice-Hall software series: Elements of the theory of computation
  • hardcover
  • 466 Seiten
  • Erschienen 1981
  • Pearson
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Prentice-Hall software series: Elements of the...
Harry R. Lewis
6,31 € 28,84 €
Details
frontend/listing/product-box/box-product-slider.tpl
-35%
Mathematische Logik (Mathematik Kompakt)
  • paperback
  • 116 Seiten
  • Erschienen 2010
  • Birkhäuser
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Mathematische Logik (Mathematik Kompakt)
Ziegler, Martin
12,32 € 18,90 €
Details
frontend/listing/product-box/box-product-slider.tpl
Introduction to the Theory of Programming Language
  • paperback
  • 447 Seiten
  • Erschienen 1990
  • Prentice-Hall
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Introduction to the Theory of Programming Language
Meyer, Bertrand
32,33 €
Details
frontend/listing/product-box/box-product-slider.tpl
Prädikatenlogik
  • hardcover
  • 255 Seiten
  • -
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Prädikatenlogik
-
6,18 €
Details
frontend/listing/product-box/box-product-slider.tpl
Theoretische Grundlagen der Programmiersprachen. Theorie der Syntax
  • perfect
    • -
  • -
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Theoretische Grundlagen der...
-
68,47 €
Details
frontend/listing/product-box/box-product-slider.tpl
-55%
An Introduction to Symbolic Logic
  • paperback
  • 384 Seiten
  • Erschienen 1967
  • Dover Publications Inc.
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
An Introduction to Symbolic Logic
Langer, Susanne K.
9,76 € 21,50 €
Details
frontend/listing/product-box/box-product-slider.tpl
Introduction to Languages and the Theory Ofcomputation
  • paperback
  • 512 Seiten
  • Erschienen 2000
  • McGraw-Hill Education (ISE ...
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Introduction to Languages and the Theory...
Martin, John C.
37,08 €
Details
frontend/listing/product-box/box-product-slider.tpl
-95%
Einführung in die Logik (Sammlung Göschen, 2243, Band 2243)
  • Hardcover
  • 316 Seiten
  • Erschienen 1997
  • De Gruyter
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Einführung in die Logik (Sammlung Göschen,...
Beckermann, Ansgar
4,88 € 89,95 €
Details
frontend/listing/product-box/box-product-slider.tpl
-84%
Modern Uses of Multiple-Valued Logic
  • hardcover
  • 338 Seiten
  • Erschienen 1977
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Modern Uses of Multiple-Valued Logic
George Epstein
26,05 € 160,49 €
Details
frontend/listing/product-box/box-product-slider.tpl
Einführung in die Logik und Mathematik für Linguisten I. Logik und Mengenlehre.
  • perfect
    • -
  • -
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Einführung in die Logik und Mathematik für...
-
97,50 €
Details
frontend/listing/product-box/box-product-slider.tpl
Comprehensive Mathematics for Computer Scientists 1: Sets and Numbers, Graphs and Algebra, Logic and Machines, Linear Geometry (Universitext)
  • paperback
  • 369 Seiten
  • Erschienen 2004
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Comprehensive Mathematics for Computer...
Weissmann, Jody
54,86 €
Details
frontend/listing/product-box/box-product-slider.tpl
-56%
Mathematische Logik - Kurz Gefasst: 2. Auflage
  • paperback
  • 228 Seiten
  • Erschienen 2011
  • Spektrum Akademischer Verlag
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Mathematische Logik - Kurz Gefasst: 2. Auflage
Tuschik, Hans-Peter
12,25 € 27,99 €
Details
frontend/listing/product-box/box-product-slider.tpl
-0%
Konzept der parallelen Programmierung
  • paperback
  • 240 Seiten
  • Erschienen 1988
  • Teubner
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Konzept der parallelen Programmierung
Z\Xf6bel, Dieter
49,84 € 49,95 €
Details
frontend/listing/product-box/box-product-slider.tpl
-32%
Mathematik für Informatik und Data Science: Eine fundierte Einführung in Logik, Analysis, Lineare Algebra und Stochastik für Künstliche Intelligenz und Maschinelles Lernen (Studienbücher Informatik)
  • paperback
  • 456 Seiten
  • Erschienen 2024
  • Springer Vieweg
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Mathematik für Informatik und Data Science:...
Knoblauch, Andreas
30,60 € 44,99 €
Details
frontend/listing/product-box/box-product-slider.tpl
-32%
Mathematische Grundlagen der Informatik: Mathematisches Denken und Beweisen. Eine Einführung (XLeitfäden der Informatik) (German Edition)
  • paperback
  • 336 Seiten
  • Erschienen 2011
  • Vieweg+Teubner Verlag
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Mathematische Grundlagen der Informatik:...
Meinel, Christoph
22,27 € 32,99 €
Details