Fred Kröger

Pays :Suisse
Langue :allemand
Note :
Écrit aussi en anglais
Informaticien. - En poste à l'Institut für Informatik der Universität München, Munich, RFA (en 1987)
ISNI :ISNI 0000 0001 0913 9138

Ses activités

Auteur du texte2 documents

  • Temporal logic and state systems

    Description matérielle : 1 vol. (XI-433 p.)
    Description : Note : Bibliogr. p. 421-428
    Édition : Berlin : Springer , cop. 2008
    Auteur du texte : Stephan Merz

    [catalogue][http://catalogue.bnf.fr/ark:/12148/cb41264690m]
  • Temporal logic of programs

    Description matérielle : VIII-148 p.
    Description : Note : Bibliogr. 133-135. Index
    Édition : Berlin ; New York : Springer-Verl. , cop. 1987

    [catalogue][http://catalogue.bnf.fr/ark:/12148/cb373715912]

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

  • Temporal logic of programs / Fred Kröger, 1987
  • LCNA (CD OCLC), 1993-03

Pages équivalentes