Using Event-B for Critical Device Software Systems
326
Pagini
2013
An
Hardcover
Copertă
Editura
Springer London Ltd
Copertă
Hardcover
Pagini
326
An publicare
2013
ISBN
9781447152590
Conectează-te pentru a lăsa o recenzie
🔥
🔥
🔥
🔥
🔥
Nicio recenzie încă
Fii primul care lasă o impresie.
Mai multe de Neeraj Kumar Singh
Vezi toate
Integrated Bioeletrochemical-Constructed Wetland System for Future Sustainable Wastewater Treatment
Artificial Intelligence and Machine Learning for Safety-Critical Systems
Industrial System Engineering for Drones
Green Technologies for Industrial Waste Remediation
A Guide to ISTQB(R) Foundation Certification, Paperback
