Logic in Computer Science: Modelling and Reasoning about Systems, Paperback/Michael Huth
Momentan nu sunt oferte disponibile.
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. 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
Alte produse asemănătoare
Cambridge University Press
What Was Shakespeare Really Like?, Hardback/***
de la 108,99 RON
2
În stoc
Cambridge University Press
NRSVue Popular Text Bible with Apocrypha, NR530:TA. Updated Edition, British Text, Hardback/***
de la 169,99 RON
2
În stoc
Cambridge University Press
Cambridge Latin Course Book 5 Student's Book. 4 Revised edition, Paperback/Cambridge School Classics Project
de la 198,31 RON
2
În stoc
Cambridge University Press
Cambridge Word Routes Anglais-Francais: Lexique Thematique de L'Anglais Courant, Paperback/McCarthy Michael
de la 228,99 RON
1
În stoc