Computer Aided Verification

15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003, Proceedings

AvFabio Somenzi,Warren A. Hunt, Jr.

E-bok

PDF, Engelska, 2011

734 kr

Läs direkt i Bokus Reader – eller ladda ned till din enhet (PDF kräver ofta zoom och scroll på små skärmar).

Produktinformation

Utgivningsdatum:2011-05-02
Språk:Engelska
Filformat:PDF
Kopieringsskydd:LCP
ISBN:9783540450696
Förlag:Springer Berlin Heidelberg

Utforska kategorier

Programvaruutveckling inom Data och IT
Systemvetenskap och AI inom Data och IT

Du kanske också är intresserad av

Computer Aided Verification

Warren A. Hunt, Jr., Fabio Somenzi

Häftad, 2003

560 kr

Abstraction Refinement for Large Scale Model Checking

Fabio Somenzi, Gary D. Hachtel, Chao Wang

E-bok

2006

1 416 kr

Abstraction Refinement for Large Scale Model Checking

Chao Wang, Gary D. Hachtel, Fabio Somenzi

Häftad, 2014

1 211 kr

Abstraction Refinement for Large Scale Model Checking

Chao Wang, Gary D. Hachtel, Fabio Somenzi

Inbunden, 2006

1 081 kr

Logic Synthesis and Verification Algorithms

Fabio Somenzi, Gary D. Hachtel

E-bok

2005

1 176 kr

Logic Synthesis and Verification Algorithms

Gary D. Hachtel, Fabio Somenzi

Inbunden, 1996

973 kr

Logic Synthesis and Verification Algorithms

Gary D. Hachtel, Fabio Somenzi

Häftad, 2013

920 kr

Signerad!

SIGNERAD - Jag är Carola

Carola Häggkvist

Inbunden, 2026

269 kr

Nyhet

Torka aldrig tårar utan handskar

Jonas Gardell

Inbunden, 2026

285 kr

Mats Ahlstedt, Veronica Ahlstedt McCleave - Visselblåsaren, Pocket

-51%

Del 1

Visselblåsaren

Mats Ahlstedt, Veronica Ahlstedt McCleave

Pocket, 2025

(2)

49 kr99 kr