หนังสือดิจิตอล > วิทยาศาสตร์ > วิทยาศาสตร์คอมพิวเตอร์ > ซอฟต์แวร์แอปพลิเคชัน > 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

สนับสนุน

ปกของ 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

ซื้อ eBook เล่มนี้และรับฟรีอีก 1 เล่ม!

ภาษา อังกฤษ ● รูป PDF ● ISBN 9783642331251 ● บรรณาธิการ Antoine Mine & David Schmidt ● สำนักพิมพ์ Springer Berlin Heidelberg ● การตีพิมพ์ 2012 ● ที่สามารถดาวน์โหลดได้ 3 ครั้ง ● เงินตรา EUR ● ID 6323137 ● ป้องกันการคัดลอก Adobe DRM

ต้องใช้เครื่องอ่านหนังสืออิเล็กทรอนิกส์ที่มีความสามารถ DRM

หนังสืออิเล็กทรอนิกส์เพิ่มเติมจากผู้แต่งคนเดียวกัน / บรรณาธิการ

Antoine Mine David Schmidt

16,941 หนังสืออิเล็กทรอนิกส์ในหมวดหมู่นี้

ปกของ 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 …

ปกของ Lukasz Gasior: ReSharper Essentials

Lukasz Gasior: ReSharper Essentials

In Detail Re Sharper is one of the best tools that extends Microsoft Visual Studio. It adds a lot of features which increases a developer’s productivity. It started with providing support for C# and …

ปกของ Anmol (Cisco Systems, Inc., San Jose, California, USA) Misra & James (Senior Director, Product Security, McAfee - An Intel Company, Santa Clara California, USA) Ransome: Core Software Security

Anmol (Cisco Systems, Inc., San Jose, California, USA) Misra & James (Senior Director, Product Security, McAfee – An Intel Company, Santa Clara California, USA) Ransome: Core Software Security

‘… an engaging book that will empower readers in both large and small software development and engineering organizations to build security into their products. … Readers are armed with firm …

ปกของ Zachary Shute: Advanced JavaScript

Zachary Shute: Advanced JavaScript

Gain a deeper understanding of Java Script and apply it to build small applications in backend, frontend, and mobile frameworks. Key Features

Explore the new ES6 syntax, the event loop, and …

ปกของ Byron DeVries & Paul C. (Grand Valley State University, Allendale, Michigan, USA) Jorgensen: Software Testing

Byron DeVries & Paul C. (Grand Valley State University, Allendale, Michigan, USA) Jorgensen: Software Testing

This updated and reorganized Fifth edition of Software Testing: A Craftsman”s Approach continues to be a valuable reference for software testers, developers, and engineers, by applying the strong ma …

ปกของ Saad Motahhir: Smart Embedded Systems and Applications

Saad Motahhir: Smart Embedded Systems and Applications

This book covers a wide range of challenges, technologies and state-of-the-art for the design, development and realization of smart and complex embedded systems and their applications; i.e., software …

ปกของ Fabrizio Riguzzi: Foundations of Probabilistic Logic Programming

Fabrizio Riguzzi: Foundations of Probabilistic Logic Programming

Since its birth, the field of Probabilistic Logic Programming has seen a steady increase of activity, with many proposals for languages and algorithms for inference and learning. This book aims at pr …

ปกของ Alan Clements: Computer Architecture with Python and ARM

Alan Clements: Computer Architecture with Python and ARM

<p><b>Learn computer architecture with Python and ARM, simulating assembly program execution and designing a computer simulator Purchase of the print or Kindle book includes a free PDF e …

ปกของ Robert C Martin: Proprement codeur, 1CU 36 Mois

Robert C Martin: Proprement codeur, 1CU 36 Mois

Proprement codeur est entierement consacre a la professionnalisation du metier de developpeur de logiciels. Plus que la technique, il privilegie l’attitude. Le livre regorge de conseils, de l’estimat …

ปกของ Stephen S. Beaver & David Marshall: VMware ESX Essentials in the Virtual Data Center

Stephen S. Beaver & David Marshall: VMware ESX Essentials in the Virtual Data Center

Flexible and efficient, VMware ESX is the tool of choice for enterprise data centers looking to make the most of the latest virtualization methods. However, to date, no single manual provides users w …

หน้าต่อไป >>>