Logo Universität Bremen

http://www.informatik.uni-bremen.de

Universität Bremen - Fachbereich 3 - Informatik

  DRUCKEN  


Startseite «Startseite  «Kolloquien 


Informieren Sie sich hier über die Kolloquien des aktuellen Semesters.
Wenn nicht ausdrücklich anders angekündigt, finden alle Vorträge dienstags um 16.00 Uhr c.t.
im Gebäude Cartesium (Rotunde) in der Enrique-Schmidt-Straße statt.


Heute - Bremen - 19.10.2017




11/2017

07.11 // 16.00 Uhr c.t. Cartesium Rotunde

Kolloquien
Software-Verification: From Research to Industrial Practice – and Back. [mehr]

Vortragende(r): Dr.-Ing. Thomas Santen (Institut für Softwaretechnik und Theoretische Informatik, TU Berlin)
Ansprechpartner(in) / Einladende(r):  Prof. Dr. Dieter Hutter
Download:  Textalternative --> Anzeige des Dokumentes als unformatierte Textalternative Software-Verification: From Research to Industrial Practice – and Back. Datei nur campusintern verfügbar! Deutsch  Textalternative --> Anzeige des Dokumentes als unformatierte Textalternative

28.09.2017




Zum Archiv






  DRUCKEN