Industrial Applications of Formal Methods to Model, Design and Analyze Computer Systems
Год выпуска: 2010 Автор: Dan Craigen Издательство: Страниц: 318 ISBN: 9780815513629 Описание Industrial Applications of Formal Methods to Model, Design and Analyze Computer Systems |
Похожие книги - Bjarne S. Jensen. The Dynamic Systems of Basic Economic Growth Models (Mathematics and Its Applications, Vol 302). – М.: , 0. – 0 с.
- Dorothy J. Solinger, David A. Smith, Steven Topik, University of California Institute on Global Conflict and Cooperation. States and Sovereignty in the Global Economy. – М.: , 0. – 0 с.
- National Research Council and Institute of Medicine, Committee on the Health and Safety Implications of Child Labor. Protecting Youth at Work: Health, Safety, and Development of Working Children and Adolescents in the United States. – М.: , 0. – 0 с.
- Renate Buber, Johannes Gadner, Lyn Richards. Applying Qualitative Methods to Marketing Management Research. – М.: , 0. – 0 с.
- Tze Leung Lai, Haipeng Xing. Statistical Models and Methods for Financial Markets (Springer Texts in Statistics). – М.: , 2008. – 354 с.
- Committee on Assessment of Resource Needs for Fuel Cell and Hydrogen Technologies, National Research. Transitions to Alternative Transportation Technologies--Plug-in Hybrid Electric Vehicles. – М.: , 2010. – 70 с.
- Editor Jorg Mussig. Industrial Applications of Natural Fibres: Structure, Properties and Technical Applications. – М.: John Wiley and Sons, Ltd, 2010. – 566 с.
- D R Moore. Application of Fracture Mechanics to Polymers, Adhesives and Composites,33. – М.: , 2010. – 298 с.
- Dan Craigen. Industrial Applications of Formal Methods to Model, Design and Analyze Computer Systems. – М.: , 2010. – 318 с.
- Nth Degree Design and Visual FX, Inc. After Effects For Digital Editors Only. – М.: , 2009. – 400 с.
- Vasily E. Tarasov. Fractional Dynamics: Applications of Fractional Calculus to Dynamics of Particles, Fields and Media. – М.: Springer, 2011. – 450 с.
- Kenneth Ken-Worgu. A Simple Way To Improve Design And Measure Gas Pipeline Networks. – М.: LAP Lambert Academic Publishing, 2012. – 236 с.
- M. Shanmuga Priya and M. Lakshmi Prabha. Industrial Applications Of White Rot Fungi. – М.: LAP Lambert Academic Publishing, 2013. – 268 с.
- Folorunsho Joseph Olaniyi,Mua'zu Bashir and Iguisi Edwin. Application of Anfis & Ann Models in Forecastin River Kaduna Discharge. – М.: LAP Lambert Academic Publishing, 2012. – 156 с.
- Dr. Muhammad Suleman Tahir. Application of Corona Discharge in Off-gas and Wastewater Treatment. – М.: LAP Lambert Academic Publishing, 2011. – 176 с.
- CHARALAMPOS CHRYSOMALLIDIS. The Application of the Knowledge-Based Model of Growth in Greece. – М.: LAP Lambert Academic Publishing, 2010. – 76 с.
- Supakorn Kungpisdan. Securing Mobile Payments: Modelling, Design, and Analysis. – М.: LAP Lambert Academic Publishing, 2010. – 336 с.
Образцы работ
Задайте свой вопрос по вашей теме
|
|
Контакты
|
|
Поделиться
|
|
Мы в социальных сетях
|
|
Реклама
|
|
Отзывы
|
Ольга | Здравствуйте сегодня была защита диссертации. Защитила на отлично. Большое спасибо за своевременную качественно проделанную работу. | |
|