Static Analysis
Static Analysis
by Patrick Cousot, Moreno Falaschi, Gilberto File, Antoine Rauzy
- Title
- Static Analysis
- ISBN-10
- 3-540-48027-7
- ISBN-13
- 978-3-540-48027-3
- Publisher
- Springer-Verlag New York, LLC
- Published
- 1993
- Format
Metadata
- EAN
- 9783540480273
- ASIN
- 3540480277
- Prefix
- 978
- Group
- 3
- Group Name
- German language
- Group Identifier
- 978-3
- Registrant
- 540
- Publication
- 48027
- Check Digit
- 3
- Formatted
- 978-3-540-48027-3