Formal Modeling and Analysis of Timed Systems

Formal Modeling and Analysis of Timed Systems

Formal Modeling and Analysis of Timed Systems
2013288 psl.ISBN 9783642402289
Viršelis: MinkštasAnglų k.
Negrožinė literatūraLiteratūra užsienio kalbomisKompiuterija ir informacinės technologijos
Pradinis
Krepšelis
Pokalbiai
Pranešimai
Paskyra