- 5 Risultati
prezzo più basso: € 52,47, prezzo più alto: € 58,10, prezzo medio: € 55,02
1
Verification, Model Checking, and Abstract Interpretation : 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, Proceedings - Kedar S. Namjoshi
Ordina
da AbeBooks.de
€ 58,10
Spedizione: € 0,001
Ordina
Dettagli del offerente
Link sponsorizzato
Kedar S. Namjoshi:

Verification, Model Checking, and Abstract Interpretation : 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, Proceedings - edizione con copertina flessibile

2005, ISBN: 3540311394

[EAN: 9783540311393], Neubuch, [PU: Springer Berlin Heidelberg], EDV / THEORIE SOFTWARE-ENTW. QUALITÄTSSICHERUNG, QUALITÄT; FACTOR; REFACTORING; ABSTRACTION; ALGORITHMS; COMPLEXITY; DESIG… Altro …

NEW BOOK. Costi di spedizione:Versandkostenfrei. (EUR 0.00) AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)]
Chiudere (X)
2
Verification, Model Checking, and Abstract Interpretation: 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, ... (Lecture Notes in Computer Science, 3855)
Ordina
da amazon.co.uk
£ 47,58
(indicativi € 55,49)
Spedizione: € 5,601
Ordina
Dettagli del offerente
Link sponsorizzato
Verification, Model Checking, and Abstract Interpretation: 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, ... (Lecture Notes in Computer Science, 3855) - edizione con copertina flessibile

2005, ISBN: 9783540311393

Editor: Emerson, E. Allen, Editor: Namjoshi, Kedar S. Springer, Paperback, Auflage: 2006, 454 Seiten, Publiziert: 2005-12-19T00:00:01Z, Produktgruppe: Book, Hersteller-Nr.: biography, 0.6… Altro …

Gebraucht, wie neu. Costi di spedizione:Usually dispatched within 12 to 13 days. Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 5.60) swestbooks
Chiudere (X)
3
Verification, Model Checking, and Abstract Interpretation: 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, ... (Lecture Notes in Computer Science, 3855)
Ordina
da amazon.co.uk
£ 44,99
(indicativi € 52,47)
Spedizione: € 4,071
Ordina
Dettagli del offerente
Link sponsorizzato
Verification, Model Checking, and Abstract Interpretation: 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, ... (Lecture Notes in Computer Science, 3855) - edizione con copertina flessibile

2005

ISBN: 9783540311393

Editor: Emerson, E. Allen, Editor: Namjoshi, Kedar S. Springer, Paperback, Auflage: 2006, 454 Seiten, Publiziert: 2005-12-19T00:00:01Z, Produktgruppe: Book, Hersteller-Nr.: biography, 0.6… Altro …

Costi di spedizione:In stock, Lieferung von Amazon. (EUR 4.07) Amazon.co.uk
Chiudere (X)
4
Verification, Model Checking, and Abstract Interpretation: 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, Proceedings (Lecture Notes in Computer Science (3855)) by Emerson, E. Allen, Namjoshi, Kedar S. [Paperback ] - Emerson, E. Allen
Ordina
da AbeBooks.de
€ 52,55
Spedizione: € 8,221
Ordina
Dettagli del offerente
Link sponsorizzato
Emerson, E. Allen", "Namjoshi, Kedar S.":
Verification, Model Checking, and Abstract Interpretation: 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, Proceedings (Lecture Notes in Computer Science (3855)) by Emerson, E. Allen, Namjoshi, Kedar S. [Paperback ] - edizione con copertina flessibile

2005, ISBN: 3540311394

[EAN: 9783540311393], Neubuch, [PU: Springer], Books

NEW BOOK. Costi di spedizione: EUR 8.22 booksXpress, Bayonne, NJ, U.S.A. [71410708] [Rating: 4 (von 5)]
Chiudere (X)
5
Verification, Model Checking, and Abstract Interpretation : 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, Proceedings - Emerson, E. Allen
Ordina
da Blackwells.co.uk
£ 48,31
(indicativi € 56,50)
Spedizione: € 7,601
Ordina
Dettagli del offerente
Link sponsorizzato
Emerson, E. Allen:
Verification, Model Checking, and Abstract Interpretation : 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, Proceedings - edizione con copertina flessibile

2006, ISBN: 9783540311393

paperback, [PU: Springer, Berlin/Heidelberg]

in stock. Costi di spedizione:Unknown. (EUR 7.60) Blackwells.co.uk
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
Verification, Model Checking, and Abstract Interpretation: 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, ... (Lecture Notes in Computer Science, 3855)
Autore:
Titolo:
ISBN:

3540311394


The 27 revised full papers presented here, together with one invited paper were carefully reviewed and selected from 58 submissions. The papers feature current research from the communities of verification, model checking, and abstract interpretation, facilitating interaction, cross-fertilization, and advancement of hybrid methods.

Informazioni dettagliate del libro - Verification, Model Checking, and Abstract Interpretation: 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, ... (Lecture Notes in Computer Science, 3855)


EAN (ISBN-13): 9783540311393
ISBN (ISBN-10): 3540311394
Copertina flessibile
Anno di pubblicazione: 2005
Editore: Springer
460 Pagine
Peso: 0,690 kg
Lingua: eng/Englisch

Libro nella banca dati dal 2007-03-21T20:08:17+01:00 (Zurich)
Pagina di dettaglio ultima modifica in 2024-03-08T20:00:06+01:00 (Zurich)
ISBN/EAN: 3540311394

ISBN - Stili di scrittura alternativi:
3-540-31139-4, 978-3-540-31139-3
Stili di scrittura alternativi e concetti di ricerca simili:
Autore del libro : emerson, kedar, allen, charleston
Titolo del libro: theoretical computer science, 2006, verification model checking abstract interpretation, charleston conference proceedings, international model, model interpretations, usa and away, say this the usa, 7th international

Dati dell'editore

Autore: E. Allen Emerson; Kedar S. Namjoshi
Titolo: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues; Verification, Model Checking, and Abstract Interpretation - 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, Proceedings
Editore: Springer; Springer Berlin
443 Pagine
Anno di pubblicazione: 2005-12-19
Berlin; Heidelberg; DE
Lingua: Inglese
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
Available
XI, 443 p.

BC; Hardcover, Softcover / Informatik, EDV/Informatik; Software Engineering; Verstehen; Factor; Refactoring; abstraction; algorithms; complexity; design; model checking; program analysis; program invariants; program semantics; program verification; programming; programming calculi; structured analysis; verification; Software Engineering; Computer Science Logic and Foundations of Programming; Compilers and Interpreters; Theoretische Informatik; Compiler und Übersetzer; EA

Closure Operators for ROBDDs.- A CLP Method for Compositional and Intermittent Predicate Abstraction.- Combining Shape Analyses by Intersecting Abstractions.- A Complete Abstract Interpretation Framework for Coverability Properties of WSTS.- Complexity Results on Branching-Time Pushdown Model Checking.- A Compositional Logic for Control Flow.- Detecting Non-cyclicity by Abstract Compilation into Boolean Functions.- Efficient Strongly Relational Polyhedral Analysis.- Environment Abstraction for Parameterized Verification.- Error Control for Probabilistic Model Checking.- Field Constraint Analysis.- A Framework for Certified Program Analysis and Its Applications to Mobile-Code Safety.- Improved Algorithm Complexities for Linear Temporal Logic Model Checking of Pushdown Systems.- A Logic and Decision Procedure for Predicate Abstraction of Heap-Manipulating Programs.- Monitoring Off-the-Shelf Components.- Parallel External Directed Model Checking with Linear I/O.- Piecewise FIFO Channels Are Analyzable.- Ranking Abstraction of Recursive Programs.- Relative Safety.- Resource Usage Analysis for the ?-Calculus.- Semantic Hierarchy Refactoring by Abstract Interpretation.- Strong Preservation of Temporal Fixpoint-Based Operators by Abstract Interpretation.- Symbolic Methods to Enhance the Precision of Numerical Abstract Domains.- Synthesis of Reactive(1) Designs.- Systematic Construction of Abstractions for Model-Checking.- Totally Clairvoyant Scheduling with Relative Timing Constraints.- Verification of Well-Formed Communicating Recursive State Machines.- What’s Decidable About Arrays?.
< Per archiviare...