Home | Amazing | Today | Tags | Publishers | Years | Account | Search 
Interactive Theorem Proving and Program Development

Buy

A practical introduction to the development of proofs and certified programs using Coq.

An invaluable tool for researchers, students, and engineers interested in formal methods and the development of zero-fault software.

(HTML tags aren't allowed.)

Genomics, Proteomics, and Clinical Bacteriology: Methods and Reviews (Methods in Molecular Biology)
Genomics, Proteomics, and Clinical Bacteriology: Methods and Reviews (Methods in Molecular Biology)

Gazing into crystal balls is beyond the expertise of most scientists. Yet, as we look further into the 21st century, one does not have to be Nostradamus to predict that the current genomics and proteomics "revolution" will have an immense impact on medical bacteriology. This impact is already being re- ized in many academic...

Disinfection and Decontamination: Principles, Applications and Related Issues
Disinfection and Decontamination: Principles, Applications and Related Issues

In the battle between humans and microbes, knowledge may be not only the best weapon but also the best defense. Pulling contributions from 34 experts into a unified presentation, Disinfection and Decontamination: Principles, Applications, and Related Issues provides coverage that is both sophisticated and practical. The book reviews...

Beginning Web Programming with HTML, XHTML, and CSS
Beginning Web Programming with HTML, XHTML, and CSS
This beginning guide reviews HTML and also introduces you to using XHTML for the structure of a web page and cascading style sheets (CSS) for controlling how a document should appear on a web page. Youll learn how to take advantage of the latest features of browsers while making sure that your pages still work in older, but popular, browsers. By...

Pattern Recognition Technologies and Applications: Recent Advances (Premier Reference Source)
Pattern Recognition Technologies and Applications: Recent Advances (Premier Reference Source)
The nature of handwriting in our society has significantly altered over the ages due to the introduction of new technologies such as computers and the World Wide Web. With increases in the amount of signature verification needs, state of the art internet and paper-based automated recognition methods are necessary.

Pattern Recognition...

PC Magazine Windows Vista Security Solutions
PC Magazine Windows Vista Security Solutions
When you want to defend Windows Vista,it's good to know a PC Magazine expert

Unless a time machine just dropped you in the 21st century, you already know that protecting your computer is essential. Now, here's Vista—new enough that no one is sure exactly what security threats might arise to hijack your...

Game Programming Gems 6 (Book & CD-ROM)
Game Programming Gems 6 (Book & CD-ROM)
Welcome to the sixth volume of the Game Programming Gems series. With team sizes constantly expanding, developers are finding themselves pushed to become increasingly specialized. This makes it important to have cutting-edge, ready-to-use material in your specialization, as well as resources that you can call upon if you need to work outside your...
©2021 LearnIT (support@pdfchm.net) - Privacy Policy