Ebook > Naturwissenschaft > Informatik > Anwendungs-Software > Agostino Cortesi: Verification, Model Checking, and Abstract Interpretation (PDF)

Agostino Cortesi
Verification, Model Checking, and Abstract Interpretation
Third International Workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002, Revised Papers

Support

Cover von Agostino Cortesi: Verification, Model Checking, and Abstract Interpretation (PDF)

€55.67

Sprache Englisch ● Format PDF ● ISBN 9783540478133 ● Herausgeber Agostino Cortesi ● Verlag Springer Berlin Heidelberg ● Erscheinungsjahr 2003 ● herunterladbar 6 mal ● Währung EUR ● ID 6319220 ● Kopierschutz Adobe DRM

erfordert DRM-fähige Lesetechnologie

Ebooks vom selben Autor / Herausgeber

Agostino Cortesi

16.112 Ebooks in dieser Kategorie

Cover von Amanda Baker & Hayley Horn: Databricks ML in Action

Amanda Baker & Hayley Horn: Databricks ML in Action

<p><b>Get to grips with autogenerating code, deploying ML algorithms, and leveraging various ML lifecycle features on the Databricks Platform, guided by best practices and reusable code …

Cover von Preston Zhang: Practical Guide to Large Database Migration

Preston Zhang: Practical Guide to Large Database Migration

It is a major challenge to migrate very large databases from one system, say for example, to transfer critical data from Oracle to SQL Server. One has to consider several issues such as loss of data …

Cover von Matthew John Yee-King: Build AI-Enhanced Audio Plugins with C++

Matthew John Yee-King: Build AI-Enhanced Audio Plugins with C++

Build AI-Enhanced Audio Plugins with C++ explains how to embed artificial intelligence technology inside tools that can be used by audio and music professionals, through worked examples using Python, …

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

Cover von Aakanksha (NIT Raipur) Sharaff & G R (International Institute of Information Technology Bangalore, India) Sinha: Data Science and Its Applications

Aakanksha (NIT Raipur) Sharaff & G R (International Institute of Information Technology Bangalore, India) Sinha: Data Science and Its Applications

The term ‚data‘ being mostly used, experimented, analyzed, and researched, ‚ Data Science and its Applications ‚ finds relevance in all domains of research studies including science, engineering, tec …

Cover von Amit Kumar Tyagi: Data Science and Data Analytics

Amit Kumar Tyagi: Data Science and Data Analytics

Data science is a multi-disciplinary field that uses scientific methods, processes, algorithms, and systems to extract knowledge and insights from structured (labeled) and unstructured (unlabeled) da …

Cover von John Asatryan & Vardan Grigoryan: Expert C++

John Asatryan & Vardan Grigoryan: Expert C++

<p><b>Take your C++ skills to the next level with expert insights on advanced techniques, design patterns, and high-performance programming Purchase of the print or Kindle book includes a …