Přes Balíkovnu doručujeme za 49 Kč

Knihobot
Knihu momentálně nemáme skladem

Logic in Computer Science 2ed

Autoři

442 stránek

Více o knize

Focusing on the foundations of logic, this book introduces various logical frameworks essential for modeling, specifying, and verifying computer systems. It offers a comprehensive understanding of logical principles that underpin computer science, making it a valuable resource for those interested in the intersection of logic and technology. Through clear explanations and examples, readers will gain the tools needed to apply logical reasoning in the context of system design and verification.

Parametry

ISBN
9780521543101

Kategorie

Varianta knihy

2019, měkká

Nákup knihy

Jakmile ji vyčmucháme, pošleme vám e-mail.