Using Event-B for Critical Device Software Systems electronic resource / by Neeraj Kumar Singh

Författare
Neeraj Kumar. author. Singh
Språk
Okänt
Förlag År Ort Om boken ISBN
uuuu-uuuu Utgivningsland okänt / Ej specificerat