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…
ebay.de books--etc 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) Details... |
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…
BetterWorldBooks.com used in stock. Frais d'envoiplus verzendkosten., Livraison non-comprise Details... |
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
Biblio.co.uk |
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
AbeBooks.de Book Deals, Tucson, AZ, U.S.A. [85272957] [Rating: 5 (von 5)] NOT NEW BOOK. Frais d'envoi EUR 19.93 Details... |
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
AbeBooks.de Byrd Books, Austin, TX, U.S.A. [83414208] [Rating: 5 (von 5)] NEW BOOK. Frais d'envoi EUR 30.93 Details... |
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…
Aaron R., Manna, Zohar Bradley:
The Calculus of Computation : Decision Procedures with Applications to Verification by Aaron R., Manna, Zohar Bradley - livre d'occasionISBN: 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…
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
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
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
Données bibliographiques du meilleur livre correspondant
Auteur: | |
Titre: | |
ISBN: |
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
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...