***Elakiri IT Books***

blacklion.lk

Member
Jan 31, 2010
871
26
0
xat3mb.jpg

http://hotfile.com/dl/35745925/e4f6804/3301.rar.html
 

blacklion.lk

Member
Jan 31, 2010
871
26
0
22as1h.jpg

This is an excellent textbook on logic and formal methods which is very suitable for computer science students... discusses the whole range from logic to applications: propositional and predicate logic, temporal logic and more generally model logic, program verification, model checking, and symbolic model checking using binary decision diagrams ... As any good textbook, this book is not only to be recommended for students but for anyone who is interested in applications of logic in computer science.
http://hotfile.com/dl/34023536/73f40ba/Log...cience.rar.html
 

blacklion.lk

Member
Jan 31, 2010
871
26
0