Formal Methods
Formal Methods
- Title
- Formal Methods
- ISBN-10
- 1-84882-737-7
- ISBN-13
- 978-1-84882-737-0
- Author(s)
- Jawed Siddiqi, Jonathan P. Bowen, Paul Boca
- Publisher
- Springer London Ltd
- Published
- 2010
- Format
- paperback
Metadata
- EAN
- 9781848827370
- ASIN
- 1848827377
- Prefix
- 978
- Group
- 1
- Group Name
- English language
- Group Identifier
- 978-1
- Registrant
- 84882
- Publication
- 737
- Check Digit
- 0
- Formatted
- 978-1-84882-737-0