Ebook > Science > Informatique > Logiciel d'application > Francesco Logozzo & Doron A. Peled: Verification, Model Checking, and Abstract Interpretation (PDF)

Francesco Logozzo & Doron A. Peled
Verification, Model Checking, and Abstract Interpretation [PDF ebook]
9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008, Proceedings

Support

Couverture du Francesco Logozzo & Doron A. Peled: Verification, Model Checking, and Abstract Interpretation (PDF)

€57.54

Achetez cet ebook et obtenez-en 1 de plus GRATUITEMENT !

Langue Anglais ● Format PDF ● ISBN 9783540781639 ● Éditeur Francesco Logozzo & Doron A. Peled ● Maison d’édition Springer Berlin Heidelberg ● Publié 2008 ● Téléchargeable 6 fois ● Devise EUR ● ID 6377374 ● Protection contre la copie Adobe DRM

Nécessite un lecteur de livre électronique compatible DRM

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

Francesco Logozzo Doron A. Peled Leonore D. Zuck

16 549 Ebooks dans cette catégorie

Couverture du Darryl Bartlett: Swift Programming in easy steps

Darryl Bartlett: Swift Programming in easy steps

Swift is very easy to learn and it’s more readable than most programming languages. It allows you to build applications for i Phone, i Pad, Apple Watch, Apple TV and Mac. Swift Programming in easy …

Couverture du Richard Urwin: Artificial Intelligence for Developers in easy steps

Richard Urwin: Artificial Intelligence for Developers in easy steps

Artificial Intelligence for Developers in easy steps is for coders who want to enhance their skillset quickly and easily. Artificial Intelligence (AI) is here to stay, and this guide reveals how AI …

Couverture du Mamoun Alazab & Yassine Maleh: Blockchain for Cybersecurity and Privacy

Mamoun Alazab & Yassine Maleh: Blockchain for Cybersecurity and Privacy

Blockchain technology is defined as a decentralized system of distributed registers that are used to record data transactions on multiple computers. The reason this technology has gained popularity i …

Couverture du Arun Prakash Agrawal & Vishal (Sharda University, India) Jain: Computational Intelligence Applications for Software Engineering Problems

Arun Prakash Agrawal & Vishal (Sharda University, India) Jain: Computational Intelligence Applications for Software Engineering Problems

This new volume explores the computational intelligence techniques necessary to carry out different software engineering tasks. Software undergoes various stages before deployment, such as …

Couverture du Ashwin (Senior Technical Manager, HCL technologies, Bangalore, INDIA) Shriram & Nataraj (Global Operations Director, Technology Solutions Group, HCL Technologies Ltd, INDIA) Venkataramanan: Data Privacy

Ashwin (Senior Technical Manager, HCL technologies, Bangalore, INDIA) Shriram & Nataraj (Global Operations Director, Technology Solutions Group, HCL Technologies Ltd, INDIA) Venkataramanan: Data Privacy

The book covers data privacy in depth with respect to data mining, test data management, synthetic data generation etc. It formalizes principles of data privacy that are essential for good anonymizat …

Couverture du Rathinaraja (National Institute of Technology, India) Jeyaraj & Anand Paul: Big Data with Hadoop MapReduce

Rathinaraja (National Institute of Technology, India) Jeyaraj & Anand Paul: Big Data with Hadoop MapReduce

The authors provide an understanding of big data and Map Reduce by clearly presenting the basic terminologies and concepts. They have employed over 100 illustrations and many worked-out examples to c …

Couverture du Peter F. Linington & Zoran Milosevic: Building Enterprise Systems with ODP

Peter F. Linington & Zoran Milosevic: Building Enterprise Systems with ODP

The Reference Model of Open Distributed Processing (RM-ODP) is an international standard that provides a solid basis for describing and building widely distributed systems and applications in a …

Couverture du Donald J. (President, Reifer Consultants LLC, Prescott, Arizona, USA) Reifer: Software Maintenance Success Recipes

Donald J. (President, Reifer Consultants LLC, Prescott, Arizona, USA) Reifer: Software Maintenance Success Recipes

Software Maintenance Success Recipes identifies actionable formulas for success based on in-depth analysis of more than 200 real-world maintenance projects. It details the set of factors that are …

Couverture du Donald K. (Burleson Consulting, Kittrell, North Carolina, USA) Burleson: Oracle Internals

Donald K. (Burleson Consulting, Kittrell, North Carolina, USA) Burleson: Oracle Internals

If you are a typical Oracle professional, you don »t have the luxury of time to keep up with new technology and read all the new manuals to understand each new feature of the latest release from …

Couverture du Jason Alls: Clean Code in C#

Jason Alls: Clean Code in C#

Develop your programming skills by exploring essential topics such as code reviews, implementing TDD and BDD, and designing APIs to overcome code inefficiency, redundancy, and other problems arising …

Page suivante >>>