Formal models and practical tools for information systems design / IFIP TC-8 Working Conference on Formal Models and Practical Tools for Information Systems Design (1979; Oxford, England)

Public ISBD Titre : Formal models and practical tools for information systems design : Proceedings of the IFIP TC-8 Working Conference on Formal Models and Practical Tools for Information Systems Design, Oxford, U.K., April 17-20, 1979 Type de document : texte imprimé Auteurs : Hans-Jochen Schneider, Directeur de publication ; International Federation for Information Processing Committee on Information Systems, Organisateur de réunion Congrès : IFIP TC-8 Working Conference on Formal Models and Practical Tools for Information Systems Design (1979; Oxford, England), Auteur Editeur : Amsterdam : North-Holland Pub. Co Année de publication : 1979 Autre Editeur : New York : sole distributors for the U.S.A. and Canada, Elsevier North-Holland Importance : 297 p. Présentation : ill. Format : 23 cm. ISBN/ISSN/EAN : 978-0-444-85394-3 Note générale : "Organized by IFIP Technical Committee 8, Information Systems, International Federation for Information Prcessing." Langues : Anglais (eng) Mots-clés : Information storage and retrieval systems  Congresses  Formal languages  Electronic digital computers  Programming  langage formel  recherche documentaire  modeÉO'le formel  eÉO'valuation systeÉO'me  conception base donneÉO'e  systeÉO'me information  conception systeÉO'me information Index. décimale : 08-01 Informatique générale Formal models and practical tools for information systems design : Proceedings of the IFIP TC-8 Working Conference on Formal Models and Practical Tools for Information Systems Design, Oxford, U.K., April 17-20, 1979 [texte imprimé] / Hans-Jochen Schneider, Directeur de publication ; International Federation for Information Processing Committee on Information Systems, Organisateur de réunion / IFIP TC-8 Working Conference on Formal Models and Practical Tools for Information Systems Design (1979; Oxford, England), Auteur . - Amsterdam : North-Holland Pub. Co : New York : sole distributors for the U.S.A. and Canada, Elsevier North-Holland, 1979 . - 297 p. : ill. ; 23 cm. ISBN : 978-0-444-85394-3 "Organized by IFIP Technical Committee 8, Information Systems, International Federation for Information Prcessing." Langues : Anglais (eng) Mots-clés : Information storage and retrieval systems  Congresses  Formal languages  Electronic digital computers  Programming  langage formel  recherche documentaire  modeÉO'le formel  eÉO'valuation systeÉO'me  conception base donneÉO'e  systeÉO'me information  conception systeÉO'me information Index. décimale : 08-01 Informatique générale

Réservation

Réserver ce document

Exemplaires(1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
D1359	08-01-2033	Livre	Bibliothèque de faculté d'informatique et mathématique	Informatique	Disponible

---

1 (1 - 1 / 1) Par page : 25 50 100 200