Ebook > Sciences > Computer Science > Application Software > Natasha Sharygina & Helmut Veith: Computer Aided Verification (PDF)

Natasha Sharygina & Helmut Veith
Computer Aided Verification [PDF ebook]
25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013, Proceedings

Support

Cover of Natasha Sharygina & Helmut Veith: Computer Aided Verification (PDF)

This book constitutes the thoroughly refereed proceedings of the 25th International Conference on Computer Aided Verification, CAV 2013 held in St. Petersburg, Russia in July 2013. The 54 regular and 16 tool papers presented were carefully selected from 209 submissions. The papers are organized in topical sections on biology, concurrency, hardware, hybrid systems, interpolation, loops and termination, new domains, probability and statistics, SAT and SMZ, security, shape analysis, synthesis, and time.

€114.31

Buy this ebook and get 1 more FREE!

Language English ● Format PDF ● ISBN 9783642397998 ● Editor Natasha Sharygina & Helmut Veith ● Publisher Springer Berlin Heidelberg ● Published 2013 ● Downloadable 3 times ● Currency EUR ● ID 6323779 ● Copy protection Adobe DRM

Requires a DRM capable ebook reader

More ebooks from the same author(s) / Editor

Natasha Sharygina Helmut Veith

16,592 Ebooks in this category

Cover of 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 …

Cover of 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 …

Cover of 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 …

Cover of Anita Gehlot & Lovi Raj Gupta: Getting Started for Internet of Things with Launch Pad and ESP8266

Anita Gehlot & Lovi Raj Gupta: Getting Started for Internet of Things with Launch Pad and ESP8266

Getting Started for Internet of Things with Launch Pad and ESP8266 provides a platform to get started with the Ti launch pad and Io T modules for Internet of Things applications. The book provides …

Cover of Arun Gupta: Building End-to-End Apps with C# 11 and .NET 7

Arun Gupta: Building End-to-End Apps with C# 11 and .NET 7

C# 11 is the latest version of C#, a popular programming language for building cloud, web, and desktop applications. It is a powerful and versatile language that can create a wide range of …

Cover of 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 …

Cover of Jared Poli: Excel BI and Dashboards in 7 Days

Jared Poli: Excel BI and Dashboards in 7 Days

Everyone thinks of Excel differently, and its full potential is often untapped. Businesses tend to decide to invest heavily in proper BI tools, perhaps wrongfully assuming that Excel has a minimal …

Cover of 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 …

Cover of Boualem (University of New South Wales, Sydney, Australia) Benatallah & Jinjun (Swinburne University of Technology) Chen: Cloud Computing

Boualem (University of New South Wales, Sydney, Australia) Benatallah & Jinjun (Swinburne University of Technology) Chen: Cloud Computing

Cloud computing has created a shift from the use of physical hardware and locally managed software-enabled platforms to that of virtualized cloud-hosted services. Cloud assembles large networks of vi …

Cover of Charles W. (University of Maryland, College Park, USA) Kann: Creating Components

Charles W. (University of Maryland, College Park, USA) Kann: Creating Components

Concurrency is a powerful technique for developing efficient and lightning- fast software. For instance, concurrency can be used in common applications such as online order processing to speed …