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

Cambridge University Pr.

How to Prove It: A Structured Approach

Schaue jetzt ins Buch

How to Prove It: A Structured Approach

Velleman, Daniel J.

inkl. MwSt. Versandinformationen

Artikel zZt. nicht lieferbar

Artikel zZt. nicht lieferbar

Cambridge University Pr.

Kurzinformation

Sprache:

Englisch

ISBN:

1108439535

Verlag:

Cambridge University Pr.

Seitenzahl:

458

Auflage:

-

Erschienen:

2019-09-01

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.

Neu bestellen bei

Schaue jetzt ins Buch

Handgeprüfte Gebrauchtware

Schnelle Lieferung

Faire Preise

inkl. MwSt. Versandinformationen

Artikel zZt. nicht lieferbar

Artikel zZt. nicht lieferbar

Weitere Zahlungsmöglichkeiten

Zahlungsarten

Beschreibung

How to Prove It: A Structured Approach

A Structured Approach

How to Prove It: A Structured Approach von Velleman, Daniel J.

Produktdetails

Einband:

Kartoniert

Seitenzahl:

458

Erschienen:

2019-09-01

Sprache:

Englisch

EAN:

9781108439534

ISBN:

1108439535

Verlag:

Cambridge University Pr.

Gewicht:

760 g

Auflage:

-

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

Über den Autor

Velleman, Daniel J.

Entdecke mehr vom Verlag

Cambridge University Pr.

Neu

39,00 €

Entdecke mehr zum Thema

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

31,79 €

Structured Approach to Programming

hardcover
264 Seiten
Erschienen 1977
Prentice Hall

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

Structured Approach to Programming

Michtom, Jay I.

2,09 €

Techniques of Program Structure and Design

hardcover
364 Seiten
Erschienen 1976
Prentice Hall Ptr

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

Techniques of Program Structure and Design

Yourdon, Edward

29,32 €

-36%

Dense Sphere Packings: A Blueprint for Formal Proofs (London Mathematical Society Lecture Note Series, 400)

paperback
286 Seiten
Erschienen 2012
Cambridge University Press

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

Dense Sphere Packings: A Blueprint for Formal...

Hales, Thomas

44,77 € 69,94 €

-56%

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.

11,64 € 26,32 €

-57%

Mathematical Proofs: A Transition to Advanced Mathematics: Pearson New International Edition: A Transition to Advanced Mathematics

Taschenbuch
424 Seiten
Erschienen 2013
Pearson

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

Mathematical Proofs: A Transition to Advanced...

Chartrand, Gary;Polimeni, A...

35,20 € 81,50 €

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

6,24 €

-28%

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.

64,88 € 89,88 €

-60%

Methoden des Software-Entwurfs und Strukturierte Programmierung (De Gruyter Lehrbuch)

hardcover
181 Seiten
Erschienen 1982
De Gruyter

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

Methoden des Software-Entwurfs und...

Degruyter

43,72 € 109,95 €

-14%

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

49,33 € 57,23 €

-22%

Number Theory: A Lively Introduction with Proofs, Applications, and Stories

hardcover
784 Seiten
Erschienen 2010
Wiley

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

Number Theory: A Lively Introduction with...

Pommersheim, James E.

183,23 € 235,00 €

-62%

Applied Proof Theory: Proof Interpretations and their Use in Mathematics (Springer Monographs in Mathematics)

hardcover
556 Seiten
Erschienen 2008
Springer

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

Applied Proof Theory: Proof Interpretations and...

Kohlenbach, Ulrich

52,27 € 139,09 €

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

40,58 €

-82%

The Elementary Theory of Groups: A Guide through the Proofs of the Tarski Conjectures (De Gruyter Expositions in Mathematics, 60)

Gebunden
324 Seiten
Erschienen 2014
De Gruyter

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

The Elementary Theory of Groups: A Guide...

Fine, Benjamin und Gaglione...

36,50 € 199,95 €

-29%

Specification by Example: How Successful Teams Deliver the Right Software

Kartoniert
774 Seiten
Erschienen 2011
Manning

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

Specification by Example: How Successful Teams...

Adzic, Gojko

35,38 € 50,00 €

-8%

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

149,98 € 163,36 €

Das ist o.B.d.A. trivial!

paperback
98 Seiten
Erschienen 1997
Vieweg

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

Das ist o.B.d.A. trivial!

Beutelspacher, Albrecht

14,06 €

Introduction to Symplectic Topology (Oxford Mathematical Monographs)

hardcover
425 Seiten
Erschienen 1995
Clarendon Press

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

Introduction to Symplectic Topology (Oxford...

McDuff, Dusa

94,39 €

Object-oriented Data Structures

hardcover
Springer-Verlag

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

Object-oriented Data Structures

Sengupta, Korobkin,

55,35 €

-29%

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

76,20 € 106,99 €

-65%

Coefficient Systems on the Bruhat-tits Building and Pro-p Iwahori-hecke Modules (Memoirs of the American Mathematical Society, 279)

paperback
69 Seiten
Erschienen 2022
American Mathematical Society

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

Coefficient Systems on the Bruhat-tits Building...

Kohlhaase, Jan

32,21 € 90,95 €

-1%

Elemente der Algebra: Eine Einführung in Grundlagen und Denkweisen (Mathematik-ABC für das Lehramt)

Kartoniert
172 Seiten
Erschienen 1997
Teubner Verlag

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

Elemente der Algebra: Eine Einführung in...

Göthner, Peter

24,84 € 25,00 €

-33%

Tidy First?: A Personal Exercise in Empirical Software Design

Hardcover
Erschienen 2023
O'Reilly Media

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

Tidy First?: A Personal Exercise in Empirical...

Beck, Kent

27,42 € 41,00 €

Understanding Arguments: An Introduction to Informal Logic (Cengage Advantage Books)

paperback
576 Seiten
Erschienen 2009
Wadsworth Publishing Co Inc

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

Understanding Arguments: An Introduction to...

Fogelin, Robert J.

85,00 €

-55%

Advanced Formal Verification

Gebunden
280 Seiten
Erschienen 2004
Springer

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

Advanced Formal Verification

Drechsler, Rolf

47,67 € 106,99 €

-76%

Reduktionssysteme: Rechnen und Schließen in gleichungsdefinierten Strukturen (Springer-Lehrbuch)

paperback
264 Seiten
Erschienen 1995
Springer Berlin Heidelberg

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

Reduktionssysteme: Rechnen und Schließen in...

Avenhaus, Jürgen

13,39 € 54,99 €

-43%

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

18,87 € 32,99 €

Data Structures and Other Objects Using C++

paperback
800 Seiten
Erschienen 1996
Pearson

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

Data Structures and Other Objects Using C++

Savitch, Walter

5,47 €

-19%

The Art of Prolog, second edition: Advanced Programming Techniques (Logic Programming)

paperback
552 Seiten
Erschienen 1994
MIT Press

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

The Art of Prolog, second edition: Advanced...

Sterling, Leon S.

74,78 € 92,28 €

-32%

Metamathematics: Foundations & Physicalization

hardcover
446 Seiten
Erschienen 2022
Wolfram Media Inc

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

Metamathematics: Foundations & Physicalization

Wolfram, Stephen

32,84 € 48,10 €

-66%

Mathematische Grundlagen der Informatik: Mathematisches Denken und Beweisen Eine Einführung

Kartoniert
340 Seiten
Erschienen 2015
Springer Vieweg

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

Mathematische Grundlagen der Informatik:...

Mundhenk, Martin und Meinel...

15,43 € 44,99 €

-9%

Scheduling and Automatic Parallelization

hardcover
280 Seiten
Erschienen 2000
Birkhäuser

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

Scheduling and Automatic Parallelization

Darte, Alain

97,34 € 106,98 €

Knowledge Systems Through Prolog: An Introduction

paperback
Erschienen 1991
Oxford Univ Pr

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

Knowledge Systems Through Prolog: An Introduction

Kim, Steven H.

3,32 €

Data Structures, Data Abstraction: Contemporary Introduction to Data Structures Using C++

diskette
550 Seiten
Erschienen 1994
Prentice-Hall

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

Data Structures, Data Abstraction: Contemporary...

Model, Mitchell L.

34,78 €

-22%

Design with Constructal Theory

hardcover
560 Seiten
Erschienen 2008
Wiley

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

Design with Constructal Theory

Bejan, Adrian

116,94 € 150,23 €

-40%

Mathematics for Economists: An Integrated Approach

paperback
196 Seiten
Erschienen 1983
Cambridge University Press

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

Mathematics for Economists: An Integrated Approach

Weintraub, E. Roy

26,94 € 44,90 €

-65%

Ordered Algebraic Structures: Proceedings of the Curaçao Conference, sponsored by the Caribbean Mathematics Foundation, June 26–30, 1995

hardcover
341 Seiten
Erschienen 1997
Springer

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

Ordered Algebraic Structures: Proceedings of...

Holland, W.C.

56,32 € 160,49 €

Objektorientierte Software-Konstruktion. Grundlagen - Modelle - Methoden - Beispiele

hardcover
350 Seiten
Erschienen 1993
Hanser, Carl

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

Objektorientierte Software-Konstruktion....

-

6,69 €

Java By Comparison: Become a Java Craftsman in 70 Examples

Kartoniert
174 Seiten
Erschienen 2018
Pragmatic Bookshelf

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

Java By Comparison: Become a Java Craftsman in...

Harrer, Simon und Lenhard, ...

38,53 €

Einführung in die Arithmetik: Primarstufe und Sekundarstufe (Mathematik Primarstufe und Sekundarstufe I + II)

Kartoniert
326 Seiten
Erschienen 2019
Springer Spektrum

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

Einführung in die Arithmetik: Primarstufe und...

Büchter, Andreas und Padber...

0,00 €