Formal Methods for Executable Software Models

Name: Formal Methods for Executable Software Models
Author: Marco Bernardo, Ferruccio Damiani, Reiner Haehnle, Einar Broch Johnsen, Ina Schaefer

by Marco Bernardo, Ferruccio Damiani, Reiner Haehnle, Einar Broch Johnsen, Ina Schaefer

Cover of Formal Methods for Executable Software Models

Popularity 1

No description available.

Computer software, developmentSystem designSoftware engineeringComputer scienceInformation theoryLogic designLogics and Meanings of ProgramsProgramming Languages, Compilers, InterpretersTheory of Computation