Runtime Verification
- Title
- Runtime Verification
- ISBN-10
- 3-642-04694-0
- ISBN-13
- 978-3-642-04694-0
- Author(s)
- Saddek Bensalem, Doron A. Peled
- Publisher
- Springer
- Published
- 2009
- Format
Metadata
- EAN
- 9783642046940
- ASIN
- 3642046940
- Prefix
- 978
- Group
- 3
- Group Name
- German language
- Group Identifier
- 978-3
- Registrant
- 642
- Publication
- 04694
- Check Digit
- 0
- Formatted
- 978-3-642-04694-0