Using Event-B for Critical Device Software Systems

Dettagli Bibliografici
Autore principale: Singh
Natura: Elettronico eBook
Lingua:English
Pubblicazione: Springer London, 2013
Edizione:1
Soggetti:
Accesso online:Full text available on Springer
Off-campus access

Documenti analoghi