- 5 Ergebnisse
Kleinster Preis: € 35,69, größter Preis: € 53,49, Mittelwert: € 46,37
1
The Calculus of Computation - Aaron R. Bradley/ Zohar Manna
Bestellen
bei Hugendubel.de
€ 53,49
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Aaron R. Bradley/ Zohar Manna:

The Calculus of Computation - neues Buch

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…

Versandkosten:In stock (Download), , Versandkostenfrei nach Hause oder Express-Lieferung in Ihre Buchhandlung., DE. (EUR 0.00)
zuklappen (X)
2
The Calculus of Computation - Aaron R. Bradley/ Zohar Manna
Bestellen
bei Hugendubel.de
€ 53,49
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link

Aaron R. Bradley/ Zohar Manna:

The Calculus of Computation - neues Buch

ISBN: 9783540741138

The Calculus of Computation ab 53.49 € als pdf eBook: Decision Procedures with Applications to Verification. Aus dem Bereich: eBooks, Fachthemen & Wissenschaft, Mathematik, Medien > Büche… Mehr…

Versandkosten:In stock (Download), , Versandkostenfrei nach Hause oder Express-Lieferung in Ihre Buchhandlung., DE. (EUR 0.00)
zuklappen (X)
3
The Calculus of Computation - Aaron R. Bradley/ Zohar Manna
Bestellen
bei eBook.de
€ 53,49
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Aaron R. Bradley/ Zohar Manna:
The Calculus of Computation - neues Buch

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…

Versandkosten:in stock, , , DE. (EUR 0.00)
zuklappen (X)
4
The Calculus of Computation - Aaron R. Bradley; Zohar Manna
Bestellen
bei lehmanns.de
€ 35,69
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Aaron R. Bradley; Zohar Manna:
The Calculus of Computation - Erstausgabe

2007, ISBN: 9783540741138

Decision Procedures with Applications to Verification, eBooks, eBook Download (PDF), Auflage, [PU: Springer-Verlag], Seiten: 366, [ED: 1], Springer-Verlag, 2007

Versandkosten:Download sofort lieferbar. (EUR 0.00)
zuklappen (X)
5
The Calculus of Computation - Aaron R. Bradley; Zohar Manna
Bestellen
bei lehmanns.de
€ 35,69
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Aaron R. Bradley; Zohar Manna:
The Calculus of Computation - Erstausgabe

2007, ISBN: 9783540741138

Decision Procedures with Applications to Verification, eBooks, eBook Download (PDF), Auflage, [PU: Springer-Verlag], [ED: 1], Springer-Verlag, 2007

Versandkosten:Download sofort lieferbar. (EUR 0.00)
zuklappen (X)
1Da einige Plattformen keine Versandkonditionen übermitteln und diese vom Lieferland, dem Einkaufspreis, dem Gewicht und der Größe des Artikels, einer möglichen Mitgliedschaft der Plattform, einer direkten Lieferung durch die Plattform oder über einen Drittanbieter (Marketplace), etc. abhängig sein können, ist es möglich, dass die von eurobuch angegebenen Versandkosten nicht mit denen der anbietenden Plattform übereinstimmen.

Bibliographische Daten des bestpassenden Buches

Details zum Buch
The Calculus of Computation
Autor:
Titel:
ISBN-Nummer:

9783540741138

Detailangaben zum Buch - The Calculus of Computation


EAN (ISBN-13): 9783540741138
Erscheinungsjahr: 2007
Herausgeber: Springer-Verlag
366 Seiten
Sprache: eng/Englisch

Buch in der Datenbank seit 2010-02-17T18:16:03+01:00 (Zurich)
Detailseite zuletzt geändert am 2023-12-15T22:02:17+01:00 (Zurich)
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.
< zum Archiv...