Flick Club LogoFlick Club Logo

Semantik und Programmverifikation

Christoph Walther

Formale Semantik Funktionale Programmiersprache Programmverifikation
Mr. Peabody & Sherman
3.4 3K votes
After Earth
2.6 7K votes
Silver Linings Playbook
3.6 12K votes
Wreck-It Ralph
3.7 13K votes
Chasing Mavericks
3.5 552 votes
La luna
3.9 785 votes
Moonrise Kingdom
3.8 6K votes
The Words
3.3 2K votes
You're Next
3.3 3K votes
On the Road
2.8 826 votes
Step Up Revolution
3.5 3K votes
ACAB : All Cops Are Bastards
3.5 810 votes
The Imposter
3.7 717 votes
V/H/S
3.0 2K votes
Searching for Sugar Man
3.9 903 votes
Safety Not Guaranteed
3.4 2K votes
Robot & Frank
3.5 2K votes
Liberal Arts
3.2 526 votes
Bachelorette
2.7 2K votes
Excision
3.1 538 votes
Beasts of the Southern Wild
3.4 2K votes
Compliance
3.2 666 votes
The First Time
3.5 3K votes
Le Chef
3.1 578 votes
Filth
3.4 2K votes
How to Train Your Dragon 2
3.8 10K votes
Hope Springs
3.1 761 votes
Les Misérables
3.7 6K votes
The Guilt Trip
2.8 700 votes
Gangster Squad
3.2 4K votes
Taken 2
3.2 7K votes
From Up on Poppy Hill
3.8 2K votes
Cloud Atlas
3.4 7K votes
Boyhood
3.8 6K votes
Sinister
3.4 6K votes
House at the End of the Street
2.9 2K votes
Tangled Ever After
3.6 2K votes
The Perks of Being a Wallflower
3.9 11K votes
The Immature: The Trip
3.0 600 votes
Welcome to the North
2.9 2K votes
Fast & Furious 6
3.4 11K votes
Paranormal Activity 4
2.7 2K votes
Jeff, Who Lives at Home
3.1 612 votes
Return
3.2 4K votes
Savages
3.2 3K votes
Flight 7500
2.4 532 votes
Diary of a Wimpy Kid: Dog Days
3.2 943 votes
Warm Bodies
3.2 6K votes