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

Nachhaltiges Unternehmen

Faire Preise

Schneller und kostenloser Versand ab 14,90 € Bestellwert

Vieweg & Teubner

The Foundations of Program Verification

The Foundations of Program Verification

Stansifer, Ryan D

inkl. MwSt. Versandinformationen

Lieferzeit 1-3 Werktage

34,27 €

Lieferzeit 1-3 Werktage

Vieweg & Teubner

Kurzinformation

Sprache:

Englisch

ISBN:

9783519021018

Verlag:

Vieweg & Teubner

Seitenzahl:

230

Auflage:

-

Erschienen:

1984

Mit diesem Kauf sparst Du 2,06 kg CO₂

Mehr Informationen zum Zustand

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.

Gut 34,27 €

Sauberer Zustand, Seiten und Bindung etwas abgenutzt
Knicke oder Markierungen nicht mehr als 5%
CDs und Zugangscodes verwendbar

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.

Neu bestellen bei

Handgeprüfte Gebrauchtware

Schnelle Lieferung

Faire Preise

inkl. MwSt. Versandinformationen

Lieferzeit 1-3 Werktage

34,27 €

Lieferzeit 1-3 Werktage

Weitere Zahlungsmöglichkeiten

Zahlungsarten

Beschreibung

The Foundations of Program Verification

and Kurt Sieber. In collab. with Ryan D. Stansifer, Wiley-Teubner series in computer science 1984 IX, 230 S. , 24 cm Pp. Stuttgart : Teubner, Chichester , New York , Brisbane , Toronto , Singapore : Wiley,

Produktdetails

Einband:

unknown_binding

Seitenzahl:

230

Erschienen:

1984

Sprache:

Englisch

EAN:

9783519021018

ISBN:

9783519021018

Verlag:

Vieweg & Teubner

Gewicht:

788 g

Auflage:

-

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

Über den Autor

Stansifer, Ryan D

Entdecke mehr vom Verlag

Vieweg & Teubner

Gut

34,27 €

Entdecke mehr zum Thema

Program Verification (International Computer Science Series)

hardcover
324 Seiten
Erschienen 1992
Addison Wesley

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

Program Verification (International Computer...

Francez, Nissim

4,71 €

-33%

Formal Hardware Verification: Methods and Systems in Comparison (Lecture Notes in Computer Science, 1287, Band 1287)

paperback
388 Seiten
Erschienen 2008
Springer Berlin Heidelberg

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

Formal Hardware Verification: Methods and...

Kropf, Thomas

38,10 € 57,23 €

-61%

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.

10,16 € 26,32 €

The Design of Well-Structured and Correct Programs (Monographs in Computer Science)

hardcover
292 Seiten
Erschienen 1978
Springer

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

The Design of Well-Structured and Correct...

Alagic, Suad

7,93 €

Writing Testbenches: Functional Verification of HDL Models

hardcover
384 Seiten
Erschienen 2000
Kluwer Academic Publishers

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

Writing Testbenches: Functional Verification of...

Bergeron, Janick

24,55 €

-61%

Advanced Formal Verification

Gebunden
280 Seiten
Erschienen 2004
Springer

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

Advanced Formal Verification

Drechsler, Rolf

41,60 € 106,99 €

A Formalization of Set Theory Without Variables (COLLOQUIUM PUBLICATIONS (AMER MATHEMATICAL SOC))

paperback
318 Seiten
Erschienen 1987
American Mathematical Society

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

A Formalization of Set Theory Without Variables...

Tarski, Alfred

65,97 €

Foundations of Equational Logic Programming (Lecture Notes in Computer Science)

paperback
Erschienen 1990
Springer Verlag

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

Foundations of Equational Logic Programming...

Holldobler, Steffen

236,74 €

-3%

Formalization of Programming Concepts: International Colloquium, Peniscola, Spain, April 19-25, 1981. Proceedings (Lecture Notes in Computer Science, 107, Band 107)

paperback
496 Seiten
Erschienen 2008
Springer

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

Formalization of Programming Concepts:...

Diaz, J.

53,00 € 54,86 €

First-Order Logic and Automated Theorem Proving (Texts & Monographs in Computer Science)

hardcover
257 Seiten
Erschienen 1990
Springer Verlag

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

First-Order Logic and Automated Theorem Proving...

Fitting, Melvin

85,75 €

-57%

Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 1: Logical Foundations

Hardcover
534 Seiten
Erschienen 1993
OUP Oxford

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

Handbook of Logic in Artificial Intelligence...

-

212,90 € 496,50 €

-43%

Mathematical Foundations of Computer Science 2001: 26th International Symposium, MFCS 2001 Marianske Lazne, Czech Republic, August 27-31, 2001 ... Notes in Computer Science, 2136, Band 2136)

paperback
740 Seiten
Erschienen 2008
Springer

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

Mathematical Foundations of Computer Science...

Pultr, Ales

65,65 € 114,48 €

Mathematical Logic for Computer Science (Prentice-hall International Series in Computer Science)

paperback
320 Seiten
Erschienen 1993
Prentice-Hall

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

Mathematical Logic for Computer Science...

Ben-Ari, Mordechai

34,18 €

-36%

ASIC and FPGA Verification: A Guide to Component Modeling (Systems on Silicon)

hardcover
340 Seiten
Erschienen 2004
Morgan Kaufmann

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

ASIC and FPGA Verification: A Guide to...

Munden, Richard

32,40 € 50,59 €

-28%

Foundations of Semantic Web Technologies (Chapman & Hall/CRC Textbooks in Computing)

Gebunden
456 Seiten
Erschienen 2009
Chapman & Hall/CRC

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

Foundations of Semantic Web Technologies...

Hitzler, Pascal (Kno.e.sis ...

89,13 € 123,05 €

-15%

SPIN Model Checking and Software Verification: 7th International SPIN Workshop Stanford, CA, USA, August 30 - September 1, 2000 Proceedings (Lecture Notes in Computer Science, 1885, Band 1885)

paperback
356 Seiten
Erschienen 2008
Springer

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

SPIN Model Checking and Software Verification:...

Visser, Willem

45,97 € 53,99 €

-91%

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

4,93 € 57,23 €

Verification in Conventional Arms Control. Adelphi Papers 245.

paperback
-

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

Verification in Conventional Arms Control....

-

321,76 €

-38%

Mathematical Foundations of Computer Science 2005: 30th International Symposium, MFCS 2005, Gdansk, Poland, August29-September 2. 2005, Proceedings (Lecture Notes in Computer Science, 3618, Band 3618)

paperback
830 Seiten
Erschienen 2005
Springer

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

Mathematical Foundations of Computer Science...

Jedrzejowicz, Joanna

66,49 € 106,99 €

-37%

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.

56,62 € 89,88 €

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

23,90 €

The Logic Programming Paradigm: A 25-Year Perspective (Artificial Intelligence)

hardcover
472 Seiten
Erschienen 1999
Springer

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

The Logic Programming Paradigm: A 25-Year...

Truszczynski, Mirek

48,48 €

-92%

Writing Testbenches using SystemVerilog

Gebunden
414 Seiten
Erschienen 2006
Springer

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

Writing Testbenches using SystemVerilog

Bergeron, Janick

16,08 € 213,99 €

Theoretical Foundations of Computer Science

paperback
504 Seiten
Erschienen 1988
John Wiley and Sons (WIE)

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

Theoretical Foundations of Computer Science

Ghezzi, Carlo

41,69 €

-32%

Formal Methods in Artificial Intelligence (Cambridge Tracts in Theoretical Computer Science, 6, Band 6)

paperback
292 Seiten
Erschienen 2009
Cambridge University Press

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

Formal Methods in Artificial Intelligence...

Ramsay, Allan

34,25 € 50,19 €

-94%

The Foundations of Mathematics

paperback
263 Seiten
Erschienen 1977
Oxford University Press

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

The Foundations of Mathematics

David Tall

3,21 € 52,43 €

Automated Theorem-proving in Non-classical Logics (Research notes in theoretical computer science)

paperback
154 Seiten
Erschienen 1988
FT Prentice Hall

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

Automated Theorem-proving in Non-classical...

McRobbie, Michael A.

47,20 €

Computing in Horn Clause Theories (Monographs in Theoretical Computer Science. An EATCS Series, Band 16)

hardcover
333 Seiten
Erschienen 1988
Springer

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

Computing in Horn Clause Theories (Monographs...

Padawitz, Peter

30,70 €

-15%

Automata, Languages and Programming: Fifth Colloquium, Udine, Italy, July 17 - 21, 1978. Proceedings (Lecture Notes in Computer Science, 62, Band 62)

paperback
520 Seiten
Erschienen 2008
Springer

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

Automata, Languages and Programming: Fifth...

B??hm, C.

48,52 € 57,23 €

-14%

MODELS PEANO ARITH OLG 15 C (Oxford Logic Guides, Band 15)

hardcover
304 Seiten
Erschienen 1991
Oxford University Press (UK)

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

MODELS PEANO ARITH OLG 15 C (Oxford Logic...

Kaye, Richard

207,79 € 241,53 €

-16%

P-Prolog: A Parallel Logic Programming Language (World Scientific Series in Computer Science, Band 9)

paperback
152 Seiten
Erschienen 1988
Wspc

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

P-Prolog: A Parallel Logic Programming Language...

Yang, Rong

64,40 € 77,04 €

-97%

Computer Aided Verification: 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003, Proceedings (Lecture Notes in Computer Science, 2725, Band 2725)

paperback
500 Seiten
Erschienen 2008
Springer

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

Computer Aided Verification: 15th International...

Hunt, Jr.

1,82 € 57,23 €

-82%

Foundations of Software Technology and Theoretical Computer Science: Tenth Conference, Bangalore, India, December 17-19, 1990, Proceedings (Lecture Notes in Computer Science, 472, Band 472)

paperback
436 Seiten
Erschienen 2008
Springer

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

Foundations of Software Technology and...

Madhavan, C.E. Veni

10,40 € 57,23 €

-27%

Logic of Mathematics: A Modern Course of Classical Logic (Pure and Applied Mathematics: A Wiley Series of Texts, Monographs and Tracts)

hardcover
272 Seiten
Erschienen 1997
Wiley-Interscience

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

Logic of Mathematics: A Modern Course of...

Adamowicz, Zofia

120,03 € 163,36 €

-5%

PARLE '91. Parallel Architectures and Languages Europe: Volume II: Parallel Languages. Eindhoven, The Netherlands, June 10-13, 1991. Proceedings (Lecture Notes in Computer Science, 506, Band 506)

paperback
512 Seiten
Erschienen 2008
Springer

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

PARLE '91. Parallel Architectures and Languages...

Aarts, Emile H.L.

52,99 € 56,04 €

-3%

Universal Subgoaling and Chunking: The Automatic Generation and Learning of Goal Hierarchies (The Springer International Series in Engineering and Computer Science, 11, Band 11)

hardcover
336 Seiten
Erschienen 1986
Springer

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

Universal Subgoaling and Chunking: The...

Laird, John

147,05 € 151,50 €

-72%

Frege's Theorem

hardcover
322 Seiten
Erschienen 2011
OUP Oxford

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

Frege's Theorem

Heck, Richard G.

29,60 € 103,90 €

-73%

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

10,58 € 39,00 €

Theoretische Grundlagen der Programmiersprachen. Theorie der Syntax

perfect
-

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

Theoretische Grundlagen der...

-

50,62 €