Ernst-Rüdiger Olderog

Pays :Allemagne
Langue :allemand
Note :
Ecrit aussi en français
Informaticien. - En poste à Fachbereich Informatik, Universität Oldenburg, Oldenburg, Allemagne (en 1994)
ISNI :ISNI 0000 0001 1750 5038

Ses activités

Auteur du texte2 documents

  • Real-time systems

    formal specification and automatic verification

    Description matérielle : 1 vol. (XVI-320 p.)
    Description : Note : Bibliogr. p. 304-311
    Édition : Cambridge (GB) : Cambridge university press , 2008
    Autre auteur du texte : Henning Dierks

    [catalogue][https://catalogue.bnf.fr/ark:/12148/cb413497691]
  • Verification of sequential and concurrent programs

    2nd ed.
    Description matérielle : XVII-364 p.
    Description : Note : Bibliogr. p. [343]-352. Index
    Édition : New York ; Berlin ; Paris [etc.] : Springer-Verlag , cop. 1997
    Autre auteur du texte : Krzysztof R. Apt

    [catalogue][https://catalogue.bnf.fr/ark:/12148/cb375297539]

Éditeur scientifique1 document

Pages dans data.bnf.fr

Auteurs reliés

Cette page dans l'atelier

Sources et références

Voir dans le catalogue général de la BnF

Sources de la notice

  • Programming concepts, methods and calculi : proceedings... / ed. by Ernst-Rüdiger Olderog, 1994

Pages équivalentes