Runtime Verification
- Title
- Runtime Verification
- ISBN-10
- 3-642-35631-1
- ISBN-13
- 978-3-642-35631-5
- Author(s)
- Serdar Tasiran, Shaz Qadeer
- Publisher
- Springer
- Published
- 2013
- Format
- Paperback
Metadata
- EAN
- 9783642356315
- ASIN
- 3642356311
- Prefix
- 978
- Group
- 3
- Group Name
- German language
- Group Identifier
- 978-3
- Registrant
- 642
- Publication
- 35631
- Check Digit
- 5
- Formatted
- 978-3-642-35631-5