Library

Explore 200,000 online courses/books/problem sets in over 2,050 subjects. From Computer Science, Business, and Personal Development to Arts, STEM, and more. Find your perfect MOOC.

Library

Learning Product
Subject
Difficulty
Cost
Certificate
Provider
Publisher
University
Institution
Tag

Publisher : 50 ×

Software Foundation Volume 1: Logical Foundations

This is the entry point to a series of electronic textbooks on various aspects of Software Foundations, the mathematical underpinnings of reliable software. Topics in the series include basic...

Books University of Pennsylvania 💰 Computer Science

Software Foundation Volume 1: Logical Foundations

This is the entry point to a series of electronic textbooks on various aspects of Software Foundations, the mathematical underpinnings of reliable software. Topics in the series include...

Software Foundation Volume 2: Programming Language Foundations

This electronic book is a survey of basic concepts in the mathematical study of programs and programming languages. Topics include advanced use of the Coq proof assistant, operational semantics,...

Books University of Pennsylvania 💰 Computer Science

Software Foundation Volume 2: Programming Language Foundations

This electronic book is a survey of basic concepts in the mathematical study of programs and programming languages. Topics include advanced use of the Coq proof assistant, operational...

Software Foundation Volume 4: QuickChick: Property-Based Testing in Coq

The Software Foundations series is a broad introduction to the mathematical underpinnings of reliable software.QuickChick: Property-Based Testing in Coq introduces tools and techniques for combining...

Books University of Pennsylvania 💰 Computer Science

Software Foundation Volume 4: QuickChick: Property-Based Testing in Coq

The Software Foundations series is a broad introduction to the mathematical underpinnings of reliable software.QuickChick: Property-Based Testing in Coq introduces tools and techniques for...

Software Foundation Volume 6: Separation Logic Foundations

This electronic book is Volume 6 of the Software Foundations series, which presents the mathematical underpinnings of reliable software.*COMPANION COURSE NOTES*: A large part of this course...

Books University of Pennsylvania 💰 Computer Science

Software Foundation Volume 6: Separation Logic Foundations

This electronic book is Volume 6 of the Software Foundations series, which presents the mathematical underpinnings of reliable software.*COMPANION COURSE NOTES*: A large part of this...

Software Foundation Volume 3: Verified Functional Algorithms

In this volume you will learn how to specify and verify (prove the correctness of) sorting algorithms, binary search trees, balanced binary search trees, and priority queues. Before using this book,...

Books University of Pennsylvania 💰 Computer Science

Software Foundation Volume 3: Verified Functional Algorithms

In this volume you will learn how to specify and verify (prove the correctness of) sorting algorithms, binary search trees, balanced binary search trees, and priority queues. Before using this...

Software Foundation Volume 5: Verifiable C

Verifiable C is based on a 21st-century version of Hoare logic called higher-order impredicative concurrent separation logic. Back in the 20th century, computer scientists discovered that Hoare...

Books University of Pennsylvania 💰 Computer Science

Software Foundation Volume 5: Verifiable C

Verifiable C is based on a 21st-century version of Hoare logic called higher-order impredicative concurrent separation logic. Back in the 20th century, computer scientists discovered that...

Records : 6 of 6