Industrial Applications of Formal Methods to Model, Design and Analyze Computer Systems
 |
|
Описание:
Industrial Applications of Formal Methods to Model, Design and Analyze Computer SystemsПохожие книги
 | Transactions on Large-Scale Data- and Knowledge-Centered Systems I (Lecture Notes in Computer Science / Transactions on Large-Scale Data- and Knowledge-Centered Systems) Автор: Abdelkader Hameurlain, Josef Küng, Roland R. Wagner Год: 2009 |
 | Elements of Computational Systems Biology (Wiley Series in Bioinformatics) Автор: Huma M. Lodhi, Stephen H. Muggleton Год: 2010 |
 | Delay compensation for nonlinear, adaptive, and PDE systems Автор: Krstic M. Год: 2009 |
| Advances in Control, Communication Networks, and Transportation Systems Автор: Eyad H. Abed (Ed.) Год: 2005 |
 | Delay Compensation for Nonlinear, Adaptive, and PDE Systems (Systems & Control: Foundations & Applications) Автор: Miroslav Krstic Год: 2009 |