2007, ISBN: 9783540741138
*The Calculus of Computation* - Decision Procedures with Applications to Verification. Auflage 2007 / pdf eBook für 53.49 € / Aus dem Bereich: eBooks, Fachthemen & Wissenschaft, Mathemati… Mehr…
Hugendubel.de Versandkosten:Does not ship to your country., zzgl. Versandkosten Details... |
ISBN: 9783540741138
*The Calculus of Computation* - Decision Procedures with Applications to Verification / pdf eBook für 53.49 € / Aus dem Bereich: eBooks, Fachthemen & Wissenschaft, Mathematik Medien > Büc… Mehr…
Hugendubel.de Versandkosten:In stock (Download), , Versandkostenfrei nach Hause oder Express-Lieferung in Ihre Buchhandlung., DE. (EUR 0.00) Details... |
ISBN: 9783540741138
The Calculus of Computation - Decision Procedures with Applications to Verification: ab 53.49 € eBooks > Fachthemen & Wissenschaft > Mathematik Springer-Verlag GmbH eBook als pdf, Springe… Mehr…
eBook.de Versandkosten:in stock, , , DE. (EUR 0.00) Details... |
2007, ISBN: 9783540741138
Decision Procedures with Applications to Verification, eBooks, eBook Download (PDF), Auflage, [PU: Springer-Verlag], Seiten: 366, [ED: 1], Springer-Verlag, 2007
lehmanns.de Versandkosten:Download sofort lieferbar. (EUR 0.00) Details... |
2007, ISBN: 9783540741138
Decision Procedures with Applications to Verification, eBooks, eBook Download (PDF), Auflage, [PU: Springer-Verlag], [ED: 1], Springer-Verlag, 2007
lehmanns.de Versandkosten:Download sofort lieferbar. (EUR 0.00) Details... |
2007, ISBN: 9783540741138
*The Calculus of Computation* - Decision Procedures with Applications to Verification. Auflage 2007 / pdf eBook für 53.49 € / Aus dem Bereich: eBooks, Fachthemen & Wissenschaft, Mathemati… Mehr…
ISBN: 9783540741138
*The Calculus of Computation* - Decision Procedures with Applications to Verification / pdf eBook für 53.49 € / Aus dem Bereich: eBooks, Fachthemen & Wissenschaft, Mathematik Medien > Büc… Mehr…
ISBN: 9783540741138
The Calculus of Computation - Decision Procedures with Applications to Verification: ab 53.49 € eBooks > Fachthemen & Wissenschaft > Mathematik Springer-Verlag GmbH eBook als pdf, Springe… Mehr…
2007, ISBN: 9783540741138
Decision Procedures with Applications to Verification, eBooks, eBook Download (PDF), Auflage, [PU: Springer-Verlag], Seiten: 366, [ED: 1], Springer-Verlag, 2007
2007, ISBN: 9783540741138
Decision Procedures with Applications to Verification, eBooks, eBook Download (PDF), Auflage, [PU: Springer-Verlag], [ED: 1], Springer-Verlag, 2007
Bibliographische Daten des bestpassenden Buches
Autor: | |
Titel: | |
ISBN-Nummer: |
Detailangaben zum Buch - The Calculus of Computation
EAN (ISBN-13): 9783540741138
Erscheinungsjahr: 2007
Herausgeber: Springer-Verlag GmbH
366 Seiten
Sprache: eng/Englisch
Buch in der Datenbank seit 2010-02-17T18:16:03+01:00 (Berlin)
Detailseite zuletzt geändert am 2024-03-25T03:49:32+01:00 (Berlin)
ISBN/EAN: 9783540741138
ISBN - alternative Schreibweisen:
978-3-540-74113-8
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: zohar, bradley, lang, manna
Titel des Buches: calculus, computation
Daten vom Verlag:
Autor/in: Aaron R. Bradley
Titel: The Calculus of Computation - Decision Procedures with Applications to Verification
Verlag: Springer; Springer Berlin
366 Seiten
Erscheinungsjahr: 2007-09-18
Berlin; Heidelberg; DE
Sprache: Englisch
55,00 € (DE)
EA; E107; eBook; Nonbooks, PBS / Informatik, EDV/Informatik; Systemanalyse und -design; Verstehen; Algorithms; algorithm; artificial intelligence; computer; data structure; formal method; learning; logic; verification; algorithm analysis and problem complexity; A; Computer System Implementation; Artificial Intelligence; Theory of Computation; Computer Science Logic and Foundations of Programming; Algorithms; Formal Languages and Automata Theory; Computer Science; Künstliche Intelligenz; Theoretische Informatik; Algorithmen und Datenstrukturen; BC
Foundations.- Propositional Logic.- First-Order Logic.- First-Order Theories.- Induction.- Program Correctness: Mechanics.- Program Correctness: Strategies.- Algorithmic Reasoning.- Quantified Linear Arithmetic.- Quantifier-Free Linear Arithmetic.- Quantifier-Free Equality and Data Structures.- Combining Decision Procedures.- Arrays.- Invariant Generation.- Further Reading.Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Neuestes ähnliches Buch:
9783642093470 The Calculus of Computation: Decision Procedures with Applications to Verification (Bradley, Aaron R.; Manna, Zohar)
< zum Archiv...