- 5 Risultati
prezzo più basso: € 33,75, prezzo più alto: € 128,04, prezzo medio: € 76,51
1
Die Berechnung der Berechnung - 9783540741121 - Zohar Manna, Aaron R. Bradley
Ordina
da ebay.de
€ 55,29
Spedizione: € 12,841
Ordina
Dettagli del offerente
Link sponsorizzato
Zohar Manna, Aaron R. Bradley:

Die Berechnung der Berechnung - 9783540741121 - copertina rigida, flessible

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

99.4, Zahlungsarten: Paypal, APPLE_PAY, Visa, Mastercard, American Express, Priority Listing. Costi di spedizione:Versand 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
Chiudere (X)
2
The Calculus of Computation : Decision Procedures with Applications to Verification by Aaron R., Manna, Zohar Bradley - Aaron R., Manna, Zohar Bradley
Ordina
da BetterWorldBooks.com
€ 33,75
Ordina
Dettagli & spedizione
Link sponsorizzato

Aaron R., Manna, Zohar Bradley:

The Calculus of Computation : Decision Procedures with Applications to Verification by Aaron R., Manna, Zohar Bradley - libri usati

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

used in stock. Costi di spedizione:plus verzendkosten., Costi di spedizione aggiuntivi
Chiudere (X)
3
Ordina
da Biblio.co.uk
$ 75,19
(indicativi € 69,70)
Spedizione: € 9,271
Ordina
Dettagli del offerente
Link sponsorizzato
Bradley, Aaron R., Manna, Zohar:
The Calculus of Computation : Decision Procedures with Applications to Verification - libri usati

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

Costi di spedizione: EUR 9.27 Better World Books
Chiudere (X)
4
The Calculus of Computation: Decision Procedures with Applications to Verification - Bradley, Aaron R.; Manna, Zohar
Ordina
da AbeBooks.de
€ 95,75
Spedizione: € 19,931
Ordina
Dettagli del offerente
Link sponsorizzato
Bradley, Aaron R.; Manna, Zohar:
The Calculus of Computation: Decision Procedures with Applications to Verification - copertina rigida, flessible

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. Costi di spedizione: EUR 19.93 Book Deals, Tucson, AZ, U.S.A. [85272957] [Rating: 5 (von 5)]
Chiudere (X)
5
Ordina
da AbeBooks.de
€ 128,04
Spedizione: € 30,931
Ordina
Dettagli del offerente
Link sponsorizzato
Bradley, Aaron R.; Manna, Zohar:
The Calculus of Computation: Decision Procedures with Applications to Verification - copertina rigida, flessible

2007, ISBN: 3540741127

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

NEW BOOK. Costi di spedizione: EUR 30.93 Byrd Books, Austin, TX, U.S.A. [83414208] [Rating: 5 (von 5)]
Chiudere (X)
1Poiché alcune piattaforme non trasmettono le condizioni di spedizione e queste possono dipendere dal paese di consegna, dal prezzo di acquisto, dal peso e dalle dimensioni dell'articolo, dall'eventuale iscrizione alla piattaforma, dalla consegna diretta da parte della piattaforma o tramite un fornitore terzo (Marketplace), ecc. è possibile che le spese di spedizione indicate da eurolibro non corrispondano a quelle della piattaforma offerente.

Dati bibliografici del miglior libro corrispondente

Dettagli del libro
The Calculus of Computation: Decision Procedures with Applications to Verification
Autore:
Titolo:
ISBN:

3540741127


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.

Informazioni dettagliate del libro - The Calculus of Computation: Decision Procedures with Applications to Verification


EAN (ISBN-13): 9783540741121
ISBN (ISBN-10): 3540741127
Copertina rigida
Copertina flessibile
Anno di pubblicazione: 2007
Editore: Springer
366 Pagine
Peso: 0,690 kg
Lingua: eng/Englisch

Libro nella banca dati dal 2007-10-18T18:04:36+02:00 (Zurich)
Pagina di dettaglio ultima modifica in 2024-02-24T05:14:37+01:00 (Zurich)
ISBN/EAN: 3540741127

ISBN - Stili di scrittura alternativi:
3-540-74112-7, 978-3-540-74112-1
Stili di scrittura alternativi e concetti di ricerca simili:
Autore del libro : bradley, zohar, manna
Titolo del libro: procedures, verification, calculus, bradley, aaron, computation

Dati dell'editore

Autore: Aaron R. Bradley
Titolo: The Calculus of Computation - Decision Procedures with Applications to Verification
Editore: Springer; Springer Berlin
366 Pagine
Anno di pubblicazione: 2007-09-03
Berlin; Heidelberg; DE
Lingua: Inglese
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.

Altri libri che potrebbero essere simili a questo:

Ultimo libro simile:
9783642093470 The Calculus of Computation: Decision Procedures with Applications to Verification (Bradley, Aaron R.; Manna, Zohar)

< Per archiviare...