Modeling and Verification of Parallel Processes
4th Summer School, MOVEP 2000, Nantes, France, June 19-23, 2000 Revised Tutorial Lectures
Dostupnost:
Skladem u dodavatele
Odesíláme za 5-8 dnů
986
Kč
Daily life relies more and more on safety critical systems, e.g. in areas such as power plant contro...
