Ebook > Science > Informatique > Logiciel d'application > Jaco van der Pol & Michael Weber: Model Checking Software (PDF)

Jaco van der Pol & Michael Weber
Model Checking Software
17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010, Proceedings

Support

Adobe DRM

Couverture du Jaco van der Pol & Michael Weber: Model Checking Software (PDF)

€56.36

Langue Anglais ● Format PDF ● ISBN 9783642161643 ● Éditeur Jaco van der Pol & Michael Weber ● Maison d’édition Springer Berlin Heidelberg ● Publié 2010 ● Téléchargeable 3 fois ● Devise EUR ● ID 6377802 ● Protection contre la copie Adobe DRM

Nécessite un lecteur de livre électronique compatible DRM

Plus d’ebooks du même auteur(s) / Éditeur

Jaco van der Pol Michael Weber

16 153 Ebooks dans cette catégorie

Couverture du Sathiadev Mahesh & Cherie C. Trumbach: Agile Scrum Implementation and Its Long-Term Impact on Organizations

Sathiadev Mahesh & Cherie C. Trumbach: Agile Scrum Implementation and Its Long-Term Impact on Organizations

Software engineering has surfaced as an industrial field that is continually evolving due to the emergence of advancing technologies and innovative methodologies. Scrum is the most recent revolution …

Couverture du Mehdi Khosrow-Pour: Systems and Software Development, Modeling, and Analysis: New Perspectives and Methodologies

Mehdi Khosrow-Pour: Systems and Software Development, Modeling, and Analysis: New Perspectives and Methodologies

Couverture du Information Resources Management Association: Big Data: Concepts, Methodologies, Tools, and Applications

Information Resources Management Association: Big Data: Concepts, Methodologies, Tools, and Applications

Couverture du Siva Dorairaj & Imran Ghani: Emerging Innovations in Agile Software Development

Siva Dorairaj & Imran Ghani: Emerging Innovations in Agile Software Development

Couverture du Masha Etkind & Uri Shafrir: Concept Parsing Algorithms (CPA) for Textual Analysis and Discovery: Emerging Research and Opportunities

Masha Etkind & Uri Shafrir: Concept Parsing Algorithms (CPA) for Textual Analysis and Discovery: Emerging Research and Opportunities

Couverture du Chih-Min Lin & Zhixiong Zhong: Large-Scale Fuzzy Interconnected Control Systems Design and Analysis

Chih-Min Lin & Zhixiong Zhong: Large-Scale Fuzzy Interconnected Control Systems Design and Analysis

Couverture du M. Narasimha Murty & Hari Seetha: Modern Technologies for Big Data Classification and Clustering

M. Narasimha Murty & Hari Seetha: Modern Technologies for Big Data Classification and Clustering

Couverture du Ekbal Rashid: Enhancing Software Fault Prediction With Machine Learning: Emerging Research and Opportunities

Ekbal Rashid: Enhancing Software Fault Prediction With Machine Learning: Emerging Research and Opportunities

Couverture du Information Resources Management Association: Web Services: Concepts, Methodologies, Tools, and Applications

Information Resources Management Association: Web Services: Concepts, Methodologies, Tools, and Applications

Couverture du Sini Raj Pulari & Shriram K Vasudevan: Deep Learning

Sini Raj Pulari & Shriram K Vasudevan: Deep Learning

Deep Learning: A Comprehensive Guide provides comprehensive coverage of Deep Learning (DL) and Machine Learning (ML) concepts. DL and ML are the most sought-after domains, requiring a deep understand …

Page suivante >>>