- 5 Résultats
prix le plus bas: € 33,75, prix le plus élevé: € 128,04, prix moyen: € 76,51
1
Die Berechnung der Berechnung - 9783540741121 - Zohar Manna, Aaron R. Bradley
Commander
sur ebay.de
€ 55,29
Envoi: € 12,841
Commander
Détails du fournisseur
Lien sponsorisé
Zohar Manna, Aaron R. Bradley:

Die Berechnung der Berechnung - 9783540741121 - edition reliée, livre de poche

ISBN: 9783540741121

ISBN-13: 9783540741121, 978-3540741121. The Calculus of Computation. The textbook also presents a logical approach to engineering correct software. Verification exercises are given to dev… Plus…

99.4, Zahlungsarten: Paypal, APPLE_PAY, Visa, Mastercard, American Express, Priority Listing. Frais d'envoiVersand zum Fixpreis, [SHT: Expressversand], GU12 *** Aldershot, [TO: Großbritannien, Antigua und Barbuda, Österreich, Belgien, Bulgarien, Republik Kroatien, Zypern, Tschechische Republik, Dänemark, Estland, Finnland, Frankreich, Deutschland, Griechenland, Ungarn, Irland, Italien, Lettland, Litauen, Luxemburg, Malta, Niederlande, Polen, Portugal, Rumänien, Slowakei, Slowenien, Spanien, Schweden, Australien, USA, Bahrain, Kanada, Brasilien, Japan, Neuseeland, China, Israel, Hongkong, Norwegen, Indonesien, Malaysia, Mexiko, Singapur, Südkorea, Schweiz, Taiwan, Thailand, Bangladesch, Belize, Bermuda, Bolivien, Barbados, Brunei Darussalam, Kaimaninseln, Dominica, Ecuador, Ägypten, Guernsey, Gibraltar, Guadeloupe, Grenada, Französisch-Guayana, Island, Jersey, Jordanien, Kambodscha, St. Kitts und Nevis, St. Lucia, Liechtenstein, Sri Lanka, Macau, Monaco, Malediven, Montserrat, Martinique, Nicaragua, Oman, Pakistan, Peru, Paraguay, Réunion, Turks- und Caicosinseln, Aruba, Saudi-Arabie. (EUR 12.84) books--etc
fermer(X)
2
The Calculus of Computation : Decision Procedures with Applications to Verification by Aaron R., Manna, Zohar Bradley - Aaron R., Manna, Zohar Bradley
Commander
sur BetterWorldBooks.com
€ 33,75
Commander
Détails et expédition
Lien sponsorisé

Aaron R., Manna, Zohar Bradley:

The Calculus of Computation : Decision Procedures with Applications to Verification by Aaron R., Manna, Zohar Bradley - livre d'occasion

ISBN: 9783540741121

This textbook introduces computational logic from the foundations of first-order logic to state-of-the-art decision procedures for arithmetic, data structures, and combination theories. T… Plus…

used in stock. Frais d'envoiplus verzendkosten., Livraison non-comprise
fermer(X)
3
Commander
sur Biblio.co.uk
$ 75,19
(environ € 69,70)
Envoi: € 9,271
Commander
Détails du fournisseur
Lien sponsorisé
Bradley, Aaron R., Manna, Zohar:
The Calculus of Computation : Decision Procedures with Applications to Verification - livre d'occasion

ISBN: 9783540741121

Springer Berlin / Heidelberg. Used - Very Good. Used book that is in excellent condition. May show signs of wear or have minor defects., Springer Berlin / Heidelberg, 3

Frais d'envoi EUR 9.27 Better World Books
fermer(X)
4
The Calculus of Computation: Decision Procedures with Applications to Verification - Bradley, Aaron R.; Manna, Zohar
Commander
sur AbeBooks.de
€ 95,75
Envoi: € 19,931
Commander
Détails du fournisseur
Lien sponsorisé
Bradley, Aaron R.; Manna, Zohar:
The Calculus of Computation: Decision Procedures with Applications to Verification - edition reliée, livre de poche

2007, ISBN: 3540741127

[EAN: 9783540741121], Gebraucht, sehr guter Zustand, [PU: Springer], Very Good condition. Shows only minor signs of wear, and very minimal markings inside (if any)., Books

NOT NEW BOOK. Frais d'envoi EUR 19.93 Book Deals, Tucson, AZ, U.S.A. [85272957] [Rating: 5 (von 5)]
fermer(X)
5
Commander
sur AbeBooks.de
€ 128,04
Envoi: € 30,931
Commander
Détails du fournisseur
Lien sponsorisé
Bradley, Aaron R.; Manna, Zohar:
The Calculus of Computation: Decision Procedures with Applications to Verification - edition reliée, livre de poche

2007, ISBN: 3540741127

[EAN: 9783540741121], Neubuch, [PU: Springer], In Never used condition, Books

NEW BOOK. Frais d'envoi EUR 30.93 Byrd Books, Austin, TX, U.S.A. [83414208] [Rating: 5 (von 5)]
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: Decision Procedures with Applications to Verification
Auteur:
Titre:
ISBN:

9783540741121


Written with graduate and advanced undergraduate students in mind, this textbook introduces computational logic from the foundations of first-order logic to state-of-the-art decision procedures for arithmetic, data structures, and combination theories. The textbook also presents a logical approach to engineering correct software. Verification exercises are given to develop the reader's facility in specifying and verifying software using logic. The treatment of verification concludes with an introduction to the static analysis of software, an important component of modern verification systems. The final chapter outlines courses of further study.

Informations détaillées sur le livre - The Calculus of Computation: Decision Procedures with Applications to Verification


EAN (ISBN-13): 9783540741121
ISBN (ISBN-10): 3540741127
Version reliée
Livre de poche
Date de parution: 2007
Editeur: Springer
366 Pages
Poids: 0,690 kg
Langue: eng/Englisch

Livre dans la base de données depuis 2007-10-18T18:04:36+02:00 (Paris)
Page de détail modifiée en dernier sur 2024-02-24T05:14:37+01:00 (Paris)
ISBN/EAN: 9783540741121

ISBN - Autres types d'écriture:
3-540-74112-7, 978-3-540-74112-1
Autres types d'écriture et termes associés:
Auteur du livre: bradley, zohar, manna
Titre du livre: procedures, verification, calculus, bradley, aaron, 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-03
Berlin; Heidelberg; DE
Langue: Anglais
76,99 € (DE)

BB; Hardcover, Softcover / Informatik, EDV/Informatik; Systemanalyse und -design; Verstehen; Informatik; Algorithms; algorithm; artificial intelligence; computer; data structure; formal method; learning; logic; verification; algorithm analysis and problem complexity; Computer System Implementation; Artificial Intelligence; Theory of Computation; Computer Science Logic and Foundations of Programming; Algorithms; Formal Languages and Automata Theory; 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.

Autres livres qui pourraient ressembler au livre recherché:

Dernier livre similaire:
9783642093470 The Calculus of Computation: Decision Procedures with Applications to Verification (Bradley, Aaron R.; Manna, Zohar)

< pour archiver...