Formal Methods Fact File
Год выпуска: 1996 Автор: Andrew Harry Издательство: Страниц: 402 ISBN: 9780471958574 Описание Formal Methods Fact File |
Похожие книги - Web Services and Formal Methods: 8th International Workshop, WS-FM 2011, Clermont-Ferrand, France, September 1-2, 2011, Revised Selected Papers ... / Programming and Software Engineering). – М.: , 2012. – 152 с.
- Alka Swami. Agricultural Risk Management in Bikaner District of Rajasthan: Risk Mitigation Techniques for the Farmers of Desert Areas. – М.: , 2012. – 256 с.
- Ulrich van Suntum. The Invisible Hand : Economic Thought Yesterday and Today. – М.: , 2005. – 0 с.
- Relations and Kleene Algebra in Computer Science: 11th International Conference on Relational Methods in Computer Science, RelMiCS 2009, and 6th International ... Computer Science and General Issues). – М.: , 2010. – 367 с.
- James J. Kelly. Graduate Mathematical Physics. – М.: , 2006. – 482 с.
- Dan Craigen. Industrial Applications of Formal Methods to Model, Design and Analyze Computer Systems. – М.: , 2010. – 318 с.
- C. Neville Dean. Teaching and Learning Formal Methods. – М.: , 2010. – 285 с.
- Medvedev. The Formal Method in Literary Scholarship. – М.: , 1978. – 0 с.
- Bakhtin. The Formal Method in Literary Scholarship. – М.: , 1991. – 224 с.
- MM BAKHTIN. Bakhtin: The ?formal Method? In Literary Scholarsh Ip: A Crit Int To Sociol Poetics (pr Only). – М.: , 1985. – 224 с.
- Andrew Harry. Formal Methods Fact File. – М.: , 1996. – 402 с.
- Andrew Harry. Formal Methods Fact File. – М.: , 1996. – 402 с.
- Hazem El-Gendy. Formal Methods for Computer/Communications Protocols and Software. – М.: LAP Lambert Academic Publishing, 2012. – 172 с.
- Samer Nabil Mohamed. Design of Formal Methods Approach to Resolve Disputes. – М.: LAP Lambert Academic Publishing, 2014. – 148 с.
- Simon Kawuma and Robert Mugonza. Modeling in Event-B A Practical Approach for Systems Engineers. – М.: LAP Lambert Academic Publishing, 2015. – 96 с.
- Ayesha Manzer. Integration of Processes using Formal Methods. – М.: LAP Lambert Academic Publishing, 2010. – 152 с.
- Ali Dehghantanha. Formal Methods for Analyzing Privacy Policies. – М.: LAP Lambert Academic Publishing, 2011. – 300 с.
Образцы работ
Задайте свой вопрос по вашей теме
|
|
Контакты
|
|
Поделиться
|
|
Мы в социальных сетях
|
|
Реклама
|
|
Отзывы
|
Алексей | Диплом после вашего сопровождения сдал на 4, огромное Вам спасибо, Вы спасли мой мозг! | |
|