Formal Program Development
Formal Program Development
- Title
- Formal Program Development
- ISBN-10
- 3-540-48197-4
- ISBN-13
- 978-3-540-48197-3
- Publisher
- Springer-Verlag Berlin Heidelberg
- Published
- 1993
- Format
Metadata
- EAN
- 9783540481973
- ASIN
- 3540481974
- Prefix
- 978
- Group
- 3
- Group Name
- German language
- Group Identifier
- 978-3
- Registrant
- 540
- Publication
- 48197
- Check Digit
- 3
- Formatted
- 978-3-540-48197-3