Computer Aided Verification: 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings - cover

LIBRO INGLESE

Computer Aided Verification: 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings

Thomas Ball (Curatore) ,

Robert B. Jones (Curatore)

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2006

Recensioni: 0/5

135,00 € +1350 punti Effe

Venditore: Feltrinelli

Articolo acquistabile con Carta del Docente

Articolo acquistabile con Carta Cultura Giovani e Carta del Merito

Articolo acquistabile con Carta della Cultura

Paga con Klarna in 3 rate senza interessi per ordini superiori a 39 €

Dati e Statistiche

Salvato in 0 liste dei desideri

Computer Aided Verification: 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings

Disponibilità in 2 settimane

135,00 €

Disponibilità in 2 settimane

Descrizione

This book constitutes the refereed proceedings of the 18th International Conference on Computer Aided Verification, CAV 2006, held as part of the 4th Federated Logic Conference, FLoC 2006. Presents 35 revised full papers together with 10 tool papers and 4 invited papers adressing all current issues in computer aided verification and model checking - from foundational and methodological issues ranging to the evaluation of major tools and systems

Dettagli

Curatore:

Thomas Ball, Robert B. Jones
Editore:

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Collana:

Theoretical Computer Science and General Issues
Anno:

2006
Rilegatura:

Paperback / softback

Pagine:

564 p.

Testo in English

Dimensioni:

235 x 155 mm

EAN:

9783540374060

Informazioni e Contatti sulla Sicurezza dei Prodotti

Le schede prodotto sono aggiornate in conformità al Regolamento UE 988/2023. Laddove ci fossero taluni dati non disponibili per ragioni indipendenti da Feltrinelli, vi informiamo che stiamo compiendo ogni ragionevole sforzo per inserirli. Vi invitiamo a controllare periodicamente il sito www.lafeltrinelli.it per eventuali novità e aggiornamenti.
Per le vendite di prodotti da terze parti, ciascun venditore si assume la piena e diretta responsabilità per la commercializzazione del prodotto e per la sua conformità al Regolamento UE 988/2023, nonché alle normative nazionali ed europee vigenti.

Per informazioni sulla sicurezza dei prodotti, contattare productsafety@feltrinelli.it