English
Deutsch
Français
简体中文
繁體中文
Categories
-- Database/SQL
-- Multimedia
-- Internet/Networking
-- Operating System
-- Programming
-- Security/Hacking
-- Science/Engineering
-- Web/HTML/CSS/Ajax
-- Unix/Linux
-- Windows
-- Mac OS X
-- Office
-- Perl/PHP/Python
-- C/C++/C#
-- .NET
-- Java
-- Hardware
-- Game Development
-- Embedded Systems
-- Graphics and Design
-- Network Programming
Study
Novel
Nonfiction
Health
Tutorial
Entertainment
Business
Magazine
Arts & Design
Audiobooks & Video Training
Cultures & Languages
Family & Home
Law & Politics
Lyrics & Music
Software Related
eBook Torrents
Uncategorized
Share With Friends
Archive by Date
2012-08-05
2012-08-04
2012-08-03
2012-08-02
2012-08-01
2012-07-31
2012-07-30
2012-07-29
2012-07-28
Search Tag
Newest
"Multiplexed Networks for Embedded Systems: CAN, LIN, Flexray, Safe-by-Wire..." by Dominique Paret (Repost)
Dino Esposito, "Building Web Solutions with ASP.Net and ADO.NET" (Repost)
Learning Core Audio: A Hands-On Guide to Audio Programming for Mac and iOS
Power Performance - Multimedia Storytelling for Journalism and Public Relations
pluralsight-training.net SQL Server: Transact-SQL Basic Data Retrieval [2012, ENG]
pluralsight-training.net SQL Server: Collecting and Analyzing Trace Data [2012, ENG]
Pluralsight.net - Introduction to Nancy-JWARE
Technical Structured Programming with C++
Technical Getting Started with LaTeX by David R. Wilkins
Windows A Third Window - Natural Life beyond Newton and Darwin
PLURALSIGHT.NET WINDOWS 8 METRO CONNECTED APPS-JGTiSO
PLURALSIGHT.NET WINDOWS 8 METRO APPLICATION DATA-JGTiSO
PLURALSIGHT.NET BUILDING WINDOWS 8 METRO APPS WITH C PLUS PLUS AND XAML-JGTiSO
PLURALSIGHT.NET BUILDING WINDOWS 8 METRO APPS WITH C SHARP AND XAML-JGTiSO
PLURALSIGHT.NET INTRODUCTION TO BUILDING WINDOWS 8 METRO APPLICATIONS-JGTiSO
Multimedia over IP and Wireless Networks - Compression, Networking, and Systems
Interactive Distributed Multimedia Systems and Telecommunication Services
The Art of Hardware Architecture - Design Methods and Techniques for Digital Circuits
Pro/ENGINEER WILDFIRE 5.0 Tutorial and MultiMedia CD
Useful Links
Technical Software Foundations by Benjamin C. Pierce
Posted on 2010-05-19
|
These are notes for a one-semester course on Software Foundations -- the mathematical theory of programming and programming languages -- suitable for graduate or upper-level undergraduate students. They develop basic concepts of functional programming, logic, operational semantics, lambda-calculus, and static type systems, using the Coq proof assistant.
Rating:
2.5 out of 5 by Book123 |
| Download Links | |
| Server | Status |
|---|---|
| Direct Download Link 1 | Alive |
| Direct Download Link 2 | Alive |
| Download Link 1 | Alive |
|
Buy This Book at Best Price >> | |
Related Articles
 | Foundations of Software Testing: ISTQB Certification Dorothy Graham, Erik van Veenendaal, Isabel Evans, Rex Black “Foundations of Software Testing: ISTQB Certification" CENGAGE Lrng Business Press | 2006-12-19 | ISBN: 1844803554 | PDF | 258 pages | 2,4 Mb Your One-Stop Guide To Passing Th ... |
 | Programming Software Engineering Foundations: A Software Science Perspective Yingxu Wang “Software Engineering Foundations: A Software Science Perspective " AUERBACH / CRC Press | 2007-07-25 | ISBN: 0849319315 | 1488 pages | PDF | 7,7 Mb |
 | Nonfiction Benjamin Shambaugh and the Intellectual Foundations of Public Hisory Rebecca Conard, "Benjamin Shambaugh and the Intellectual Foundations of Public Hisory"University Of Iowa Press | 2001-11-01 | ISBN: 0877457891 | 266 pages | PDF | 1,1 MBAlthough his name is little known today outside Iowa, during the early ... |
 | Study Foundations of Software Science and Computational Structures Luca de Alfaro, "Foundations of Software Science and Computational Structures" Springer | 2009 | ISBN: 3642005950 | 471 pages | PDF | 5,1 MB This book constitutes the refereed proceedings of the 12th International Conference on Foundation ... |
 | Software Related Software Architecture: Foundations, Theory, and Practice Author: R. N. TaylorPublisher: WileyPublish Date: January 9, 2009ISBN: 0470167742Pages: 750Software architecture is foundational to the development of large, practical software-intensive applications. This brand-new text covers all facets o ... |
 | Science/Engineering foundations of software testing Author: Aditya P MathurPublisher: Pearson EducationPublish Date: April 2008ISBN: 8131716600Use this book to learn.. fundamentals of test generationtest adequacy criteria, from the simple to the most p ... |
Comments (0)
