Spring naar hoofdinhoud

Afbeelding auteur

Christel Baier

Auteur van Principles of Model Checking

7 Werken 53 Leden 0 Besprekingen

Werken van Christel Baier

Populair Recent

Principles of Model Checking (2008) 38 exemplaren

Validation of Stochastic Systems: A Guide to Current Research (2004) — Redacteur — 7 exemplaren

CONCUR 2006 - Concurrency Theory: 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006… (2006) 2 exemplaren

Foundations of Software Science and Computation Structures 21st International Conference, FOSSACS 2018, Held as Part of… (2018) 2 exemplaren

Asthmatherapie bei Kindern und Jugendlichen. (2002) 2 exemplaren

Tools and algorithms for the construction and analysis of systems : 21st International Conference, TACAS 2015, held as… (2015) 1 exemplaar

Foundations of Software Science and Computation Structures: 21st International Conference, FOSSACS 2018, Held as Part… (2018) 1 exemplaar

Tagged

#10 (1) 2012-0205 (1) 2014-0913 (1) bibalex (1) Computer system failures (1) E-boek (2) Formele methoden (1) Gezondheid (1) https://tualearning.com/mod/page/view.php?id=44865 (1) Informatica (7) Kindle (1) Lancaster Cyber Essentials Collection (1) Leerboek (1) li_3 (1) Logica (1) model checking (3) models of computation (1) Non-fictie (1) OfficeHallway (1) Programmeren (1) Software engineering (1) Theoretische informatica (1) Theoretische Informatik (1) Verificatie (1)

Trefwoordvertaling ingeschakeld

Algemene kennis

Geslacht: female
Nationaliteit: Germany

Leden

Misschien vindt je deze ook leuk

Gerelateerde auteurs

Joost-Pieter Katoen Author, Editor

Holger Hermanns Editor

Boudewijn R. Haverkort Editor

Markus Siegle Editor

Kim Guldstrand Larsen Foreword

Statistieken

Werken: 7
Leden: 53
Populariteit: #303,173

ISBNs: 13
Talen: 1

Tabellen & Grafieken

Bekijk meer tabellen en grafieken

Afbeeldingen

Links

Helpers hoek

LibraryThing-leden verbeteren auteurs door auteursnamen en werken te combineren, gelijknamige auteurs te splitsen, en meer.

Ben jij dit?

Word een LibraryThing Auteur.

Verdana Standard Verdana Small The Lorax System Standard System Large Georgia Large Text Atkinson

Onze site gebruikt cookies om diensten te leveren, prestaties te verbeteren, voor analyse en (indien je niet ingelogd bent) voor advertenties. Door LibraryThing te gebruiken erken je dat je onze Servicevoorwaarden en Privacybeleid gelezen en begrepen hebt. Je gebruik van de site en diensten is onderhevig aan dit beleid en deze voorwaarden.