Formal Methods for Model-Driven Engineering

View on Open Library

Formal Methods for Model-Driven Engineering

by Marco Bernardo

No reviews yet

First published: 2012 1 language ISBN: 9783642309823

Subjects

Mathematical Logic and Formal Languages Software Engineering/Programming and Operating Systems Information Systems Software engineering Information Systems Applications (incl. Internet) Computer science Management of Computing and Information Systems Programming Languages, Compilers, Interpreters

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 Executable Software Models

Formal Methods for Executable Software M...

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...

You Might Also Like

More in Mathematical Logic a...

Reachability Problems

Reachability Problems

Parosh Aziz Abdulla

Artificial general intelligence

Artificial general intelligence

Ben Goertzel

Computer Games

Tristan Cazenave

Logical Foundations of Computer Science

Logical Foundations of Computer Science

Sergei Artemov

Language and Automata Theory and Applications

Language and Automata Theory and Applica...

Adrian-Horia Dediu

New Frontiers In Artificial Intelligence

New Frontiers In Artificial Intelligence

Daisuke Bekki