Logic in Computer Science
London) Technology and Medicine Michael (Imperial College of Science Huth,
Mark (University of Birmingham) Ryan
Knihu koupíte v
1 e-shopu
Pokud se vám po kliknutí na tlačítko "Do obchodu" nezobrazí stránka knihy ve vybraném e-shopu, je třeba vypnout AdBlock ve vašem prohlížeči pro naši stránku.
Návod na vypnutí je například na adrese https://o.seznam.cz/jak-vypnout-adblock/#1.
Krátký popis
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.
Výběr knih vydavatele
Cambridge University Press
Zobrazit všechny knihy vydavatele
Cambridge University Press
Naše tipy
