Using Event-B for Critical Device Software Systems
Szerző:
Neeraj Kumar Singh
Elérhetőség:
Beszállítói készleten
Küldés 10-13 napon belül
38 334
Ft
This book presents an innovative development approach for critical systems and prototype implementat...
