NATO advanced study institute on verification of digital and hybrid systems (1997 ; Antalya, Turquie)

Pays :intergouvernemental
Langue :anglais
Création :26-05-1997
Fin d'activité :06-06-1997

Ses activités

Auteur du texte1 document

  • Verification of digital and hybrid systems

    [proceedings of the NATO advanced study institute on verification of digital and hybrid systems, Antalya, May 26 - June 6, 1997]

    Description matérielle : XVIII-405 p.
    Description : Note : Bibliogr. en fin de chapitres. Index
    Édition : Berlin ; Heidelberg ; New York [etc.] : Springer, publ. in coop. with NATO scientific affairs division , cop. 2000
    Éditeur scientifique : Kemal M. Inan, Robert Kurshan

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

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

  • Verification of digital and hybrid systems, 2000

Pages équivalentes