Logo

Educated Owl Books
Help Login / SignUp (0)
Sell with us!
Formal Methods for Executable Software Models : 14th International School on Formal Methods for the Design of Computer, Communication, and Software Sy

Formal Methods for Executable Software Models : 14th International School on Formal Methods for the Design of Computer, Communication, and Software Sy

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

⭐ 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, Ferruccio Damiani, Reiner Haehnle, Ina Schaefer, Einar Broch Johnsen
  • ISBN 13: 9783319073163
  • ISBN 10: 3319073168
  • Publication Year: 1
  • Language: English

Specifications

Index-103319073168
LanguageEnglish
Index-139783319073163
Period-
Class Track-
Publisher- (1)
Pages-

✨ 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