Formal Methods for Executable Software Models View on Open Library

Formal Methods for Executable Software Models

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

No reviews yet
First published: 2014 1 language ISBN: 9783319073170
Subjects
Computer software, development System design Software engineering Computer science Information theory Logic design Logics and Meanings of Programs Programming Languages, Compilers, Interpreters Theory of Computation

Reviews

Log in or sign up to write a review.

No reviews yet. Be the first!

More by Marco Bernardo

Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems

Formal Methods for the Quantitative Eval...

Formal Methods for Dynamical Systems

Formal Methods for Dynamical Systems

Formal Methods for Multicore Programming

Formal Methods for Multicore Programming

Formal Methods for Eternal Networked Software Systems

Formal Methods for Eternal Networked Sof...

Formal Methods for the Design of Real-Time Systems

Formal Methods for the Design of Real-Ti...

Formal Methods for Quantitative Aspects of Programming Languages

Formal Methods for Quantitative Aspects ...

You Might Also Like

More in Computer software, d...
Advances in Computers, Volume 49 (Advances in Computers)

Advances in Computers, Volume 49 (Advanc...

Marvin V. Zelkowitz
Interactive Computing Series

Interactive Computing Series

Kenneth C. Laudon
Patterns

Patterns

IBM Redbooks
Advances in Computers

Advances in Computers

Atif Memon
Flash Mobile

Flash Mobile

Matthew David
SAS(R) 9.1.3 Intelligence Platform

SAS(R) 9.1.3 Intelligence Platform

SAS Publishing