Formal Methods
- Title
- Formal Methods
- ISBN-10
- 1-84882-735-0
- ISBN-13
- 978-1-84882-735-6
- Author(s)
- Paul P. Boca
- Publisher
- Springer London Ltd
- Published
- 2010
- Format
- Hardcover
Metadata
- EAN
- 9781848827356
- ASIN
- 1848827350
- Prefix
- 978
- Group
- 1
- Group Name
- English language
- Group Identifier
- 978-1
- Registrant
- 84882
- Publication
- 735
- Check Digit
- 6
- Formatted
- 978-1-84882-735-6