Using Event-B for Critical Device Software Systems - bib.howest.be

Using Event-B for Critical Device Software Systems

Type:: e-book
Titel:: Using Event-B for Critical Device Software Systems
Auteur:: Singh, Neeraj Kumar; Singh
Taal:: Engels
Uitgever:: Springer London 2013
ISBN:: 1-4471-5259-X
1-4471-5790-7
1-4471-5260-3
Permalink:: http://bibtest.howest.be/catalog/ebk03:2670000000387786