Using Event-B for Critical Device Software Systems
Autor:
Neeraj Kumar Singh
Disponibilitate:
În depozitul extern
Expediem în 10-13 zile
551.23
lei
This book presents an innovative development approach for critical systems and prototype implementat...
