Computer Aided Verification

16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, Proceedings

AvDoron A. Peled,Rajeev Alur

E-bok
PDF, Engelska, 2004

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

Rajeev Alur, Thomas A. Henzinger, Eduardo D. Sontag - Hybrid Systems III, Häftad

Hybrid Systems III

Rajeev Alur, Thomas A. Henzinger, Eduardo D. Sontag

Häftad, 1996

1 114 kr