Tool Support for Invariant Based Programming
Tool Support for Invariant Based Programming
- Title
- Tool Support for Invariant Based Programming
- ISBN-10
- 952-12-1506-2
- ISBN-13
- 978-952-12-1506-3
- Author(s)
- Ralph-Johan Back
- Publisher
- Åbo Akademi
- Published
- Format
Metadata
- EAN
- 9789521215063
- ASIN
- 9521215062
- Prefix
- 978
- Group
- 952
- Group Name
- Finland
- Group Identifier
- 978-952
- Registrant
- 12
- Publication
- 1506
- Check Digit
- 3
- Formatted
- 978-952-12-1506-3