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

John Wiley & Sons Ltd

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

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

Loeckx, Jacques

inkl. MwSt. Versandinformationen

Lieferzeit 1-3 Werktage

7,25 €

Lieferzeit 1-3 Werktage

John Wiley & Sons Ltd

Kurzinformation

Sprache:

Englisch

ISBN:

9780471903239

Verlag:

John Wiley & Sons Ltd

Seitenzahl:

240

Auflage:

-

Erschienen:

1987-02-04

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

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

7,25 €

Lieferzeit 1-3 Werktage

Weitere Zahlungsmöglichkeiten

Zahlungsarten

Beschreibung

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

1984 240 Seiten 22,9 x 15,2 x 2,3 cm, Gebundene Ausgabe John Wiley & Sons Ltd,

Produktdetails

Einband:

hardcover

Seitenzahl:

240

Erschienen:

1987-02-04

Sprache:

Englisch

EAN:

9780471903239

ISBN:

9780471903239

Verlag:

John Wiley & Sons Ltd

Gewicht:

431 g

Auflage:

-

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

Über den Autor

Loeckx, Jacques

Entdecke mehr vom Verlag

John Wiley & Sons Ltd

Gut

7,25 €

Entdecke mehr zum Thema

The Foundations of Program Verification

unknown_binding
230 Seiten
Erschienen 1984
Vieweg & Teubner

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

The Foundations of Program Verification

Stansifer, Ryan D

25,52 €

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

-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

79,93 € 114,48 €

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

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

8,95 € 26,32 €

-66%

Advanced Formal Verification

Gebunden
280 Seiten
Erschienen 2004
Springer

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

Advanced Formal Verification

Drechsler, Rolf

36,66 € 106,99 €

-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,57 € 57,23 €

-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,54 € 123,05 €

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

186,13 €

Principles of Programming Languages (Prentice Hall International Series in Computing Science)

hardcover
280 Seiten
Erschienen 1981
Pearson Education Limited

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

Principles of Programming Languages (Prentice...

Tennent, R. D.

5,95 €

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

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.

113,25 €

-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,48 € 54,86 €

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

Ein Programmsystem und Formalismen für das wissensbasierte Programmieren

paperback
Erschienen 1988
Wien, Verband der wissensch...

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

Ein Programmsystem und Formalismen für das...

Zajicek, Walter A.

13,57 €

-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,06 € 50,24 €

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.

116,62 €

-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,60 € 57,23 €

Programming in Prolog

paperback
-

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

Programming in Prolog

-

4,60 €

-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

57,85 € 114,48 €

-92%

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,34 € 57,23 €

-84%

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

9,16 € 57,23 €

-49%

Linear Programming: Foundations and Extensions (International Series in Operations Research & Management Science, Band 4)

hardcover
436 Seiten
Erschienen 1996
Springer

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

Linear Programming: Foundations and Extensions...

Vanderbei, Robert J.

109,30 € 213,99 €

-24%

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,22 € 49,99 €

Verifying Concurrent Processes Using Temporal Logic (Lecture Notes in Computer Science)

paperback
-

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

Verifying Concurrent Processes Using Temporal...

-

508,91 €

Programming in Modula-2 (Monographs in Computer Science)

hardcover
Erschienen 1985
Springer

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

Programming in Modula-2 (Monographs in Computer...

Wirth, Niklaus

19,60 €

Linear Programming: Foundations and Extensions (International Series in Operations Research Management Science, Band 114)

hardcover
468 Seiten
Erschienen 2007
Springer

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

Linear Programming: Foundations and Extensions...

Vanderbei, Robert J

46,24 €

Programming Principles in Computer Graphics

paperback
176 Seiten
Erschienen 1986
John Wiley & Sons Ltd

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

Programming Principles in Computer Graphics

Ammeraal, L.

8,28 €

Grundlagen systematischer Programmentwicklung

paperback
180 Seiten
Duden ein Imprint von Corne...

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

Grundlagen systematischer Programmentwicklung

Gerken, Wolfgang

4,82 €

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.

35,90 €

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

-23%

Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control (Lecture Notes in Computer Science) (Lecture Notes in Computer Science, 1165, Band 1165)

paperback
524 Seiten
Erschienen 1996
Springer

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

Formal Methods for Industrial Applications:...

Abrial, Jean-Raymond

88,48 € 114,48 €

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

An Introduction to Functional Programming (Prentice Hall International Series in Computing Science)

paperback
293 Seiten
Erschienen 1988
Prentice-Hall

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

An Introduction to Functional Programming...

Wadler, Philip

43,38 €

Foundations of Neural Networks (Addison-Wesley Series in New Horizons in Technology)

paperback
196 Seiten
Erschienen 1990
Addison Wesley

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

Foundations of Neural Networks (Addison-Wesley...

Khanna, Tarun

8,56 €

-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,58 € 53,99 €

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

-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,59 € 106,99 €

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

36,87 €