Code: 17647496
This text presents the formal concepts underlying Computer Science.It starts with a wide introduction to Logic with an emphasis on reasoning and proof, with chapters on Program Verification and Prolog.The treatment of computabilit ... more
English
You get 239 loyalty points
Book synopsis
This text presents the formal concepts underlying Computer Science.It starts with a wide introduction to Logic with an emphasis on reasoning and proof, with chapters on Program Verification and Prolog.The treatment of computability with Automata and Formal
Book details
Book category Books in English Computing & information technology Computer science Artificial intelligence
98.46 €
English
Collection points Bratislava a 12666 dalších
Copyright ©2008-26 najlacnejsie-knihy.sk All rights reservedPrivacyCookies
25336 collection points
Delivery 2.99 €
02/210 210 99 (8-15.30h)Shopping cart ( Empty )