Mattias - PDFSEARCH.IO - Document Search Engine

Mattias
Results: 248

#	Item
1	Formale Systeme II: Theorie SS 2016 Prof. Dr. Bernhard Beckert · Dr. Mattias Ulbrich Slides by courtesy of Andr´e Platzer, CMU Add to Reading List Source URL: formal.iti.kit.edu Language: English - Date: 2016-06-13 15:35:57
2	Formale Systeme II: Theorie Axiomatic Set Theory SSProf. Dr. Bernhard Beckert · Dr. Mattias Ulbrich Add to Reading List Source URL: formal.iti.kit.edu Language: English - Date: 2016-07-23 11:12:15 Mathematical logic Set theory Logic Z notation S Naive set theory Constructible universe Mereology
3	Formale Systeme II: Theorie Separation Logic SSProf. Dr. Bernhard Beckert · Dr. Mattias Ulbrich Add to Reading List Source URL: formal.iti.kit.edu Language: English - Date: 2016-08-05 06:53:04 Theoretical computer science Formal methods Logic in computer science Software engineering Separation logic Postcondition Precondition Design by contract Predicate transformer semantics Formal verification Software verification
4	Formale Systeme II: Theorie SS 2016 Prof. Dr. Bernhard Beckert · Dr. Mattias Ulbrich Slides by courtesy of Andr´e Platzer, CMU Add to Reading List Source URL: formal.iti.kit.edu Language: English - Date: 2016-05-28 04:48:57 Logic Non-classical logic Metaphysics Mathematical logic Cyber-physical system Modal logic KeY Dynamic logic BL
5	Karlsruher Institut f¨ ur Technologie Institut f¨ ur Theoretische Informatik Prof. Dr. Bernhard Beckert Dr. Mattias Ulbrich Add to Reading List Source URL: formal.iti.kit.edu Language: German - Date: 2016-05-03 11:00:44
6	Karlsruher Institut f¨ ur Technologie Institut f¨ ur Theoretische Informatik Prof. Dr. Peter H. Schmitt David Farago, Christoph Scheben, Mattias Ulbrich Add to Reading List Source URL: i12www.ira.uka.de Language: German - Date: 2011-12-19 05:26:15
7	Karlsruher Institut f¨ ur Technologie Institut f¨ ur Theoretische Informatik Prof. Dr. Peter H. Schmitt David Farago, Christoph Scheben, Mattias Ulbrich Add to Reading List Source URL: i12www.ira.uka.de Language: German - Date: 2011-12-20 07:32:59
8	Karlsruher Institut f¨ ur Technologie Institut f¨ ur Theoretische Informatik Prof. Dr. Peter H. Schmitt David Farago, Christoph Scheben, Mattias Ulbrich Add to Reading List Source URL: i12www.ira.uka.de Language: German - Date: 2012-11-12 15:34:38
9	Karlsruher Institut f¨ ur Technologie Institut f¨ ur Theoretische Informatik Prof. Dr. Peter H. Schmitt David Farago, Christoph Scheben, Mattias Ulbrich Add to Reading List Source URL: i12www.ira.uka.de Language: German - Date: 2012-10-31 14:00:10
10	Karlsruher Institut f¨ ur Technologie Institut f¨ ur Theoretische Informatik Prof. Dr. Peter H. Schmitt David Farago, Christoph Scheben, Mattias Ulbrich Add to Reading List Source URL: i12www.ira.uka.de Language: German - Date: 2012-01-17 11:14:01