Using Event-B for Critical Device Software Systems
Autor:
Keith Glover
Dostupnost:
Skladem u dodavatele
Odesíláme za 9-15 dnů
1 003
Kč
Using Event-B for Critical Device Software Systems serves as a valuable resource for researchers and...
