Catalog > Ciencia > Informática > Software de aplicación > Antoine Mine & David Schmidt: Static Analysis (PDF)

Antoine Mine & David Schmidt
Static Analysis [PDF ebook]
19th International Symposium, SAS 2012, Deauville, France, September 11-13, 2012. Proceedings

Soporte

Portada de Antoine Mine & David Schmidt: Static Analysis (PDF)

This book constitutes the thoroughly refereed proceedings of the 19th International Symposium on Static Analysis, SAS 2012, held in Deauville, France, in September 2012. The 25 revised full papers presented together with 4 invited talks were selected from 62 submissions. The papers address all aspects of static analysis, including abstract domains, abstract interpretation, abstract testing, bug detection, data flow analysis, model checking, new applications, program transformation, program verification, security analysis, theoretical frameworks, and type checking.

€57.94

¡Compre este libro electrónico y obtenga 1 más GRATIS!

Idioma Inglés ● Formato PDF ● ISBN 9783642331251 ● Editor Antoine Mine & David Schmidt ● Editorial Springer Berlin Heidelberg ● Publicado 2012 ● Descargable 3 veces ● Divisa EUR ● ID 6323137 ● Protección de copia Adobe DRM

Requiere lector de ebook con capacidad DRM

Más ebooks del mismo autor / Editor

Antoine Mine David Schmidt

16.726 Ebooks en esta categoría

Portada de Mike McGrath: Coding for Beginners in easy steps, 3rd edition

Mike McGrath: Coding for Beginners in easy steps, 3rd edition

Now in its third edition, this bestseller will appeal to anyone, of any age, who wants to begin coding. Use Coding for Beginners in easy steps to help you quickly create a programming environment on …

Portada de Max Wainewright: Coding with Scratch - Make 3D Games & Graphics

Max Wainewright: Coding with Scratch – Make 3D Games & Graphics

Coding with Scratch – Make 3D Games & Graphics starts by showing you how to make 3D graphics and then, step-by-step, it takes you through to making 3D games. Try the challenges and mods and make your …

Portada de Ronen Barzel & Ken Greenebaum: Audio Anecdotes III

Ronen Barzel & Ken Greenebaum: Audio Anecdotes III

This collection of articles provides practical and relevant tools, tips, and techniques for those working in the digital audio field. Volume III, with contributions from experts in their fields, incl …

Portada de John Ilgenfritz & Merle Ilgenfritz: VMware Certified Professional Test Prep

John Ilgenfritz & Merle Ilgenfritz: VMware Certified Professional Test Prep

Written by VM-certified instructors with years of professional and teaching experience, VMware Certified Professional Test Prep is the ultimate guide to the VCP exam. Its organized and highly practic …

Portada de Frank M. (Ball State University, Muncie, Indiana, USA) Groom & Stephan S. Jones: Enterprise Cloud Computing for Non-Engineers

Frank M. (Ball State University, Muncie, Indiana, USA) Groom & Stephan S. Jones: Enterprise Cloud Computing for Non-Engineers

This book provides a technical description of cloud computing technologies, covering cloud infrastructure and platform services. It then addresses the basics of operating a Cloud computing data cente …

Portada de Ankita Patil & Mitesh Soni: Infrastructure Automation with Terraform

Ankita Patil & Mitesh Soni: Infrastructure Automation with Terraform

This book explains how to quickly learn and utilize Terraform to incorporate Infrastructure as Code into a continuous integration and continuous delivery pipeline. The book gives you the step-by-step …

Portada de John Hearty & David Julian: Python: Deeper Insights into Machine Learning

John Hearty & David Julian: Python: Deeper Insights into Machine Learning

Leverage benefits of machine learning techniques using Python About This Book

Improve and optimise machine learning systems using effective strategies.
Develop a strategy to deal wi …

Portada de 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 …

Portada de Mirza Rahim Baig & Mohan Kumar Silaparasetty: The Deep Learning Workshop

Mirza Rahim Baig & Mohan Kumar Silaparasetty: The Deep Learning Workshop

Take a hands-on approach to understanding deep learning and build smart applications that can recognize images and interpret text Key Features

Understand how to implement deep learning with …

Portada de 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 …

siguiente página >>>