8 Infos zu Bernd-holger Schlingloff

1 Aktuelle Nachrichten

1 Profile in Sozialen Netzwerken

Bernd-Holger Schlingloff | Semantic Scholar

Semantic Scholar profile for Bernd-Holger Schlingloff, with 6 highly influential citations and 16 scientific research papers.

2 Bücher zum Namen

Bernd-Holger Schlingloff | Autorenprofil und Werke | beck-shop.de

Hier finden Sie das komplette Autorenprofil von Bernd-Holger Schlingloff . Außerdem erhalten Sie Zusatzinfos wie wichtige berufliche Stationen und aktuelle...

Chapter 24: Model Checking - Handbook of Automated Reasoning [Book]

Chapter 24 Model Checking Edmund M. Clarke Bernd-Holger Schlingloff Contents 1 Introduction Logical Languages, Expressiveness Prepositional ...

5 Webfunde aus dem Netz

Prof. Bernd-Holger Schlingloff

Alle boeken van Bernd-Holger Schlingloff | Standaard Boekhandel

Op zoek naar boeken van Bernd-Holger Schlingloff? Bezoek de webshop van Standaard Boekhandel, je vindt er meer dan je zoekt.

6 References

Edmund M. Clarke and Bernd-Holger Schlingloff. Model checking. Handbook of automated reasoning, Alan Robinson and Andrei Voronkov (Eds.). Elsevier Science ...

Staff View: Specification-based testing for Software Product Lines

Specification-based testing for Software Product Lines / Temesghen Kahsai, Markus Roggenbach, Bernd-Holger Schlingloff ; cronfa34 · SURis · ...

Rooting Formal Methods Within Higher Education Curricula for Computer...

· ... Faron Moller, Philipp Körner, Sebastian Krings, Peter Csaba Ölveczky, Bernd Holger Schlingloff, Nikolay Shilov, Rustam Zhumagambetov.

Bedeutung zum Vornamen Bernd

Männlicher Vorname (Deutsch): Bernd; Althochdeutsch (Zweigliedriger Name); bero = der Bär, braun; harti = hart, stark, fest, entschlossen; bernu = der Bär (Germanisch); alter deutscher zweigliedriger Name; im Mittelalter verbreitet durch die Verehrung des hl. Bernhard von Clairvaux (11./12. Jh.)

Bedeutung zum Vornamen Holger

Männlicher Vorname (Deutsch, Skandinavisch): Holger; Altnordisch (Zweigliedriger Name); holmi = die Insel; geirr = der Speer (Altisländisch); alter deutscher zweigliedriger Name; in Dänemark als Name des Nationalhelden Holger Danske sehr beliebt

Personensuche zu Bernd-holger Schlingloff & mehr

Die Personensuchmaschine Namenfinden.de ist die neue Personensuche für Deutschland, die Profile, Kontaktdaten, Bilder, Dokumente und Webseiten zu Bernd-holger Schlingloff und vielen weiteren Namen aus öffentlich zugänglichen Quellen im Internet anzeigt.