Logic and Program Semantics
Logic and Program Semantics
- Title
- Logic and Program Semantics
- ISBN-10
- 3-642-29485-5
- ISBN-13
- 978-3-642-29485-3
- Author(s)
- Robert L. Constable; Alexandra Silva
- Publisher
- Springer Nature
- Published
- 2012
- Format
- eBook
Metadata
- EAN
- 9783642294853
- ASIN
- 3642294855
- Prefix
- 978
- Group
- 3
- Group Name
- German language
- Group Identifier
- 978-3
- Registrant
- 642
- Publication
- 29485
- Check Digit
- 3
- Formatted
- 978-3-642-29485-3