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

Auteur(s) : Platzer, André  Voir les notices liées en tant qu'auteur

Titre(s) : Logical analysis of hybrid systems [Texte électronique] : proving theorems for complex dynamics / André Platzer

Publication : Heidelberg : Springer, cop. 2010

Description matérielle : 1 ressource dématérialisée

Note(s) : Includes bibliographical references (pages 401-413) and index

Sujet(s) : Simulation, Méthodes de  Voir les notices liées en tant que sujet
Calculateurs hybrides  Voir les notices liées en tant que sujet
Simulation par calculateur hybride  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

Identifiants, prix et caractéristiques : ISBN 9783642145094

Identifiant de la notice  : ark:/12148/cb447002521

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