Robert Kurshan

Pays :États-Unis
Langue :anglais
Note :
Informaticien. - En poste chez AT&T Bell Laboratories, Murray Hill, New Jersey, USA (en 1993)
ISNI :ISNI 0000 0001 0936 2671

Ses activités

Éditeur scientifique2 documents

  • Computer-aided verification

    a special issue of formal methods in system design on computer-aided verification

    Description matérielle : 288 p.
    Description : Note : Bibliogr. à la fin de chaque texte
    Édition : Boston ; Dordrecht ; London : Kluwer academic publ. , cop. 1993

    [catalogue][http://catalogue.bnf.fr/ark:/12148/cb37463071h]
  • 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
    Auteur du texte : NATO advanced study institute on verification of digital and hybrid systems (1997 ; Antalya, Turquie)
    Éditeur scientifique : Kemal M. Inan

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

Auteur du texte1 document

  • Computer-aided verification of coordinating processes

    the automata-theoretic approach

    Description matérielle : XII-270 p.
    Description : Note : Bibliogr. p. 241-262
    Édition : Princeton (N. J.) : Princeton university press , 1994

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

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

  • Computer-aided verification : a special issue of formal methods in system design on computer-aided verification / ed. by Robert Kurshan, 1993
  • LCNA (CD OCLC), 1995-03

Pages équivalentes