Type(s) de contenu et mode(s) de consultation : Texte noté : électronique

Titre(s) : Synthesis of embedded software [Texte électronique] : frameworks and methodologies for correctness by construction / Sandeep K. Shukla, Jean-Pierre Talpin, editors

Publication : New York : Springer, cop. 2010

Description matérielle : 1 online resource (1 texte électronique)

Note(s) : In Springer Link (Monographies électroniques). - Titre de l'écran-titre (visonné le 9 sept. 2010). - Versement en lot. - Includes bibliographical references and index

Autre(s) auteur(s) : Shukla, Sandeep K.. Fonction indéterminée  Voir les notices liées en tant qu'auteur
Talpin, Jean-Pierre. Fonction indéterminée  Voir les notices liées en tant qu'auteur

Sujet(s) : Systèmes embarqués (informatique) -- Conception et construction  Voir les notices liées en tant que sujet
Systèmes embarqués (informatique)  Voir les notices liées en tant que sujet

Indice(s) Dewey :  004.21 (23e éd.) = Analyse et conception des systèmes (informatique)  Voir les notices liées en tant que sujet ; 621.381 5 (23e éd.) = Composants et circuits (électronique)  Voir les notices liées en tant que sujet

Identifiants, prix et caractéristiques : ISBN 9781441964007

Identifiant de la notice  : ark:/12148/cb44661514m

Notice n° :  FRBNF44661514 (notice reprise d'un réservoir extérieur)