- 5 Risultati
prezzo più basso: € 35,69, prezzo più alto: € 53,49, prezzo medio: € 46,37
1
The Calculus of Computation - Aaron R. Bradley/ Zohar Manna
Ordina
da Hugendubel.de
€ 53,49
Spedizione: € 0,001
Ordina
Dettagli del offerente
Link sponsorizzato
Aaron R. Bradley/ Zohar Manna:

The Calculus of Computation - nuovo libro

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

Costi di spedizione:In stock (Download), , Versandkostenfrei nach Hause oder Express-Lieferung in Ihre Buchhandlung., DE. (EUR 0.00)
Chiudere (X)
2
The Calculus of Computation - Aaron R. Bradley/ Zohar Manna
Ordina
da Hugendubel.de
€ 53,49
Spedizione: € 0,001
Ordina
Dettagli del offerente
Link sponsorizzato

Aaron R. Bradley/ Zohar Manna:

The Calculus of Computation - nuovo libro

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

Costi di spedizione:In stock (Download), , Versandkostenfrei nach Hause oder Express-Lieferung in Ihre Buchhandlung., DE. (EUR 0.00)
Chiudere (X)
3
The Calculus of Computation - Aaron R. Bradley/ Zohar Manna
Ordina
da eBook.de
€ 53,49
Spedizione: € 0,001
Ordina
Dettagli del offerente
Link sponsorizzato
Aaron R. Bradley/ Zohar Manna:
The Calculus of Computation - nuovo libro

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

Costi di spedizione:in stock, , , DE. (EUR 0.00)
Chiudere (X)
4
The Calculus of Computation - Aaron R. Bradley; Zohar Manna
Ordina
da lehmanns.de
€ 35,69
Spedizione: € 0,001
Ordina
Dettagli del offerente
Link sponsorizzato
Aaron R. Bradley; Zohar Manna:
The Calculus of Computation - Prima edizione

2007, ISBN: 9783540741138

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

Costi di spedizione:Download sofort lieferbar. (EUR 0.00)
Chiudere (X)
5
The Calculus of Computation - Aaron R. Bradley; Zohar Manna
Ordina
da lehmanns.de
€ 35,69
Spedizione: € 0,001
Ordina
Dettagli del offerente
Link sponsorizzato
Aaron R. Bradley; Zohar Manna:
The Calculus of Computation - Prima edizione

2007, ISBN: 9783540741138

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

Costi di spedizione:Download sofort lieferbar. (EUR 0.00)
Chiudere (X)
1Poiché alcune piattaforme non trasmettono le condizioni di spedizione e queste possono dipendere dal paese di consegna, dal prezzo di acquisto, dal peso e dalle dimensioni dell'articolo, dall'eventuale iscrizione alla piattaforma, dalla consegna diretta da parte della piattaforma o tramite un fornitore terzo (Marketplace), ecc. è possibile che le spese di spedizione indicate da eurolibro non corrispondano a quelle della piattaforma offerente.

Dati bibliografici del miglior libro corrispondente

Dettagli del libro
The Calculus of Computation
Autore:
Titolo:
ISBN:

9783540741138

Informazioni dettagliate del libro - The Calculus of Computation


EAN (ISBN-13): 9783540741138
Anno di pubblicazione: 2007
Editore: Springer-Verlag
366 Pagine
Lingua: eng/Englisch

Libro nella banca dati dal 2010-02-17T18:16:03+01:00 (Zurich)
Pagina di dettaglio ultima modifica in 2023-12-15T22:02:17+01:00 (Zurich)
ISBN/EAN: 9783540741138

ISBN - Stili di scrittura alternativi:
978-3-540-74113-8
Stili di scrittura alternativi e concetti di ricerca simili:
Autore del libro : zohar, bradley, lang, manna
Titolo del libro: calculus, computation

Dati dell'editore

Autore: Aaron R. Bradley
Titolo: The Calculus of Computation - Decision Procedures with Applications to Verification
Editore: Springer; Springer Berlin
366 Pagine
Anno di pubblicazione: 2007-09-18
Berlin; Heidelberg; DE
Lingua: Inglese
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.
< Per archiviare...