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

25,65 €

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 25,65 €

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

25,65 €

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

25,65 €

Entdecke mehr zum Thema

Foundations of Programme Verification (Wiley-Teubner series in computer science)

hardcover
240 Seiten
Erschienen 1987
John Wiley & Sons Ltd

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

Foundations of Programme Verification...

Loeckx, Jacques

7,29 €

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,17 €

-30%

Computer Aided Verification: 13th International Conference, CAV 2001, Paris, France, July 18-22, 2001. Proceedings (Lecture Notes in Computer Science, 2102, Band 2102)

paperback
536 Seiten
Erschienen 2008
Springer

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

Computer Aided Verification: 13th International...

Comon, Hubert

80,47 € 114,48 €

-41%

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

33,73 € 57,23 €

Foundations of Set Theory (Volume 67) (Studies in Logic and the Foundations of Mathematics, Volume 67)

hardcover
412 Seiten
Erschienen 1973
North Holland

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

Foundations of Set Theory (Volume 67) (Studies...

Bar-Hillel, Y.

114,87 €

-66%

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.

9,00 € 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

5,77 €

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

21,74 €

-66%

Advanced Formal Verification

Gebunden
280 Seiten
Erschienen 2004
Springer

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

Advanced Formal Verification

Drechsler, Rolf

36,83 € 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

54,80 €

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

187,02 €

-28%

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.

39,66 € 54,86 €

-21%

The Autonomy of Mathematical Knowledge: Hilbert's Program Revisited

hardcover
228 Seiten
Erschienen 2009
Cambridge University Press

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

The Autonomy of Mathematical Knowledge:...

Franks, Curtis

69,73 € 88,65 €

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

65,54 €

Fundamentals of Stability Theory (Perspectives in Mathematical Logic)

hardcover
447 Seiten
Erschienen 1988
Springer Berlin

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

Fundamentals of Stability Theory (Perspectives...

Baldwin, J. T.

146,44 €

The Foundations of Geometry and the Non-Euclidean Plane (Undergraduate Texts in Mathematics)

hardcover
525 Seiten
Erschienen 1998
Springer Berlin

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

The Foundations of Geometry and the...

Martin, George E.

91,61 €

-62%

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...

-

188,49 € 496,50 €

-49%

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

58,13 € 114,48 €

An Introduction to Godel's Theorems (Cambridge Introductions to Philosophy)

paperback
404 Seiten
Erschienen 2013
Cambridge University Press

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

An Introduction to Godel's Theorems (Cambridge...

Smith, Peter

67,01 €

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

30,26 €

-43%

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

28,69 € 50,59 €

-36%

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 ...

78,92 € 123,05 €

-23%

CONCUR 2004 -- Concurrency Theory: 15th International Conference, London, UK, August 31 - September 3, 2004, Proceedings (Lecture Notes in Computer Science, 3170, Band 3170)

paperback
548 Seiten
Erschienen 2008
Springer

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

CONCUR 2004 -- Concurrency Theory: 15th...

Yoshida, Nobuko

38,48 € 49,99 €

Mathematical Foundations of Parallel Computing (Series in Computer Science, Band 33)

hardcover
364 Seiten
Erschienen 1992
World Scientific Publishing...

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

Mathematical Foundations of Parallel Computing...

Voevodin, V V

75,62 €

-30%

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

37,76 € 53,99 €

-45%

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

58,87 € 106,99 €

-44%

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.

50,12 € 89,88 €

-9%

Wittgenstein's Lectures on the Foundations of Mathematics, Cambridge, 1939

paperback
300 Seiten
Erschienen 1989
University of Chicago Press

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

Wittgenstein's Lectures on the Foundations of...

Diamond, Cora

30,11 € 33,17 €

Provability, Complexity, Grammars (AMERICAN MATHEMATICAL SOCIETY TRANSLATIONS SERIES 2)

hardcover
172 Seiten
Erschienen 1999
American Mathematical Society

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

Provability, Complexity, Grammars (AMERICAN...

Beklemishev, Lev Dmitrievich

104,28 €

Programming Concepts and Methods: Proceedings of the Ifip Working Group 2.2./2.3 Working Conference on Programming Concepts and Methods Sea of Galil: Conference Proceedings

hardcover
590 Seiten
Erschienen 1990
Elsevier Science Ltd

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

Programming Concepts and Methods: Proceedings...

Broy, M.

117,17 €

-46%

Program Translation Fundamentals: Methods and Issues (Computer Software Engineering Series 22)

hardcover
Erschienen 1988
Computer Science Pr

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

Program Translation Fundamentals: Methods and...

Calingaert, Peter

27,18 € 50,24 €

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

21,16 €

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

37,05 €

-93%

Writing Testbenches using SystemVerilog

Gebunden
414 Seiten
Erschienen 2006
Springer

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

Writing Testbenches using SystemVerilog

Bergeron, Janick

14,23 € 213,99 €

-40%

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

30,33 € 50,19 €

-95%

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

2,84 € 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.

36,07 €

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

22,98 €

-33%

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.

38,44 € 57,23 €