The book is currently out of stock
Formal Methods for Executable Software Models
Authors
Parameters
Book purchase
Formal Methods for Executable Software Models, Marco Bernardo
- Language
- Released
- 2014
We’ll notify you via email once we track it down.
Payment methods
- Title
- Formal Methods for Executable Software Models
- Language
- English
- Authors
- Marco Bernardo
- Publisher
- Springer International Publishing
- Released
- 2014
- Format
- Paperback
- ISBN10
- 3319073168
- ISBN13
- 9783319073163
- Category
- Technology / Engineering, Computers, IT, Programming