Formal Specification of Object Systems

AuthID
P-00G-9KG
3
Author(s)
SAAKE, G
·
2
Editor(es)
ABRAMSKY, A; MAIBAUM, TSE
Tipo de Documento
Proceedings Paper
Year published
1991
Publicado
in TAPSOFT 91, VOL 2: ADVANCES IN DISTRIBUTED COMPUTING ( ADC ) AND COLLOQUIUM ON COMBINING PARADIGMS FOR SOFTWARE DEVELOPMENT ( CCPSD ) in LECTURE NOTES IN COMPUTER SCIENCE
Volume: 494, Páginas: 60-82 (23)
Conference
4Th International Joint Conf On Theory And Practice Of Software Development, Date: APR 08-12, 1991, Location: BRIGHTON, ENGLAND, Patrocinadores: IMPERIAL COLL, DEPT COMP, Host: CORN EXCHANGE
Indexing
Publication Identifiers
Wos: WOS:A1991BT29J00007
Export Publication Metadata
Info
At this moment we don't have any links to full text documens.