Get introduced to software verification and proving correctness using the Microsoft Research-backed programming language, Dafny. While some other books on this topic are quite mathematically rigorous, this book will use as little mathe...Loe edasi...
Can cats code? These cats sure can! Computer bugs come to life with playful rhyming verse and goofy illustrations. Readers will learn about types of errors that can bring a computer to a crawl. And theyll discover these bugs arent so scary—all t...Loe edasi...
(Ilmumisaeg: 29-Jan-2019, Paperback / softback, Kirjastus: MIT Press, ISBN-13: 9780262537018)
A guide to understanding the inner workings and outer limits of technology and why we should never assume that computers always get it right. A guide to understanding the inner workings and outer limits of technology and why we should n...Loe edasi...
Dont swat that bug—fix it! Author Brian P. Cleary, illustrator (and coding hobbyist) Martin Goneau, and the indefatigable CATegorical cats offer a fun and accessible introduction to computer bugs....Loe edasi...
(Ilmumisaeg: 27-Apr-2018, Hardback, Kirjastus: MIT Press, ISBN-13: 9780262038003)
Presents a guide to understanding the inner workings and outer limits of technology and why we should never assume that computers always get it right. A guide to understanding the inner workings and outer limits of technology and why we...Loe edasi...
Sari: Theoretical Computer Science and General Issues
(Ilmumisaeg: 24-Feb-2010, Paperback / softback, Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, ISBN-13: 9783642115110)
Why would you read this preface? As we start thinking what to write here, we wonder who is going to read these words. Fromourperspective–thatofwritersaddressinganaudienceofreaders–you are most likely Willem-Paul de Roever. Willem: our main motivation...Loe edasi...
(Ilmumisaeg: 09-Oct-2007, Hardback, Kirjastus: John Wiley & Sons Inc, ISBN-13: 9780470042120)
Huizinga (computer science, California State University) and Kolawa, a software consultant, describe an approach to software management based on establishing an infrastructure that serves as the foundation for the project. This infrastructure functio...Loe edasi...
(Ilmumisaeg: 22-Jan-2007, Other digital carrier, Kirjastus: Wiley-Blackwell, ISBN-13: 9780470165171)
This book describes an approach to software management based on establishing an infrastructure that serves as the foundation for the project. This infrastructure defines people roles, necessary technology, and interactions between people and technolo...Loe edasi...
(Ilmumisaeg: 25-Mar-2003, Multiple-component retail product, Kirjastus: Charles River Media, ISBN-13: 9781584502579)
saadame teile pakkumise kasutatud raamatule, mille hind võib erineda kodulehel olevast hinnast
From his experience in computer animation and game development, Hawkins is convinced that the many errors software development seems heir to are really just different versions of a few that programmers repeat over and over in various guise. He writes...Loe edasi...
