Integrated Formal Methods
Integrated Formal Methods
- Title
- Integrated Formal Methods
- ISBN-10
- 3-540-40911-4
- ISBN-13
- 978-3-540-40911-3
- Author(s)
- Wolfgang Grieskamp, Thomas Santen, Bill Stoddart
- Publisher
- Springer Science & Business Media
- Published
- 2007
- Format
Metadata
- EAN
- 9783540409113
- ASIN
- 3540409114
- Prefix
- 978
- Group
- 3
- Group Name
- German language
- Group Identifier
- 978-3
- Registrant
- 540
- Publication
- 40911
- Check Digit
- 3
- Formatted
- 978-3-540-40911-3