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

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

Titre(s) : Leveraging Applications of Formal Methods [Texte électronique] : First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004, Revised Selected Papers / edited by Tiziana Maragria, Bernhard Steffen

Titre d'ensemble : Springer e-books

Publication : Berlin Heidelberg : Springer-Verlag., 2006

Description matérielle : 1 online resource (

Collection : Lecture notes in computer science ; 4313

Note(s) : Includes bibliographical references and index

Autre(s) auteur(s) : Steffen, Bernhard (1958-....). Fonction indéterminée  Voir les notices liées en tant qu'auteur

Sujet(s) : Génie logiciel  Voir les notices liées en tant que sujet
Informatique  Voir les notices liées en tant que sujet
Méthodes formelles (informatique)  Voir les notices liées en tant que sujet
Langages de programmation  Voir les notices liées en tant que sujet

Indice(s) Dewey :  005.101 5113 (23e éd.) = Développement de logiciels - Logique mathématique  Voir les notices liées en tant que sujet ; 004.015 1 (23e éd.) = Informatique - Principes mathématiques  Voir les notices liées en tant que sujet

Identifiants, prix et caractéristiques : ISBN 9783540489290

Identifiant de la notice  : ark:/12148/cb44693073v

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