Formal Methods and Hybrid Real-Time Systems

Formal Methods and Hybrid Real-Time Systems

Formal Methods and Hybrid Real-Time Systems
2007ISBN 9783540752202
Viršelis: KietasAnglų k.
Negrožinė literatūraLiteratūra užsienio kalbomisKompiuterija ir informacinės technologijos
Pradinis
Krepšelis
Pokalbiai
Pranešimai
Paskyra