- 5 Ergebnisse
Kleinster Preis: € 33,75, größter Preis: € 128,04, Mittelwert: € 76,51
1
Die Berechnung der Berechnung - 9783540741121 - Zohar Manna, Aaron R. Bradley
Bestellen
bei ebay.de
€ 55,29
Versand: € 12,841
Bestellengesponserter Link
Zohar Manna, Aaron R. Bradley:

Die Berechnung der Berechnung - 9783540741121 - gebunden oder broschiert

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

99.4, Zahlungsarten: Paypal, APPLE_PAY, Visa, Mastercard, American Express, Priority Listing. Versandkosten: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
2
The Calculus of Computation : Decision Procedures with Applications to Verification by Aaron R., Manna, Zohar Bradley - Aaron R., Manna, Zohar Bradley
Bestellen
bei BetterWorldBooks.com
€ 33,75
Bestellengesponserter Link

Aaron R., Manna, Zohar Bradley:

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

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

used in stock. Versandkosten:plus verzendkosten., zzgl. Versandkosten
3
Bestellen
bei Biblio.co.uk
$ 75,19
(ca. € 69,70)
Versand: € 9,271
Bestellengesponserter Link
Bradley, Aaron R., Manna, Zohar:
The Calculus of Computation : Decision Procedures with Applications to Verification - gebrauchtes Buch

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

Versandkosten: EUR 9.27 Better World Books
4
The Calculus of Computation: Decision Procedures with Applications to Verification - Bradley, Aaron R.; Manna, Zohar
Bestellen
bei AbeBooks.de
€ 95,75
Versand: € 19,931
Bestellengesponserter Link
Bradley, Aaron R.; Manna, Zohar:
The Calculus of Computation: Decision Procedures with Applications to Verification - gebunden oder broschiert

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. Versandkosten: EUR 19.93 Book Deals, Tucson, AZ, U.S.A. [85272957] [Rating: 5 (von 5)]
5
Bestellen
bei AbeBooks.de
€ 128,04
Versand: € 30,931
Bestellengesponserter Link
Bradley, Aaron R.; Manna, Zohar:
The Calculus of Computation: Decision Procedures with Applications to Verification - gebunden oder broschiert

2007, ISBN: 3540741127

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

NEW BOOK. Versandkosten: EUR 30.93 Byrd Books, Austin, TX, U.S.A. [83414208] [Rating: 5 (von 5)]

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: Decision Procedures with Applications to Verification

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.

Detailangaben zum Buch - The Calculus of Computation: Decision Procedures with Applications to Verification


EAN (ISBN-13): 9783540741121
ISBN (ISBN-10): 3540741127
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 2007
Herausgeber: Springer
366 Seiten
Gewicht: 0,690 kg
Sprache: eng/Englisch

Buch in der Datenbank seit 2007-10-18T18:04:36+02:00 (Berlin)
Detailseite zuletzt geändert am 2024-02-24T05:14:37+01:00 (Berlin)
ISBN/EAN: 3540741127

ISBN - alternative Schreibweisen:
3-540-74112-7, 978-3-540-74112-1
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: bradley, zohar, manna
Titel des Buches: procedures, verification, calculus, bradley, aaron, 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-03
Berlin; Heidelberg; DE
Sprache: Englisch
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.

Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:

Neuestes ähnliches Buch:
9783642093470 The Calculus of Computation: Decision Procedures with Applications to Verification (Bradley, Aaron R.; Manna, Zohar)


< zum Archiv...