Title Statements
- Full title :Decision Procedures / Daniel Kroening.
Edition Statements
- Publication Date:2016.
- Edition:2nd ed
Publication Statements
- Publisher(s):Springer-Verlag Berlin Heidelberg
- Place of Publication:Place of publication not identified
- Language:und
- Publication Date:2016.
Notes
Title from content provider.
The Physical Object
- Description:1 online resource
Edition Identifiers
- ISBN:9783662504963, 3662504960
- oclc:on1026444433
Rate & Review