Wetenschappen Technische wetenschappen Computertechniek

Logic in Computer Science

Modelling and Reasoning about Systems

Michael (Imperial College of Science Huth & Mark (University of Birmingham) Ryan

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.

Leverbaar

€ 77,00

Levertijd: ca. 4 tot 6 werkdagen

in winkelwagen naar verlanglijst

Beschrijving Logic in Computer Science

This second edition continues to provide a clear introduction to formal reasoning which is both relevant to the needs of modern computer science and rigorous enough for practical application. Improvements have been made throughout, with many extra and expanded sections and exercises. The coverage of model-checking has been substantially updated.

ISBN: 9780521543101
Pagina's: 440
Verschenen: 01-01-2004
Rubriek: Computertechniek

Druk: 1
Uitvoering: Paperback
Taal: Engels
Uitgever: Cambridge University Press

Harvesting Data

Cultivate a more profitable and sustainable future for your agricultural operations with this essential book, which provides expert insights and real-world examples of how blockchain technology can revolutionize food safety, supply chain transparency, and market access for farmers globally.

Quantum Computing for Multimedia Processing, Teleportation, and Secure Networks

Quantum Computing for Multimedia Processing, Teleportation, and Secure Networks offers a comprehensive exploration of quantum-enhanced technologies across multimedia, communication, and cryptography.

PERFORMANCE RELIABILITY & AVAILABILITY E

This textbook intends to be a comprehensive and substantially self-contained two-volume book covering performance, reliability, and availability evaluation subjects. This textbook intends to be a comprehensive and substantially self-contained two-volume book covering performance, reliability, and availability evaluation subjects.