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 470 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

Alain Finkel, Matthias Jantzen - STACS 92, Häftad

STACS 92

Alain Finkel, Matthias Jantzen

Häftad, 1992

1 139 kr

Patrice Enjalbert, Alain Finkel, Klaus W. Wagner - STACS 93, Häftad

STACS 93

Patrice Enjalbert, Alain Finkel, Klaus W. Wagner

Häftad, 1993

1 139 kr

Gerard Berry, Stephen A. Edwards, Dumitru Potop-Butucaru - Compiling Esterel, E-bok

Compiling Esterel

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

E-bok
2007

2 065 kr

Dumitru Potop-Butucaru, Stephen A. Edwards, Gerard Berry - Compiling Esterel, Häftad

Compiling Esterel

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

Häftad, 2010

1 656 kr

Dumitru Potop-Butucaru, Stephen A. Edwards, Gerard Berry - Compiling Esterel, Inbunden

Compiling Esterel

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

Inbunden, 2007

1 705 kr