skip to main content

Real time programming : languages, specification and verification

Rudrapatna Shyamasundar ; S Ramesh; R. K Shyamasundar

WSPC, 2009

Accessible en ligne

  • Titre:
    Real time programming : languages, specification and verification
  • Auteur: Rudrapatna Shyamasundar
  • Autre(s) auteur(s): S Ramesh; R. K Shyamasundar
  • Éditeur: WSPC
  • Date de publication: 2009
  • Langue: Anglais
  • Identifiant: ISBN981-02-2566-0;ISBN9786612760273;ISBN1-282-76027-0;ISBN981-281-402-7
  • Source: Dauphine (ressources électroniques)
    Collège de France (ressources électroniques)
    PSL (ressources électroniques)
    ESPCI Paris (ressources électroniques)
    Mines ParisTech (ressources électroniques)

Recherche dans les bases de données distantes en cours. Merci de patienter.

  • Recherche
  • dansscope:(33PSL-CNSAD),scope:(33PSL-EHESS),scope:(33PSL-PSL_OMEKA),scope:(33PSL-MINES),scope:(33PSL-EFEO),scope:(33PSL-CNSMDP),scope:(33PSL-CHIMIE),scope:(33PSL),scope:("DAU"),scope:(33PSL-CDF),scope:(33PSL-ENS),scope:("33PSL-OBSERV"),scope:("33PSL-ESPCI"),scope:(33PSL-CURIE),scope:(33PSL-ENSBA),scope:("33PSL-ENC"),scope:(33PSL-PSL_STAR),scope:(33PSL-PSL_SFX),scope:("33PSL-EPHE"),scope:(33PSL-ENSAD),primo_central_multiple_fe
  • Afficher ce qui a déjà été récupéré