Using Event-B for Critical Device Software Systems

Using Event-B for Critical Device Software Systems

Neeraj Kumar Singh
Using Event-B for Critical Device Software Systems
2013ISBN 9781447152590
Viršelis: KietasAnglų k.
Negrožinė literatūraLiteratūra užsienio kalbomisKompiuterija ir informacinės technologijos
Pradinis
Krepšelis
Pokalbiai
Pranešimai
Paskyra