Logo

Educated Owl Books
Help Login / SignUp (0)
Sell with us!
Formal Methods for Model-Driven Engineering : 12th International School on Formal Health for the Design of Computer, Communication and Software System

Formal Methods for Model-Driven Engineering : 12th International School on Formal Health for the Design of Computer, Communication and Software System

by Marco Bernardo, Vittorio Cortellessa, Alfonso Pierantonio Paperback 2012

⭐ 0.0 rating
⭐ 0.0 out of 5 0 global ratings
5 star
65%
4 star
20%
3 star
10%
2 star
3%
1 star
2%
| 📖 0 saved | ✅ 0 verified
  • Author: Marco Bernardo, Vittorio Cortellessa, Alfonso Pierantonio
  • ISBN 13: 9783642309816
  • ISBN 10: 364230981X
  • Publication Year: 2012
  • Language: English

Specifications

Index-10 364230981X
Index-13 9783642309816
Language English

✨ Readers also enjoyed...

View All →
A Process Algebraic Approach to Software Architecture Design

A Process Algebraic Approach to So…

Alessandro Aldini, Marco Bernardo, Flavio Corradini

Inquire
A Process Algebraic Approach to Software Architecture Design

A Process Algebraic Approach to So…

Alessandro Aldini, Marco Bernardo, Flavio Corradini

Inquire
Computer Performance Engineering : 7th European Performance Engineering Workshop, EPEW 2010, Bertinoro, Italy, September 23-24, 2010, Proceedings

Computer Performance Engineering :…

Alessandro Aldini, Marco Bernardo, Luciano Bononi, Vittorio Cortellessa

Inquire
Formal Methods for Computational Systems Biology : 8th International School on Formal Methods for the Design of Computer, Communication, and Software

Formal Methods for Computational S…

Marco Bernardo, Pierpaolo Degano, Gianluigi Zavattaro

Inquire
Formal Methods for Dynamical Systems : 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SF

Formal Methods for Dynamical Syste…

Marco Bernardo, Erik de Vink, Alessandra Di Pierro, Herbert Wiklicky

Inquire