Formal Methods for Industrial Applications
Specifying and Programming the Steam Boiler Control
Dostupnost:
Skladem u dodavatele
Odesíláme za 5-8 dnů
2 286
Kč
This book, with the CD-ROM included, is the documentation of a unique collaborative effort in evalua...
