Runtime Verification
- Title
- Runtime Verification
- ISBN-10
- 3-319-23820-5
- ISBN-13
- 978-3-319-23820-3
- Author(s)
- Ezio Bartocci
- Publisher
- Springer Nature Switzerland AG
- Published
- 2015
- Format
- Kindle Edition
Metadata
- EAN
- 9783319238203
- ASIN
- 3319238205
- Prefix
- 978
- Group
- 3
- Group Name
- German language
- Group Identifier
- 978-3
- Registrant
- 319
- Publication
- 23820
- Check Digit
- 3
- Formatted
- 978-3-319-23820-3