Spring naar hoofdinhoud

Afbeelding auteur

Ernst-Rüdiger Olderog

Auteur van Real-Time Systems: Formal Specification and Automatic Verification

2 Werken 12 Leden 0 Besprekingen

Over de Auteur

Bevat de naam: Ernst-Rüdiger Olderog

Werken van Ernst-Rüdiger Olderog

Populair Recent

Real-Time Systems: Formal Specification and Automatic Verification (2008) 9 exemplaren

Correct System Design: Recent Insights and Advances (Lecture Notes in Computer Science) (1999) 3 exemplaren

Tagged

cs-verification and validation (1) E-boek (1) Informatica (2) pdfByIsbn05 (1)

Trefwoordvertaling ingeschakeld

Algemene kennis

Er zijn nog geen Algemene Kennis-gegevens over deze auteur. Je kunt helpen.

Leden

Statistieken

Werken: 2
Leden: 12
Populariteit: #813,248

ISBNs: 4

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.