- 5 resultaten
laagste prijs: € 33,75, hoogste prijs: € 128,04, gemiddelde prijs: € 76,51
1
Die Berechnung der Berechnung - 9783540741121 - Zohar Manna, Aaron R. Bradley
bestellen
bij ebay.de
€ 55,29
verzending: € 12,841
bestellen
Details aangeboden
Gesponsorde link
Zohar Manna, Aaron R. Bradley:

Die Berechnung der Berechnung - 9783540741121 - gebonden uitgave, pocketboek

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… Meer...

99.4, Zahlungsarten: Paypal, APPLE_PAY, Visa, Mastercard, American Express, Priority Listing. Verzendingskosten: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
dichtslaan (X)
2
The Calculus of Computation : Decision Procedures with Applications to Verification by Aaron R., Manna, Zohar Bradley - Aaron R., Manna, Zohar Bradley
bestellen
bij BetterWorldBooks.com
€ 33,75
bestellen
Details en verzending
Gesponsorde link

Aaron R., Manna, Zohar Bradley:

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

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… Meer...

used in stock. Verzendingskosten:plus verzendkosten., exclusief verzendingskosten
dichtslaan (X)
3
bestellen
bij Biblio.co.uk
$ 75,19
(ongeveer € 69,70)
verzending: € 9,271
bestellen
Details aangeboden
Gesponsorde link
Bradley, Aaron R., Manna, Zohar:
The Calculus of Computation : Decision Procedures with Applications to Verification - gebruikt boek

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

Verzendingskosten: EUR 9.27 Better World Books
dichtslaan (X)
4
The Calculus of Computation: Decision Procedures with Applications to Verification - Bradley, Aaron R.; Manna, Zohar
bestellen
bij AbeBooks.de
€ 95,75
verzending: € 19,931
bestellen
Details aangeboden
Gesponsorde link
Bradley, Aaron R.; Manna, Zohar:
The Calculus of Computation: Decision Procedures with Applications to Verification - gebonden uitgave, pocketboek

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. Verzendingskosten: EUR 19.93 Book Deals, Tucson, AZ, U.S.A. [85272957] [Rating: 5 (von 5)]
dichtslaan (X)
5
bestellen
bij AbeBooks.de
€ 128,04
verzending: € 30,931
bestellen
Details aangeboden
Gesponsorde link
Bradley, Aaron R.; Manna, Zohar:
The Calculus of Computation: Decision Procedures with Applications to Verification - gebonden uitgave, pocketboek

2007, ISBN: 3540741127

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

NEW BOOK. Verzendingskosten: EUR 30.93 Byrd Books, Austin, TX, U.S.A. [83414208] [Rating: 5 (von 5)]
dichtslaan (X)
1Aangezien sommige platformen geen verzendingsvoorwaarden meedelen en deze kunnen afhangen van het land van levering, de aankoopprijs, het gewicht en de grootte van het artikel, een eventueel lidmaatschap van het platform, een rechtstreekse levering door het platform of via een derde aanbieder (Marktplaats), enz., is het mogelijk dat de door euro-boek.nl meegedeelde verzendingskosten niet overeenstemmen met deze van het aanbiedende platform.

Bibliografische gegevens van het best passende boek

Bijzonderheden over het boek
The Calculus of Computation: Decision Procedures with Applications to Verification
auteur:
Titel:
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.

Gedetalleerde informatie over het boek. - The Calculus of Computation: Decision Procedures with Applications to Verification


EAN (ISBN-13): 9783540741121
ISBN (ISBN-10): 3540741127
Gebonden uitgave
pocket book
Verschijningsjaar: 2007
Uitgever: Springer
366 Bladzijden
Gewicht: 0,690 kg
Taal: eng/Englisch

Boek bevindt zich in het datenbestand sinds 2007-10-18T18:04:36+02:00 (Amsterdam)
Detailpagina laatst gewijzigd op 2024-02-24T05:14:37+01:00 (Amsterdam)
ISBN/EAN: 3540741127

ISBN - alternatieve schrijfwijzen:
3-540-74112-7, 978-3-540-74112-1
alternatieve schrijfwijzen en verwante zoekwoorden:
Auteur van het boek: bradley, zohar, manna
Titel van het boek: procedures, verification, calculus, bradley, aaron, computation

Gegevens van de uitgever

Auteur: Aaron R. Bradley
Titel: The Calculus of Computation - Decision Procedures with Applications to Verification
Uitgeverij: Springer; Springer Berlin
366 Bladzijden
Verschijningsjaar: 2007-09-03
Berlin; Heidelberg; DE
Taal: Engels
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.

Andere boeken die eventueel grote overeenkomsten met dit boek kunnen hebben:

Laatste soortgelijke boek:
9783642093470 The Calculus of Computation: Decision Procedures with Applications to Verification (Bradley, Aaron R.; Manna, Zohar)

< naar Archief...