Klaus Schneider

Pays :Allemagne
Langue :allemand
Sexe :masculin
Note :
En poste : FB Informatik, AG Reaktive Systeme, Universität Kaiserslautern, Allemagne (en 2004)
ISNI :ISNI 0000 0001 1060 0980

Ses activités

Auteur du texte1 document

  • Verification of reactive systems

    formal methods and algorithms

    Description matérielle : XIV-600 p.
    Description : Note : Bibliogr. p. [561]-589. Index
    Édition : Berlin ; New York : Springer , cop. 2004

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

Pages dans data.bnf.fr

Cette page dans l'atelier

Sources et références

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

Sources de la notice

Pages équivalentes