Daniel Kroening

ספרים שבהם Daniel Kroening מופיע/ה ברשימת המחברים, לא כמחבר/ת הראשי/ת: ספרים משותפים, אוספים וסיכומים.

Verified Software : Theories, Tools and ExperimentsDimitra Giannakopoulou

Verified Software : Theories, Tools and Experiments

Dimitra Giannakopoulou · 2014

Validation of Evolving SoftwareHana Chockler

Validation of Evolving Software

Hana Chockler · 2015

Model Checking, Second EditionOrna Grumberg

Model Checking, Second Edition

Orna Grumberg · 2018

Digitaltechnik - eine praxisnahe Einfu hrungArmin Biere

Digitaltechnik - eine praxisnahe Einfu hrung

Armin Biere · 2008