Martin Lange

Langue :anglais
Sexe :masculin
Note :
Professeur d'informatique théorique : University of Kassel, Allemagne (en 2016)

Ses activités

Auteur du texte1 document

  • Temporal logics in computer science

    finite-state systems

    Description matérielle : 1 vol. (VIII-744 p.)
    Description : Note : Bibliogr. p. 716-736
    Édition : Cambridge : Cambridge university press , cop. 2016
    Auteur du texte : Stéphane Demri, Valentin Goranko

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

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 logics in computer science : finite-state systems / Stéphane Demri, Valentin Goranko, Martin Lange - Cambridge university press, 2016
  • VIAF (2016-12-20)