Formal Methods for Executable Software Models

Formal Methods for Executable Software Models

Formal Methods for Executable Software Models
2014352 psl.ISBN 9783319073163
Viršelis: MinkštasAnglų k.
Negrožinė literatūraLiteratūra užsienio kalbomisKompiuterija ir informacinės technologijos
Pradinis
Krepšelis
Pokalbiai
Pranešimai
Paskyra