1
0
0
(1 - 25 von 26
)
Thomas Santen (Editor of Integrated Formal Methods)
www.goodreads.com
ratings, 0 reviews, published 2000)
bokus.com: Integrated Formal Methods - Wolfgang Grieskamp, Thomas Santen, Bill...
Köp Integrated Formal Methods av Wolfgang Grieskamp, Thomas Santen, Bill Stoddart. Skickas inom vardagar. Fri frakt över 199 kr. Välkommen till Bokus...
Integrated Formal Methods - Dymocks
www.dymocks.com.au
... IFM 2000, Dagstuhl Castle, Germany, November 1-3, Proceedings. PaperBack by Wolfgang Grieskamp, Thomas Santen, Bill Stoddart, Bill Stoddart. › book
Computer Safety, Reliability, and Security: 25th ...google.cz
books.google.cz
... Thomas Santen Institut f ̈ur Softwaretechnik und Theoretische Informatik Technische Universität Berlin, Germany Abstract. System development ...
Computer Security – ESORICS 2006: 11th European Symposium on ...google.cz
books.google.cz
... Thomas Santen Institut f ̈ur Softwaretechnik und Theoretische Informatik Technische Universität Berlin, Germany Abstract. Based on a system ...
Formale Programmentwicklung mit dynamischer Logikgoogle.de
books.google.de
... Thomas Santen danke ich für die Implementierung der hier geschilderten Verfahren und ihre Anregungen zur Verbesserung des Systems. Norbert Lindenberg und ...
Free delivery worldwide on all books from Book Depository
www.bookdepository.com
Book Depository is the world's most international online bookstore offering over million books with free delivery worldwide.
Informatik — Wirtschaft — Gesellschaft: 23. GI — ...google.de
books.google.de
... Thomas Santen TU Berlin, Softwaretechnik Sekr. FR Berlin email: {ma, beyer, santen}0cs.tu-berlin.de Das vollständige, aus ...
Integrated Formal Methods: Second International Conference, ...google.cz
books.google.cz
... Thomas Santen, Bill Stoddart. Preface. IFM 2000, the second in a series of ... Thomas Santen Bill Stoddart Organization Wolfgang Grieskamp, Technical ...
Formale Programmentwicklung mit dynamischer Logik - Maritta Heisel -...
books.google.nl
Den Studierenden Martin Gelfort und Thomas Santen danke ich für die Implementierung der hier geschilderten Verfahren und ihre Anregungen zur Verbesserung ...
Integrated Formal Methods: Second International Conference, IFM
books.google.nl
IFM 2000, the second in a series of international conferences on Integrated F- mal Methods, was held at the 18th-century chateau ^ of Schloss Dagstuhl, Sa-...
Neue freie Presse: 1874,2 - Google Books
books.google.nl
Thomas Santen . jen Tode unrettbar verfallene Mann , welcher seinen Zustand gut deutschen Pferde auf den österreichisden Nennbahnen fernerhin 50 fing er ...
Computer Safety, Reliability, and Security: 25th International...
books.google.de
Stepwise Development of Secure Systems Thomas Santen Institut f ̈ur Softwaretechnik und Theoretische Informatik Technische Universität Berlin, ...
Informatik — Wirtschaft — Gesellschaft: 23. GI — Jahrestagung,...
books.google.de
Extended Abstract – Matthias Anlauff, Martin Beyer, Thomas Santen TU Berlin, Softwaretechnik Sekr. FR Berlin email: {ma, ...
Computer Security – ESORICS 2006: 11th European Symposium on Research...
books.google.com.ua
This book constitutes the refereed proceedings of the 11th European Symposium on Research in Computer Security, ESORICS The 32 revised full papers...
FME 2001: Formal Methods for Increasing Software Productivity:...
books.google.de
Steffen Helke and Thomas Santen Technische Universit ̈at Berlin Institut f ̈ur ...
Formal Methods for Industrial Critical Systems: 15th International...
books.google.de
Technische Universit ̈at Dortmund, Germany Thomas Santen Microsoft (EMIC),
...
Integrated Formal Methods: 11th International Conference, IFM
books.google.de
This book constitutes the refereed proceedings of the 11th International Conference on Integrated Formal Methods, IFM 2014, held in Bertinoro, Italy, in...
Perspectives of Systems Informatics: 5th International Andrei Ershov...
books.google.com.ua
This book constitutes the thoroughly refereed postconference proceedings of the 5th International Andrei Ershov Memorial Conference, PSI 2003, held in...
Integrated Formal Methods: Third International Conference, IFM 2002,...
books.google.de
... UK) Jim Davies (Oxford, UK) Dominique Mery (Nancy, France) Luigia Petre (Turku, Finland) Thomas Santen (Berlin, Germany) Steve Schneider (London, UK) ...
Engineering Secure Software and Systems: 5th International Symposium,...
books.google.de
This book constitutes the refereed proceedings of the 5th International Symposium on Engineering Secure Software and Systems, ESSoS 2013, held in Paris,...
KORSO: Methods, Languages, and Tools for the Construction of …ct...
books.google.de
This book constitutes the final report of the work carried out in the project KORSO (
ZUM '98: The Z Formal Specification Notation: 11th International...
books.google.de
Relation of Z and HOL Thomas Santen Visualizing Z Notation in HTML
Documents 97.
sortiert nach Relevanz / Datum