Posted by **arundhati** at June 26, 2015

2007 | ISBN-10: 1584886072 | 553 pages | PDF | 9 MB

Posted by **arundhati** at April 17, 2015

1997 | ISBN-10: 1461264138, 0817639160 | 202 pages | PDF | 11 MB

Posted by **Specialselection** at Nov. 23, 2011

Chapman and Hall/CRC; 1 edition | English | 2006-11-02 | ISBN: 1584886072 | 553 pages | PDF | 8.66 mb

Posted by **MoneyRich** at Nov. 30, 2016

English | 2000 | ISBN: 0130107050 | ASIN: B007BNIXL2 | 241 Pages | PDF | 7 MB

This book covers the central topics of first-order mathematical logic in a way that can reasonably be completed in a single semester. FVom the core ideas of languages, structures, and deductions we move on to prove the Soundness and Completeness Theorems, the Compactness Theorem, and Godel's First and Second Incompleteness Theorems. There is an introduction to some topics in model theory along the way, but I have tried to keep the text tightly focused.

Posted by **interes** at Nov. 21, 2016

English | 2016 | ISBN: 3319324276 | 232 pages | PDF | 4 MB

Posted by **arundhati** at Oct. 4, 2016

2003 | ISBN-10: 0471431168 | 448 pages | PDF | 38 MB

Posted by **enmoys** at June 16, 2016

2004 | 588 Pages | ISBN: 0130457965 | PDF | 32 MB

Posted by **roxul** at May 31, 2016

English | ISBN: 9814556580 | 2014 | 380 pages | PDF | 3 MB

Posted by **tanas.olesya** at March 6, 2016

English | 1996 | ISBN: 038797878X | 674 Pages | PDF | 29 MB

The book contains a large amount of information not found in standard textbooks. Written for the advanced undergraduate/beginning graduate student, it combines the modern mathematical standards of numerical analysis with an understanding of the needs of the computer scientist working on practical applications.

Posted by **AlenMiler** at March 1, 2016

English | Feb. 1, 2016 | ISBN: 1523477377 | 224 Pages | AZW3/MOBI/EPUB/PDF (conv) | 3.45 MB

As the title states, this is a friendly introduction to software testing. It covers the basics of testing theory and terminology, how to write test plans, and how defects are found and reported.