Applying Formal Methods
Applying Formal Methods
by Fernando Rubio, Key Pousttchi, Manuel Núñez, Zakaaria Maamar, Fernando Pelayo
- Title
- Applying Formal Methods
- ISBN-10
- 3-540-30233-6
- ISBN-13
- 978-3-540-30233-9
- Author(s)
- Fernando Rubio, Key Pousttchi, Manuel Núñez, Zakaaria Maamar, Fernando Pelayo
- Publisher
- Springer
- Published
- 2004
- Format
- [Elektronische Ressource]
Metadata
- EAN
- 9783540302339
- ASIN
- 3540302336
- Prefix
- 978
- Group
- 3
- Group Name
- German language
- Group Identifier
- 978-3
- Registrant
- 540
- Publication
- 30233
- Check Digit
- 9
- Formatted
- 978-3-540-30233-9