Software engineering 3 / Dines Bjørner

Public ISBD Titre : Software engineering 3 : domains, requirements, and software design Type de document : texte imprimé Auteurs : Dines Bjørner (1937-....), Auteur Editeur : Springer-Verlag Année de publication : 2006 Collection : Texts in Theoretical Computer Science. An EATCS Series Importance : xxx - 766 p. Format : 24 cm ISBN/ISSN/EAN : 978-3-642-05941-4 Langues : Anglais Catégories : 68-XX Computer science :68-01 Instructional exposition (textbooks, tutorial papers, etc.) 68-XX Computer science :68NXX Software:68N30 Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) Mots-clés : software  Computer science Index. décimale : 68C Monographie Software engineering 3 : domains, requirements, and software design [texte imprimé] / Dines Bjørner (1937-....), Auteur . - [S.l.] : Springer-Verlag, 2006 . - xxx - 766 p. ; 24 cm. - (Texts in Theoretical Computer Science. An EATCS Series) . ISBN : 978-3-642-05941-4 Langues : Anglais Catégories : 68-XX Computer science :68-01 Instructional exposition (textbooks, tutorial papers, etc.) 68-XX Computer science :68NXX Software:68N30 Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) Mots-clés : software  Computer science Index. décimale : 68C Monographie

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
21229	LINA/68C407	imprimé / autre	CRDM	68/INFORMATIQUE	Disponible

---

page 1/1