Notice bibliographique

  • Notice

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 


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.)  Voir les notices liées en tant que sujet


Numéros : ISBN 3-540-19977-2 (br.)

Notice n° :  FRBNF37510142



Localiser ce document(1 Exemplaire)

Tolbiac - Rez-de-jardin - magasin

1 partie d'exemplaire regroupée