Tools and Algorithms for the Construction and Analysis of Systems : 25 Years of TACASDirk Beyer

Tools and Algorithms for the Construction and Analysis of Systems : 25 Years of TACAS

Dirk Beyer, Marieke Huisman, Fabrice Kordon, Bernhard Steffen · 2019

איפה לקנות

המחיר באמזון משתנה מדי יום, אז הכי נכון לראות אותו שם ברגע הקנייה.

לצפייה באמזון

פרטי הספר

שנה: 2019
הוצאה: Springer
מהדורות: 2
עמודים: 285
ISBN: 9783030175016

מקור הנתונים: Wikidata

עוד של Dirk Beyer

Formal Techniques for Distributed SystemsDirk Beyer

Formal Techniques for Distributed Systems

Dirk Beyer · 2013

Markovian Demand Inventory ModelsDirk Beyer

Markovian Demand Inventory Models

Dirk Beyer · 2008

TOOLympics Challenge 2023Dirk Beyer

TOOLympics Challenge 2023

Dirk Beyer · 2024

Fundamental Approaches to Software EngineeringDirk Beyer

Fundamental Approaches to Software Engineering

Dirk Beyer · 2024

Verification, Model Checking, and Abstract InterpretationDirk Beyer

Verification, Model Checking, and Abstract Interpretation

Dirk Beyer · 2020

Tests and ProofsDirk Beyer

Tests and Proofs

Dirk Beyer · 2019

Tools and Algorithms for the Construction and Analysis of SystemsDirk Beyer

Tools and Algorithms for the Construction and Analysis of Systems

Dirk Beyer · 2018

Theoretische und Methodische Ansatze Zum InnovationsmarketingDirk Beyer

Theoretische und Methodische Ansatze Zum Innovationsmarketing

Dirk Beyer · 2013