Computers / Operating Systems / General
Showing results 1-2 of 2
Filter Results OPEN +
Bits to Bitcoin
How Our Digital Stuff Works
ISBN: 9780262551076
Publisher: The MIT Press
Pub Date: February 6, 2024
An accessible guide to our digital infrastructure, explaining the basics of operating systems, networks, security, and other topics for the general reader.
Principles of Model Checking
ISBN: 9780262026499
Publisher: The MIT Press
Pub Date: April 25, 2008
A comprehensive introduction to the foundations of model checking, a fully automated technique for finding flaws in hardware and software; with extensive examples and both practical and theoretical exercises.
Bits to Bitcoin
How Our Digital Stuff Works
ISBN: 9780262551076
Publisher: The MIT Press
Pub Date: February 6, 2024
An accessible guide to our digital infrastructure, explaining the basics of operating systems, networks, security, and other topics for the general reader.
Principles of Model Checking
ISBN: 9780262026499
Publisher: The MIT Press
Pub Date: April 25, 2008
A comprehensive introduction to the foundations of model checking, a fully automated technique for finding flaws in hardware and software; with extensive examples and both practical and theoretical exercises.