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

Auteur(s) : Ehrig, Hartmut  Voir les notices liées en tant qu'auteur
Nivat, Maurice (1937-2017)  Voir les notices liées en tant qu'auteur

Titre(s) : Formal Methods and Software Development [Texte électronique] : Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT) Berlin, March 25-29, 1985 / edited by Hartmut Ehrig, Christiane Floyd, Maurice Nivat, James Thatcher

Publication : Berlin, Heidelberg : Springer-Verlag : Springer e-books, 1985

Description matérielle : 1 online resource

Collection : Lecture Notes in Computer Science ; 186

Note(s) : Fichier PDF.

Autre(s) auteur(s) : Floyd, Christiane. Fonction indéterminée  Voir les notices liées en tant qu'auteur
Thatcher, James. 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
Langages de programmation  Voir les notices liées en tant que sujet

Indice(s) Dewey :  005.1 (23e éd.) = Développement de logiciels  Voir les notices liées en tant que sujet

Identifiants, prix et caractéristiques : ISBN 9783540393078

Identifiant de la notice  : ark:/12148/cb44689347c

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