Goodreads helps you keep track of books you want to read.
Start by marking “Software Foundations” as Want to Read:
Software Foundations
Other editions
Enlarge cover
Rate this book
Clear rating
1 of 5 stars2 of 5 stars3 of 5 stars4 of 5 stars5 of 5 stars
Open Preview

Software Foundations

4.59  ·  Rating details ·  27 Ratings  ·  2 Reviews
The Software Foundations series is a broad introduction to the mathematical underpinnings of reliable software.

The principal novelty of the series is that every detail is one hundred percent formalized and machine-checked: the entire text of each volume, including the exercises, is literally a "proof script" for the Coq proof assistant.

The exposition is intended for a broa ...more
ebook, 800 pages
Published June 28th 2011
More Details... edit details

Friend Reviews

To see what your friends thought of this book, please sign up.

Reader Q&A

To ask other readers questions about Software Foundations, please sign up.

Be the first to ask a question about Software Foundations

Lists with This Book

This book is not yet featured on Listopia. Add this book to your favorite list »

Community Reviews

(showing 1-58)
Rating details
Loading
Sort: Default
|
Filter
Josh
Mar 01, 2012 rated it it was amazing
After I managed to get over the hurdle of starting this book (I needed some serious math refreshing), it quickly became one of my favorite books. Programming in Coq is extremely addictive, and Software Foundation's treatment of it and of programming languages concepts in general are very well done.

Additionally, I think it's worth pointing out that I would have loved to have learned proofs and induction in this style (proofs as programs) rather than my dry boring university lectures from the mat ...more
flag 4 likes ·   · see review
Chetan
Sep 25, 2013 rated it it was amazing
The best introduction on using dependently typed progamming to prove a lot of fundamental CS. Begins from simple logic all the way to partial evaluation in lambda calculus.
The problem sets are really fun! All exercises are in Coq, feel like you're solving a puzzle game.
flag 2 likes ·   · see review
Jakub
rated it it was amazing
Jul 30, 2014
Miho
rated it it was amazing
Oct 10, 2016
Jan Kroken
rated it it was amazing
Sep 16, 2017
Miranda Edwards
rated it it was amazing
Oct 20, 2017
Ilmari Vacklin
rated it it was amazing
Jul 06, 2018
Andreas Wagner
rated it it was amazing
Jun 02, 2015
Nate
rated it really liked it
May 29, 2017
Mark
rated it it was amazing
Sep 25, 2014
Konstantin Solomatov
rated it it was amazing
Feb 17, 2013
Alex (Sasha)
rated it it was amazing
Apr 24, 2016
Robert
rated it really liked it
Sep 20, 2014
Wanglulu
rated it it was amazing
Jul 27, 2016
Molla
rated it it was amazing
Sep 17, 2013
Yosuke
rated it liked it
Sep 12, 2016
Apoorv Ingle
rated it it was amazing
Dec 11, 2017
Chen Shen
rated it it was amazing
Jan 24, 2017
András Kovács
rated it really liked it
Jun 28, 2014
Chris Hall
rated it it was amazing
Jun 08, 2016
Ted Feng
rated it it was amazing
Oct 18, 2014
Robert Goss
rated it liked it
Dec 23, 2015
John
rated it really liked it
Sep 27, 2014
Ismail Kuru
rated it really liked it
Apr 10, 2016
Daniel
rated it liked it
May 25, 2015
Giorgos
rated it it was amazing
Feb 16, 2015
Vikas
rated it it was amazing
Feb 03, 2015
Mike Aizatsky
rated it it was amazing
Feb 20, 2014
Alex Ott
marked it as to-read
Feb 02, 2012
Andy Legkiy
marked it as to-read
Feb 02, 2012
Arseny
marked it as to-read
Feb 02, 2012
Yaroslav Matveychuk
marked it as to-read
Mar 03, 2012
Yury Antonov
marked it as to-read
Mar 15, 2012
Ivan Fedorov
marked it as to-read
Mar 18, 2012
Tyler Weir
marked it as to-read
Jul 12, 2012
Thomas
marked it as to-read
Jul 12, 2012
Ilya
is currently reading it
Jul 15, 2012
Marvin
marked it as to-read
Jul 23, 2012
K0001
marked it as to-read
Jul 29, 2012
Michael
marked it as to-read
Sep 06, 2012
Colin Jones
marked it as to-read
Sep 06, 2012
Proctor
marked it as to-read
Sep 12, 2012
yujin
marked it as to-read
Nov 25, 2012
Arun
marked it as to-read
Dec 01, 2012
Aaron
is currently reading it
Dec 30, 2012
Neil
marked it as to-read
Feb 05, 2013
John Ledesma
marked it as to-read
Mar 25, 2013
Ahmed
marked it as to-read
Apr 01, 2013
Dmytro
marked it as to-read
Apr 06, 2013
Keshav
marked it as to-read
May 25, 2013
Ilya
marked it as to-read
Jun 13, 2013
Vishal
is currently reading it
Jul 06, 2013
Omar
added it
Jul 21, 2013
Kiran
marked it as to-read
Jul 22, 2013

new topic
Discuss This Book

There are no discussion topics on this book yet. Be the first to start one »
Recommend It  |  Stats  |  Recent Status Updates

Goodreads is hiring!

If you like books and love to build cool products, we may be looking for you.
Learn more »

Genres

Science > Computer Science
9 users
Computer Science > Programming
4 users
Nonfiction
3 users
Science > Technology
2 users
Unfinished
2 users
Textbooks
2 users
See top shelves…

About Benjamin C. Pierce

Benjamin C. Pierce
24 followers

Books by Benjamin C. Pierce

Types and Programming Languages
Basic Category Theory for Computer Scientists
Advanced Topics in Types and Programming Languages
Software Foundations, Volume 2: Programming Language Foundations
Software Foundations, Volume 1: Logical Foundations
More…

Nonfiction Deals

  • Platform: Get Noticed in a Noisy World
    $9.99 $2.99
  • How to Write a Sentence: And How to Read One
    $10.49 $1.99
  • Hidden Figures
    $7.99 $1.99
  • Pocket Prayers: 40 Simple Prayers that Bring Peace and Rest
    $2.99 $0.99
  • Manifest Your Destiny: Nine Spiritual Principles for Getting Ev
    $11.74 $1.99
  • A Three Dog Life
    $9.99 $2.99
  • How Children Succeed: Grit, Curiosity, and the Hidden Power of Character
    $10.99 $2.99
  • Happiness: A Guide to Developing Life's Most Important Skill
    $7.99 $2.99
  • My Glory Was I Had Such Friends: A Memoir
    $10.99 $1.99
  • Say Goodbye to Survival Mode: 9 Simple Strategies to Stress Less, Sleep More, and Restore Your Passion for Life
    $6.99 $0.99
  • Spoiler Alert: The Hero Dies: A Memoir of Love, Loss, and Other Four-Letter Words
    $13.99 $1.99
  • Casino: Love and Honor in Las Vegas
    $19.99 $2.99
  • I'd Rather Be Reading: A Library of Art for Book Lovers
    $9.99 $1.99
  • The Girl With No Name: The Incredible True Story of a Child Raised by Monkeys
    $17.99 $1.99
  • America's Women: 400 Years of Dolls, Drudges, Helpmates, and Heroines
    $14.99 $1.99
  • The Good Girls Revolt: How the Women of Newsweek Sued their Bosses and Changed the Workplace
    $9.99 $2.99
  • Dancing in the Glory of Monsters: The Collapse of the Congo and the Great War of Africa
    $11.99 $3.99
  • Dear Bob and Sue
    $6.99 $2.99
  • Hello Mornings: How to Build a Grace-Filled, Life-Giving Morning Routine
    $9.99 $2.99
  • Mossad: The Greatest Missions of the Israeli Secret Service
    $10.24 $1.99
  • Act Like a Success, Think Like a Success: Discovering Your Gift and the Way to Life's Riches
    $12.99 $1.99
  • Prisoners of Geography: Ten Maps That Explain Everything About the World
    $12.99 $2.99
  • The Sea Around Us
    $17.99 $1.99
  • This Is an Uprising: How Nonviolent Revolt Is Shaping the Twenty-First Century
    $11.99 $3.99
  • The Newcomers: Finding Refuge, Friendship, and Hope in an American Classroom
    $14.99 $2.99
  • Minimalism: Live a Meaningful Life
    $8.99 $2.49
  • The Millionaire Fastlane
    $7.99 $2.49
  • Training the Mind and Cultivating Loving-Kindness
    $13.99 $1.99
  • Jesus > Religion: Why He Is So Much Better Than Trying Harder, Doing More, and Being Good Enough
    $9.99 $1.99
  • The Proper Care and Feeding of Husbands
    $9.99 $1.99
  • Unlimited Memory: How to Use Advanced Learning Strategies to Learn Faster, Remember More and be More Productive (Mental Mastery Book 1)
    $9.99 $3.49
  • Forty Autumns: A Family's Story of Courage and Survival on Both Sides of the Berlin Wall
    $11.99 $1.99
  • Failing Forward: How to Make the Most of Your Mistakes
    $10.99 $3.99
  • The Joy of Less, A Minimalist Living Guide: How to Declutter, Organize, and Simplify Your Life
    $9.99 $3.49
  • If Our Bodies Could Talk: A Guide to Operating and Maintaining a Human Body
    $12.99 $2.99
  • The Crossroads of Should and Must: Find and Follow Your Passion
    $15.95 $1.99
  • 1812: The War That Forged a Nation
    $14.99 $1.99
  • Revolution for Dummies: Laughing through the Arab Spring
    $9.99 $1.99
  • Proust Was a Neuroscientist
    $14.99 $1.99
  • The Opposite of Spoiled: Raising Kids Who Are Grounded, Generous, and Smart About Money
    $11.99 $1.99
  • Life From Scratch: A Memoir of Food, Family, and Forgiveness
    $9.99 $2.99
  • The Naked Lady Who Stood on Her Head: A Psychiatrist’s Stories of His Most Bizarre Cases
    $14.99 $1.99
  • Think Better, Live Better: A Victorious Life Begins in Your Mind
    $9.99 $2.99
  • Purity of Heart: Is To Will One Thing (Harper Torchbooks)
    $7.99 $1.99
  • What Do Women Want? Adventures in the Science of Female Desire
    $11.74 $1.99
  • Men Are from Mars, Women Are from Venus: Practical Guide for Improving Communication
    $12.74 $1.99
  • Wiseguy
    $9.99 $4.99
  • Creating Character Arcs: The Masterful Author's Guide to Uniting Story Structure, Plot, and Character Development (Helping Writers Become Authors Book 7)
    $3.99 $1.99
  • Draw the Circle: The 40 Day Prayer Challenge
    $9.99 $2.99
  • Monsoon Mansion: A Memoir
    $4.99 $1.99
  • An Abbreviated Life: A Memoir
    $10.24 $1.99
  • Seeing What Others Don't: The Remarkable Ways We Gain Insights
    $11.99 $3.99
  • The Dance of Anger: A Woman's Guide to Changing the Patterns of Intimate Relationships
    $11.99 $1.99
  • When to Rob a Bank: ...And 131 More Warped Suggestions and Well-Intended Rants
    $11.99 $2.99
  • Grammar Girl's Quick and Dirty Tips for Better Writing
    $9.99 $2.99
  • An American Princess: The Many Lives of Allene Tew
    $5.99 $2.99
  • Irena's Children: The Extraordinary Story of the Woman Who Saved 2,500 Children from the Warsaw Ghetto
    $11.99 $2.99
  • The Piano Shop on the Left Bank: Discovering a Forgotten Passion in a Paris Atelier
    $11.99 $1.99
  • Time Management from the Inside Out: The Foolproof System for Taking Control of Your Schedule--and Your Life
    $9.99 $2.99
  • However Long the Night: Molly Melching's Journey to Help Millions of African Women and Girls Triumph
    $14.99 $1.99
  • Elizabeth the Queen: The Life of a Modern Monarch
    $14.99 $1.99
  • Tisha: The Story of a Young Teacher in the Alaskan Wilderness
    $7.99 $1.99
  • The Demon-Haunted World: Science as a Candle in the Dark
    $5.99 $1.99
  • The Art of Thinking Clearly
    $13.74 $1.99
  • The Destiny Thief: Essays on Writing, Writers and Life
    $13.99 $1.99
  • In Pursuit of Memory: The Fight Against Alzheimer's
    $14.99 $4.99
  • The Three-Year Swim Club: The Untold Story of Maui's Sugar Ditch Kids and Their Quest for Olympic Glory
    $9.99 $2.99
  • 100 Days to Brave: Devotions for Unlocking Your Most Courageous Self
    $9.99 $1.99
  • How to Cook Everything The Basics: All You Need to Make Great Food--With 1,000 Photos
    $19.99 $2.99
  • Nonzero: The Logic of Human Destiny
    $11.99 $2.99
  • Modern Tarot: Connecting with Your Higher Self through the Wisdom of the Cards
    $6.99 $1.99
  • The Simple Faith of Mr. Rogers: Spiritual Insights from the World's Most Beloved Neighbor
    $7.99 $1.99
See All Goodreads Deals…

Trivia About Software Foundations

No trivia or quizzes yet. Add some now »
© 2018 Goodreads Inc