Formal Methods in Software Engineering

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

More about
Formal Methods in Software Engineering

  • Class purpose General learning

Learn faster with Brainscape on your web, iPhone, or Android device. Study Ella Curly's Formal Methods in Software Engineering flashcards for their University of Hannover class 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?

Software Engineering
  • 21 decks
  • 603 flashcards
  • 49 learners
Decks: 3 Software Engineering 1 Grundlagen, 2 Modellieren 1 Was Ist Modellierung, 3 Se 2 Vorgehensmodelle, And more!
Formal Logic
  • 7 decks
  • 101 flashcards
  • 27 learners
Decks: Fallacies, Quantifier Restriction, Beginning, And more!
Make Flashcards