Deductive Program Design
Deductive Program Design
by M. Broy, North Atlantic Treaty Organization. Scientific Affairs Division, NATO Advanced Study Institute On Deductive Program Design
- Title
- Deductive Program Design
- ISBN-10
- 3-540-60947-4
- ISBN-13
- 978-3-540-60947-6
- Author(s)
- M. Broy, North Atlantic Treaty Organization. Scientific Affairs Division, NATO Advanced Study Institute On Deductive Program Design
- Publisher
- Springer
- Published
- 1996
- Format
- Hardcover
Metadata
- EAN
- 9783540609476
- ASIN
- 3540609474
- Prefix
- 978
- Group
- 3
- Group Name
- German language
- Group Identifier
- 978-3
- Registrant
- 540
- Publication
- 60947
- Check Digit
- 6
- Formatted
- 978-3-540-60947-6