Logo

Educated Owl Books
Help Login / SignUp (0)
Sell with us!
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 Systems : 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SF

by Marco Bernardo, Erik de Vink, Alessandra Di Pierro, Herbert Wiklicky Paperback 2013

⭐ 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, Erik de Vink, Alessandra Di Pierro, Herbert Wiklicky
  • ISBN 13: 9783642388736
  • ISBN 10: 3642388736
  • Publication Year: 2013
  • Language: English

Specifications

Index-103642388736
LanguageEnglish
Index-139783642388736
Period-
Class Track-
Publisher- (2013)
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 Executable Software Models : 14th International School on Formal Methods for the Design of Computer, Communication, and Software Sy

Formal Methods for Executable Soft…

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

Inquire