CS4052 Logic and Software Verification

This class was created by Brainscape user Tom Hardern. Visit their profile to learn more about the creator.

More about
CS4052 Logic and Software Verification

  • Class purpose General learning

Learn faster with Brainscape on your web, iPhone, or Android device. Study Tom Hardern's CS4052 Logic and Software Verification flashcards now!

How studying works.

Brainscape's adaptive web mobile flashcards system will drill you on your weaknesses, using a pattern guaranteed to help you learn more in less time.

Add your own flashcards.

Either request "Edit" access from the author, or make a copy of the class to edit as your own. And you can always create a totally new class of your own too!

What's Brainscape anyway?

Brainscape is a digital flashcards platform where you can find, create, share, and study any subject on the planet.

We use an adaptive study algorithm that is proven to help you learn faster and remember longer....

Looking for something else?

PHI 250 - Thinking Logically
  • 11 decks
  • 494 flashcards
  • 781 learners
Decks: Chapter 1, Chapter 3, Chapter 5, And more!
Software Douchebags
  • 15 decks
  • 2303 flashcards
  • 97 learners
Decks: Se3352 Final, Ece4436 Final, Se3316 Final, And more!
Logic
  • 2 decks
  • 91 flashcards
  • 519 learners
Decks: Test 2, Fallacies Review, And more!
Make Flashcards