LeafNachhaltiges Unternehmen CoinFaire Preise PackageSchneller und kostenloser Versand ab 14,90 € Bestellwert
Gebrauchte & Neue Bücher
Keine Versandkosten
Nachhaltiges Unternehmen
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

9,70 €

Lieferzeit 1-3 Werktage

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 CO2

Mehr Informationen zum Zustand Green Tree

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.
  • 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 lehmanns
Natural Handgeprüfte Gebrauchtware
Coins Schnelle Lieferung
Check Faire Preise

inkl. MwSt. Versandinformationen

Lieferzeit 1-3 Werktage

9,70 €

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
9,70 €
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
34,09 €
Details
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,68 €
Details
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,81 €
Details
-62%
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,11 € 26,32 €
Details
-61%
Advanced Formal Verification
  • Gebunden
  • 280 Seiten
  • Erschienen 2004
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Advanced Formal Verification
Drechsler, Rolf
41,39 € 106,99 €
Details
-34%
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
37,91 € 57,23 €
Details
-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 ...
88,68 € 123,05 €
Details
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
233,13 €
Details
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.
7,91 €
Details
-4%
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.
52,48 € 54,86 €
Details
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,78 €
Details
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.
17,81 €
Details
-37%
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
31,50 € 50,24 €
Details
-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,81 € 57,23 €
Details
Programming in Prolog
  • paperback
    • -
  • -
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Programming in Prolog
-
5,19 €
Details
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,48 €
Details
-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,32 € 114,48 €
Details
-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,90 € 57,23 €
Details
-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,34 € 57,23 €
Details
-42%
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.
123,40 € 213,99 €
Details
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...
-
680,06 €
Details
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
22,13 €
Details
Grundlagen systematischer Programmentwicklung
  • paperback
  • 180 Seiten
  • Duden ein Imprint von Corne...
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Grundlagen systematischer Programmentwicklung
Gerken, Wolfgang
5,61 €
Details
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.
46,48 €
Details
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,00 €
Details
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
64,96 €
Details
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
48,98 €
Details
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
11,37 €
Details
-16%
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,27 € 53,99 €
Details
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,43 €
Details
-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,16 € 106,99 €
Details
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
47,74 €
Details
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
84,44 €
Details
-0%
A gleich B: With forew. by Donald E. Knuth
  • hardcover
  • 230 Seiten
  • Erschienen 1996
  • Peters, A K
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
A gleich B: With forew. by Donald E. Knuth
Petkovsek, Marko
42,73 € 42,87 €
Details
-84%
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
4,64 € 28,84 €
Details
-38%
Mathematical Foundations of Computer Science 2006: 31st International Symposium, MFCS 2006, Stará Lesná, Slovakia, August 28-September 1, 2006, ... Notes in Computer Science, 4162, Band 4162)
  • paperback
  • 832 Seiten
  • Erschienen 2006
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Mathematical Foundations of Computer Science...
Královic, Rastislav
66,13 € 106,99 €
Details
-6%
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,46 € 56,04 €
Details
-17%
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.
47,78 € 57,23 €
Details
-12%
Mehr als nur Programmieren. . .: Eine Einführung in die Informatik
  • paperback
  • 244 Seiten
  • Erschienen 1993
  • Vieweg+Teubner Verlag
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Mehr als nur Programmieren. . .: Eine...
Gmehlich, Rainer
48,33 € 54,99 €
Details