Computer Aided Verification

13th International Conference, CAV 2001, Paris, France, July 18-22, 2001. Proceedings

AvAlain Finkel,Hubert Comon

E-bok
PDF, Engelska, 2003

1 408 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

Utforska kategorier

Hoppa över listan

Du kanske också är intresserad av

STACS 92

Alain Finkel, Matthias Jantzen

Häftad, 1992

1 114 kr

STACS 93

Patrice Enjalbert, Alain Finkel, Klaus W. Wagner

Häftad, 1993

1 114 kr

Compiling Esterel

Gerard Berry, Stephen A. Edwards, Dumitru Potop-Butucaru

E-bok
2007

1 977 kr

Compiling Esterel

Dumitru Potop-Butucaru, Stephen A. Edwards, Gerard Berry

Häftad, 2010

1 619 kr