- 5 resultados
menor preço: € 35.69, preço mais alto: € 53.49, preço médio: € 46.37
1
The Calculus of Computation - Aaron R. Bradley/ Zohar Manna
Encomendar
no/na Hugendubel.de
€ 53.49
Envio: € 0.001
Encomendar
Detalhes fornecedor
Link patrocinado
Aaron R. Bradley/ Zohar Manna:

The Calculus of Computation - nuovo livro

ISBN: 9783540741138

*The Calculus of Computation* - Decision Procedures with Applications to Verification / pdf eBook für 53.49 € / Aus dem Bereich: eBooks, Fachthemen & Wissenschaft, Mathematik Medien > Büc… mais…

Custos de envio:In stock (Download), , Versandkostenfrei nach Hause oder Express-Lieferung in Ihre Buchhandlung., DE. (EUR 0.00)
fechar(X)
2
The Calculus of Computation - Aaron R. Bradley/ Zohar Manna
Encomendar
no/na Hugendubel.de
€ 53.49
Envio: € 0.001
Encomendar
Detalhes fornecedor
Link patrocinado

Aaron R. Bradley/ Zohar Manna:

The Calculus of Computation - nuovo livro

ISBN: 9783540741138

The Calculus of Computation ab 53.49 € als pdf eBook: Decision Procedures with Applications to Verification. Aus dem Bereich: eBooks, Fachthemen & Wissenschaft, Mathematik, Medien > Büche… mais…

Custos de envio:In stock (Download), , Versandkostenfrei nach Hause oder Express-Lieferung in Ihre Buchhandlung., DE. (EUR 0.00)
fechar(X)
3
The Calculus of Computation - Aaron R. Bradley/ Zohar Manna
Encomendar
no/na eBook.de
€ 53.49
Envio: € 0.001
Encomendar
Detalhes fornecedor
Link patrocinado
Aaron R. Bradley/ Zohar Manna:
The Calculus of Computation - nuovo livro

ISBN: 9783540741138

The Calculus of Computation - Decision Procedures with Applications to Verification: ab 53.49 € eBooks > Fachthemen & Wissenschaft > Mathematik Springer-Verlag GmbH eBook als pdf, Springe… mais…

Custos de envio:in stock, , , DE. (EUR 0.00)
fechar(X)
4
The Calculus of Computation - Aaron R. Bradley; Zohar Manna
Encomendar
no/na lehmanns.de
€ 35.69
Envio: € 0.001
Encomendar
Detalhes fornecedor
Link patrocinado
Aaron R. Bradley; Zohar Manna:
The Calculus of Computation - primeira edição

2007, ISBN: 9783540741138

Decision Procedures with Applications to Verification, eBooks, eBook Download (PDF), Auflage, [PU: Springer-Verlag], Seiten: 366, [ED: 1], Springer-Verlag, 2007

Custos de envio:Download sofort lieferbar. (EUR 0.00)
fechar(X)
5
The Calculus of Computation - Aaron R. Bradley; Zohar Manna
Encomendar
no/na lehmanns.de
€ 35.69
Envio: € 0.001
Encomendar
Detalhes fornecedor
Link patrocinado
Aaron R. Bradley; Zohar Manna:
The Calculus of Computation - primeira edição

2007, ISBN: 9783540741138

Decision Procedures with Applications to Verification, eBooks, eBook Download (PDF), Auflage, [PU: Springer-Verlag], [ED: 1], Springer-Verlag, 2007

Custos de envio:Download sofort lieferbar. (EUR 0.00)
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 item, de uma possível adesão à plataforma, de uma entrega direta pela plataforma ou através de um fornecedor terceirizado (Marketplace), etc., é possível que os custos de envio indicados pela terralivro não correspondam aos da plataforma ofertante.

Dados bibliográficos do melhor livro correspondente

Pormenores referentes ao livro
The Calculus of Computation
Autor:
Título:
Número ISBN:

9783540741138

Dados detalhados do livro - The Calculus of Computation


EAN (ISBN-13): 9783540741138
Ano de publicação: 2007
Editor/Editora: Springer-Verlag
366 Páginas
Língua: eng/Englisch

Livro na base de dados desde 2010-02-17T15:16:03-02:00 (Sao Paulo)
Página de detalhes modificada pela última vez em 2023-12-15T18:02:17-03:00 (Sao Paulo)
Número ISBN/EAN: 9783540741138

Número ISBN - Ortografia alternativa:
978-3-540-74113-8
Ortografia alternativa e termos de pesquisa relacionados:
Autor do livro: zohar, bradley, lang, manna
Título do livro: calculus, 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-18
Berlin; Heidelberg; DE
Língua: Inglês
55,00 € (DE)

EA; E107; eBook; Nonbooks, PBS / Informatik, EDV/Informatik; Systemanalyse und -design; Verstehen; Algorithms; algorithm; artificial intelligence; computer; data structure; formal method; learning; logic; verification; algorithm analysis and problem complexity; A; Computer System Implementation; Artificial Intelligence; Theory of Computation; Computer Science Logic and Foundations of Programming; Algorithms; Formal Languages and Automata Theory; Computer Science; 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...