The design and UX isn't done, Rob and Abbie, okkurrrr! 😌
440 pages • first pub 1999 (editions)
ISBN/UID: 9780521543101
Format: Paperback
Language: English
Publisher: Cambridge University Press
Publication date: 30 August 2004
Description
The second edition of this successful textbook continues to provide a clear introduction to formal reasoning relevant to the needs of modern computer science and sufficiently exacting for practical applications. Improvements have been made through...
Community Reviews Summary of 5 ratings
Average rating
Content Warnings
This book doesn't have any content warnings yet!
If you're the author of this book and want to add author-approved content warnings, please email us at [email protected] to request the content warning form.
440 pages • first pub 1999 (editions)
ISBN/UID: 9780521543101
Format: Paperback
Language: English
Publisher: Cambridge University Press
Publication date: 30 August 2004
Description
The second edition of this successful textbook continues to provide a clear introduction to formal reasoning relevant to the needs of modern computer science and sufficiently exacting for practical applications. Improvements have been made through...
Community Reviews Summary of 5 ratings
Average rating
Content Warnings
This book doesn't have any content warnings yet!
If you're the author of this book and want to add author-approved content warnings, please email us at [email protected] to request the content warning form.