- 5 Résultats
prix le plus bas: € 35,69, prix le plus élevé: € 53,49, prix moyen: € 46,37
1
The Calculus of Computation - Aaron R. Bradley/ Zohar Manna
Commander
sur Hugendubel.de
€ 53,49
Envoi: € 0,001
Commander
Détails du fournisseur
Lien sponsorisé
Aaron R. Bradley/ Zohar Manna:

The Calculus of Computation - nouveau livre

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… Plus…

Frais d'envoiIn stock (Download), , Versandkostenfrei nach Hause oder Express-Lieferung in Ihre Buchhandlung., DE. (EUR 0.00)
fermer(X)
2
The Calculus of Computation - Aaron R. Bradley/ Zohar Manna
Commander
sur Hugendubel.de
€ 53,49
Envoi: € 0,001
Commander
Détails du fournisseur
Lien sponsorisé

Aaron R. Bradley/ Zohar Manna:

The Calculus of Computation - nouveau livre

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… Plus…

Frais d'envoiIn stock (Download), , Versandkostenfrei nach Hause oder Express-Lieferung in Ihre Buchhandlung., DE. (EUR 0.00)
fermer(X)
3
The Calculus of Computation - Aaron R. Bradley/ Zohar Manna
Commander
sur eBook.de
€ 53,49
Envoi: € 0,001
Commander
Détails du fournisseur
Lien sponsorisé
Aaron R. Bradley/ Zohar Manna:
The Calculus of Computation - nouveau livre

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… Plus…

Frais d'envoiin stock, , , DE. (EUR 0.00)
fermer(X)
4
The Calculus of Computation - Aaron R. Bradley; Zohar Manna
Commander
sur lehmanns.de
€ 35,69
Envoi: € 0,001
Commander
Détails du fournisseur
Lien sponsorisé
Aaron R. Bradley; Zohar Manna:
The Calculus of Computation - Première édition

2007, ISBN: 9783540741138

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

Frais d'envoiDownload sofort lieferbar. (EUR 0.00)
fermer(X)
5
The Calculus of Computation - Aaron R. Bradley; Zohar Manna
Commander
sur lehmanns.de
€ 35,69
Envoi: € 0,001
Commander
Détails du fournisseur
Lien sponsorisé
Aaron R. Bradley; Zohar Manna:
The Calculus of Computation - Première édition

2007, ISBN: 9783540741138

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

Frais d'envoiDownload sofort lieferbar. (EUR 0.00)
fermer(X)
1Comme certaines plateformes ne transmettent pas les conditions d'expédition et que celles-ci peuvent dépendre du pays de livraison, du prix d'achat, du poids et de la taille de l'article, d'une éventuelle adhésion de la plateforme, d'une livraison directe par la plateforme ou via un prestataire tiers (Marketplace), etc. il est possible que les frais de livraison indiqués par eurolivre ne correspondent pas à ceux de la plateforme qui propose l'article.

Données bibliographiques du meilleur livre correspondant

Détails sur le livre
The Calculus of Computation
Auteur:
Titre:
ISBN:

9783540741138

Informations détaillées sur le livre - The Calculus of Computation


EAN (ISBN-13): 9783540741138
Date de parution: 2007
Editeur: Springer-Verlag
366 Pages
Langue: eng/Englisch

Livre dans la base de données depuis 2010-02-17T18:16:03+01:00 (Zurich)
Page de détail modifiée en dernier sur 2023-12-15T22:02:17+01:00 (Zurich)
ISBN/EAN: 9783540741138

ISBN - Autres types d'écriture:
978-3-540-74113-8
Autres types d'écriture et termes associés:
Auteur du livre: zohar, bradley, lang, manna
Titre du livre: calculus, computation

Données de l'éditeur

Auteur: Aaron R. Bradley
Titre: The Calculus of Computation - Decision Procedures with Applications to Verification
Editeur: Springer; Springer Berlin
366 Pages
Date de parution: 2007-09-18
Berlin; Heidelberg; DE
Langue: Anglais
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.
< pour archiver...