Posted by **hill0** at May 23, 2018

English | 2 Mar. 2017 | ISBN: 3319516515 | 150 Pages | PDF | 1.88 MB

Posted by **roxul** at April 12, 2017

2010 | ISBN-10: 0817645721 | 236 pages | PDF | 2 MB

Posted by **naag** at March 18, 2017

English | 2 Mar. 2017 | ISBN: 3319516515 | 150 Pages | EPUB | 0.1 MB

Posted by **step778** at Feb. 10, 2017

2008 | pages: 171 | ISBN: 0817647627 | PDF | 9,9 mb

Posted by **hill0** at Feb. 7, 2017

English | 2 Mar. 2017 | ISBN: 3319516515 | 150 Pages | PDF | 1.88 MB

This book provides an introduction to logic and mathematical induction which are the basis of any deductive computational framework. A strong mathematical foundation of the logical engines available in modern proof assistants, such as the PVS verification system, is essential for computer scientists, mathematicians and engineers to increment their capabilities to provide formal proofs of theorems and to certify the robustness of software and hardware systems.

Posted by **Veslefrikk** at July 23, 2013

Birkhäuser Boston | 2008 | ISBN: 0817647627, 0817634533, 3764334533 | 166 pages | PDF | 10,1 MB

Posted by **arundhati** at Nov. 1, 2017

2016 | ISBN-10: 1848902255 | 364 pages | PDF | 28 MB

Posted by **AvaxGenius** at March 3, 2017

English | EPUB | 2011 | 342 Pages | ISBN : 0857294458 | 4.18 MB

Mathematics and mathematical modelling are of central importance in computer science, and therefore it is vital that computer scientists are aware of the latest concepts and techniques.

Posted by **ChrisRedfield** at Jan. 29, 2017

Published: 2012-06-17 | ISBN: 1447141288 | PDF | 346 pages | 13.03 MB

Posted by **interes** at Dec. 13, 2016

English | 2013 | ISBN: 1439875901 | 473 pages | PDF | 15 MB