- 5 resultados
menor preço: € 33,75, preço mais alto: € 128,04, preço médio: € 76,51
1
Die Berechnung der Berechnung - 9783540741121 - Zohar Manna, Aaron R. Bradley
Encomendar
no/na ebay.de
€ 55,29
Envio: € 12,841
Encomendar
Detalhes fornecedor
Link patrocinado
Zohar Manna, Aaron R. Bradley:

Die Berechnung der Berechnung - 9783540741121 - encadernado, livro de bolso

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

99.4, Zahlungsarten: Paypal, APPLE_PAY, Visa, Mastercard, American Express, Priority Listing. Custos de envio: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
fechar(X)
2
The Calculus of Computation : Decision Procedures with Applications to Verification by Aaron R., Manna, Zohar Bradley - Aaron R., Manna, Zohar Bradley
Encomendar
no/na BetterWorldBooks.com
€ 33,75
Encomendar
Detalhes e envio
Link patrocinado

Aaron R., Manna, Zohar Bradley:

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

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

used in stock. Custos de envio:plus verzendkosten., mais custos de envio
fechar(X)
3
Encomendar
no/na Biblio.co.uk
$ 75,19
(aproximadamente € 69,70)
Envio: € 9,271
Encomendar
Detalhes fornecedor
Link patrocinado
Bradley, Aaron R., Manna, Zohar:
The Calculus of Computation : Decision Procedures with Applications to Verification - livro usado

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

Custos de envio: EUR 9.27 Better World Books
fechar(X)
4
The Calculus of Computation: Decision Procedures with Applications to Verification - Bradley, Aaron R.; Manna, Zohar
Encomendar
no/na AbeBooks.de
€ 95,75
Envio: € 19,931
Encomendar
Detalhes fornecedor
Link patrocinado
Bradley, Aaron R.; Manna, Zohar:
The Calculus of Computation: Decision Procedures with Applications to Verification - encadernado, livro de bolso

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. Custos de envio: EUR 19.93 Book Deals, Tucson, AZ, U.S.A. [85272957] [Rating: 5 (von 5)]
fechar(X)
5
Encomendar
no/na AbeBooks.de
€ 128,04
Envio: € 30,931
Encomendar
Detalhes fornecedor
Link patrocinado
Bradley, Aaron R.; Manna, Zohar:
The Calculus of Computation: Decision Procedures with Applications to Verification - encadernado, livro de bolso

2007, ISBN: 3540741127

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

NEW BOOK. Custos de envio: EUR 30.93 Byrd Books, Austin, TX, U.S.A. [83414208] [Rating: 5 (von 5)]
fechar(X)
1Como algumas plataformas não transmitem condições de envio e estas podem depender do país de entrega, do preço de compra, do peso e tamanho do artigo, de uma possível adesão à plataforma, de uma entrega directa pela plataforma ou através de um terceiro fornecedor (Marketplace), etc., é possível que os custos de envio indicados pelo eurolivro não correspondam aos da plataforma ofertante.

Dados bibliográficos do melhor livro correspondente

Pormenores referentes ao livro
The Calculus of Computation: Decision Procedures with Applications to Verification
Autor:
Título:
Número 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.

Dados detalhados do livro - The Calculus of Computation: Decision Procedures with Applications to Verification


EAN (ISBN-13): 9783540741121
ISBN (ISBN-10): 3540741127
Livro de capa dura
Livro de bolso
Ano de publicação: 2007
Editor/Editora: Springer
366 Páginas
Peso: 0,690 kg
Língua: eng/Englisch

Livro na base de dados desde 2007-10-18T17:04:36+01:00 (Lisbon)
Página de detalhes modificada pela última vez em 2024-02-24T04:14:37+00:00 (Lisbon)
Número ISBN/EAN: 3540741127

Número ISBN - Ortografia alternativa:
3-540-74112-7, 978-3-540-74112-1
Ortografia alternativa e termos de pesquisa relacionados:
Autor do livro: bradley, zohar, manna
Título do livro: procedures, verification, calculus, bradley, aaron, computation

Dados da editora

Autor: Aaron R. Bradley
Título: The Calculus of Computation - Decision Procedures with Applications to Verification
Editora: Springer; Springer Berlin
366 Páginas
Ano de publicação: 2007-09-03
Berlin; Heidelberg; DE
Língua: Inglês
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.

Outros livros adicionais, que poderiam ser muito similares com este livro:

Último livro semelhante:
9783642093470 The Calculus of Computation: Decision Procedures with Applications to Verification (Bradley, Aaron R.; Manna, Zohar)

< Para arquivar...