Marketing and Business

Product DescriptionThe 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 throughout with many new and expanded text sections. The coverage of model-checking has been substantially updated and additional [...]

Product Description Featuring a strong emphasis on the fundamentals underlying contemporary logic design using hardware description languages, synthesis, and verification, this book focuses on the ever-evolving applications of basic computer design concepts with strong connections to real-world technology. Treatment of logic design, digital system design, and computer design. Ideal for self-study [...]

Product DescriptionProviding solid digital system design fundamentals while accomplishing a gradual, bottom-up development of these fundamentals, this book focuses on the ever-evolving applications of basic computer design concepts. Treatment of logic design, digital system design, and computer design. Ideal for self-study by engineers and computer scientists. . . . More >>
Logic [...]