Catalog > Ciência > Ciência da Computação > Software de Aplicação > Markus Muller-Olm & Helmut Seidl: Static Analysis (PDF)

Markus Muller-Olm & Helmut Seidl
Static Analysis [PDF ebook]
21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedings

Apoio

Capa do Markus Muller-Olm & Helmut Seidl: Static Analysis (PDF)

This book constitutes the thoroughly refereed proceedings of the 21st International Symposium on Static Analysis, SAS 2014, held in Munich, Germany, in September 2014. The 20 revised full papers were selected from 53 submissions and are presented together with 3 invited talks. The papers address all aspects of static analysis, including abstract interpretation, abstract testing, bug detection, data flow analysis, model checking, program transformation, program verification, security analysis, and type checking.

€57.17

Compre este e-book e ganhe mais 1 GRÁTIS!

Língua Inglês ● Formato PDF ● ISBN 9783319109367 ● Editor Markus Muller-Olm & Helmut Seidl ● Editora Springer International Publishing ● Publicado 2014 ● Carregável 3 vezes ● Moeda EUR ● ID 6302976 ● Proteção contra cópia Adobe DRM

Requer um leitor de ebook capaz de DRM

Mais ebooks do mesmo autor(es) / Editor

Markus Muller-Olm Helmut Seidl

16.612 Ebooks nesta categoria

Capa do 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 …

Capa do 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 …

Capa do Jessica Keyes: Software Configuration Management

Jessica Keyes: Software Configuration Management

An effective systems development and design process is far easier to explain than it is to implement. A framework is needed that organizes the life cycle activities that form the process. This framew …

Capa do Gilbert (4-Degree Consulting, Macon, Georgia, USA) Held: Enhancing LAN Performance

Gilbert (4-Degree Consulting, Macon, Georgia, USA) Held: Enhancing LAN Performance

Enhancing LAN Performance, Fourth Edition explains how to connect geographically separated LANs with appropriate bandwidth, the issues to consider when weighing the use of multiport or dualport devic …

Capa do Mohd Fadzil Hassan & Fausto Pedro Garcia Marquez: Handbook of Research on Trends and Future Directions in Big Data and Web Intelligence

Mohd Fadzil Hassan & Fausto Pedro Garcia Marquez: Handbook of Research on Trends and Future Directions in Big Data and Web Intelligence

Capa do Robert C Martin: Architecture logicielle propre, 1CU 36 Mois

Robert C Martin: Architecture logicielle propre, 1CU 36 Mois

Vous n’imaginez pas le temps qu’une architecture logicielle bien soignee des le depart peut vous faire gagner. Vous pouvez augmenter fortement la productivite du developpement tout au long du cycle d …

Capa do 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 …

Capa do Nakul Shah: Blockchain and DLT

Nakul Shah: Blockchain and DLT

Blockchain secures individual transactions with cryptography, creating a tamper-proof chain. In contrast, distributed ledger technologies cover various technologies that may not adhere strictly to bl …

Capa do Ashfaque (SCM Consulting, Bhilai, Chattisgarh, India) Ahmed & Bhanu (Florida A&M University, Tallahassee, USA) Prasad: Foundations of Software Engineering

Ashfaque (SCM Consulting, Bhilai, Chattisgarh, India) Ahmed & Bhanu (Florida A&M University, Tallahassee, USA) Prasad: Foundations of Software Engineering

The best way to learn software engineering is by understanding its core and peripheral areas. Foundations of Software Engineering provides in-depth coverage of the areas of software engineering that …

Capa do 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 …

Próxima página >>>