This book constitutes the refereed proceedings of the 19th International Conference on Computer Aided Verification. Thirty-three state-of-the-technology papers are presented, together with fourteen tool papers, three invited papers, and four invited tutorials. All the current issues in computer aided verification and model checking—from foundational and methodological issues to the evaluation of major tools and systems—are addressed.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
Spese di spedizione:
EUR 3,69
In U.S.A.
Descrizione libro Condizione: New. pp. 584. Codice articolo 26301368
Descrizione libro Condizione: New. pp. 584 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam. Codice articolo 7546599
Descrizione libro Condizione: New. Ship within 24hrs. Satisfaction 100% guaranteed. I Ships from multiple Locations I "Special Note" We do not Provide Service On APO & PO BOX Box addresses. Delivery with In 7-14 working Day Only. This Books ship from the United Kingdom & USA other locations in India depending on your location and availability. Codice articolo CBSd 9788187421177
Descrizione libro Condizione: New. Ship within 24hrs. Satisfaction 100% guaranteed. I Ships from multiple Locations I "Special Note" We do not Provide Service On APO & PO BOX Box addresses. Delivery with In 7-14 working Day Only. This Books ship from the United Kingdom & USA other locations in India depending on your location and availability. Codice articolo CBSS 9788187421177
Descrizione libro Soft Cover. Condizione: new. Codice articolo 9783540733676
Descrizione libro Condizione: New. Codice articolo ABLIING23Mar3113020175889
Descrizione libro Condizione: New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book. Codice articolo ria9783540733676_lsuk
Descrizione libro Condizione: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Codice articolo ABEOCT23-193048
Descrizione libro Condizione: New. Brand New Original US Edition.We Ship to PO BOX Address also. EXPEDITED shipping option also available for faster delivery.This item may ship from the US or other locations in India depending on your location and availability. Codice articolo ABTR-218086
Descrizione libro Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 19th International Conference on Computer Aided Verification. Thirty-three state-of-the-technology papers are presented, together with fourteen tool papers, three invited papers, and four invited tutorials. All the current issues in computer aided verification and model checking-from foundational and methodological issues to the evaluation of major tools and systems-are addressed. 584 pp. Englisch. Codice articolo 9783540733676