Search results for “[Subject: computers-software]”

• Author(s): Edmund M. Jr Clarke • Publisher: The MIT Press • Publisher Imprint: The MIT Press • BISAC: Computer ScienceAn expanded and updated edition of a comprehensive presentation of the theory and practice of model checking, a technology tha...

• Author(s): Rex Page • Publisher: The MIT Press • Publisher Imprint: The MIT Press • BISAC: Programming - GeneralAn introduction to applying predicate logic to testing and verification of software and digital circuits that focuses on application...

• Author(s): Steven L. Tanimoto • Publisher: The MIT Press • Publisher Imprint: The MIT Press • BISAC: Image ProcessingBasic principles of image processing and programming explained without college-level mathematics. This book explores image proc...

• Author(s): Christel Baier • Publisher: The MIT Press • Publisher Imprint: The MIT Press • BISAC: Computer ScienceA comprehensive introduction to the foundations of model checking, a fully automated technique for finding flaws in hardware and so...

• Author(s): Konstantine Arkoudas • Publisher: The MIT Press • Publisher Imprint: The MIT Press • BISAC: Programming - GeneralA textbook that teaches students to read and write proofs using Athena.Proof is the primary vehicle for knowledge genera...

• Author(s): Harry J. Paarsch • Publisher: The MIT Press • Publisher Imprint: The MIT Press • BISAC: Research & MethodologyA practical guide to using modern software effectively in quantitative research in the social and natural sciences.This...