Related Books
Language: en
Pages: 498
Pages: 498
Type: BOOK - Published: 2023-03-07 - Publisher: MIT Press
This comprehensive and highly readable textbook teaches how to formally reason about computer programs using an incremental approach and the verification-aware
Language: en
Pages: 683
Pages: 683
Type: BOOK - Published: 2009-03-12 - Publisher: Cambridge University Press
The sheer complexity of computer systems has meant that automated reasoning, i.e. the ability of computers to perform logical inference, has become a vital comp
Language: en
Pages: 584
Pages: 584
Type: BOOK - Published: 2015-11-06 - Publisher: "O'Reilly Media, Inc."
Annotation C.J. Date, one of the key researchers in the field of relational databases, explains in this book the best practices of database coding, with clear e
Language: en
Pages: 447
Pages: 447
Type: BOOK - Published: 2011-12-16 - Publisher: "O'Reilly Media, Inc."
SQL is full of difficulties and traps for the unwary. You can avoid them if you understand relational theory, but only if you know how to put the theory into pr
Language: en
Pages: 337
Pages: 337
Type: BOOK - Published: 2020-07-17 - Publisher: Springer Nature
This book constitutes the refereed proceedings of the 13th International Conference on Intelligent Computer Mathematics, CICM 2020, held in Bertinoro, Italy, in