Logic in Computer Science: Modelling and Reasoning about Systems, Paperback/Michael Huth
463,99 RON
Disponibil pe: Elefant
Brand: Cambridge University Press
Ultima actualizare: 2025-05-21 18:09:38
Cumpără acumThe 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 exercises are included. Internet support includes worked solutions for teacher exercises and model solutions to some student exercises. First Edition Hb (2000): 0-521-65200-6 First Edition Pb (2000): 0-521-65602-8
Acest produs nu este vândut de qb.ro. Prețul și stocul nu sunt actualizate în timp real. Detalii cu caracter informativ. Pentru cele mai noi informații despre acest produs vizitați site-ul vânzătorului.Produse Similare
Cum să alegi hamacul potrivit
Hamacul poate fi un companion de relaxare perfect într-o zi de vară. Indiferent dacă dorești să te relaxezi în propria ta curte sau să te odihneș...
Citește mai mult
Cun să alegi cea mai bună bicicletă pentru copii
Bicicleta este un element esențial în dezvoltarea copilului. Nu numai că stimulează abilitățile motorii și percepția spațială, dar contribuie la o star...
Citește mai mult
Cum să alegi cel mai bun cuptor cu microunde
Cuptorul cu microunde este un electrocasnic esențial într-o bucătărie modernă. Acesta economisește timp și energie și permite gătirea sau încălzi...
Citește mai mult