Fundamental Proof Methods in Computer Science
A Computer-Based Approach
Inbunden, Engelska, 2017
Av Konstantine Arkoudas, David Musser, Bloomberg) Arkoudas, Konstantine (Senior Research Scientist and Software Architect, Rensselaer Polytechnic Institute) Musser, David (Professor Emeritus
889 kr
Tillfälligt slut
Produktinformation
- Utgivningsdatum2017-05-05
- Mått203 x 229 x 33 mm
- Vikt1 770 g
- FormatInbunden
- SpråkEngelska
- SerieFundamental Proof Methods in Computer Science
- Antal sidor976
- FörlagMIT Press Ltd
- ISBN9780262035538