Tag Archives: Series.

Interactive Theorem Proving and Program Development: Coq’Art: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science. An EATCS Series)

Interactive Theorem Proving and Program Development: Coq’Art: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science. An EATCS Series) A practical introduction to the development of proofs and certified programs using Coq. An invaluable tool for researchers, students, and … Continue reading

Posted in Text Programs | Tagged , , , , , , , , , , , , , , | Leave a comment

The Little Book of Basic Style: How to Write a Program You Can Read (Series in Joy of Computing)

The Little Book of Basic Style: How to Write a Program You Can Read (Series in Joy of Computing) List Price: $ 8.95 Price: $ 11.77

Posted in Read Programs | Tagged , , , , , , , , | Leave a comment

HON File Cabinets Hang Rails for 500 & 530 Series File Cabinets, 4 Pairs Per Pack

HON File Cabinets Hang Rails for 500 & 530 Series File Cabinets, 4 Pairs Per Pack Best Prices HON Hangrails work with the HON 500 and 530 Series cabinets to turn drawers into letter or legal hanging file systems. Each … Continue reading

Posted in Yorkie Pets | Tagged , , , , , , | Leave a comment