Type(s) de contenu et mode(s) de consultation : Texte noté : sans médiation

Titre(s) : Formal methods and object technology [Texte imprimé] / S. J. Goldsack and S. J. H. Kent eds

Publication : London : Springer, 1996

Description matérielle : XVIII-368 p. ; 24 cm

Collection : Formal approaches to computing and information technology, FACIT

Lien à la collection : FACIT. Formal approaches to computing and information technology  Voir toutes les notices liées

Note(s) : Bibliogr. p.336-356

Autre(s) auteur(s) : Goldsack, Stephen J.. Éditeur scientifique  Voir les notices liées en tant qu'auteur
Kent, Stuart John Harding (1966-....). Éditeur scientifique  Voir les notices liées en tant qu'auteur

Sujet(s) : Langages de programmation orientés objet  Voir les notices liées en tant que sujet
Méthodes formelles (informatique)  Voir les notices liées en tant que sujet

Indice(s) Dewey :  005.11 (23e éd.) = Méthodes de développement de logiciels ; paradigmes de programmation  Voir les notices liées en tant que sujet

Identifiants, prix et caractéristiques : ISBN 3-540-19977-2 (br.)

Identifiant de la notice  : ark:/12148/cb37510142m

Notice n° :  FRBNF37510142