BCS-FACS Northern Formal Methods Workshop : proceedings of the BCS-FACS Northern Formal Methods Workshop, Ilkley, UK, 23 - 24 September 1996 ; [abstracts of papers]

BCS-FACS Northern Formal Methods Workshop proceedings of the BCS-FACS Northern Formal Methods Workshop, Ilkley, UK, 23 - 24 September 1996 ; [abstracts of papers]

Gespeichert in:
Bibliographische Detailangaben
Körperschaften: Northern Formal Methods Workshop (VerfasserIn), British Computer Society Specialist Group in Formal Aspects of Computing Science (BerichterstatterIn)
Weitere Verfasser: Duke, D. J. (BerichterstatterIn), Evans, A. S. (BerichterstatterIn), Duke, David J. (HerausgeberIn)
Format: UnknownFormat
Sprache:eng
Veröffentlicht: London, Berlin, Heidelberg, New York, Barcelona, Budapest, Hong Kong, Milan, Paris, Santa Clara, Singapore, Tokyo Springer 1997
Schriftenreihe:Electronic workshops in computing
Schlagworte:
Computer software > Development > Software engineering > Congresses > Konferenzschrift > Formale Spezifikationstechnik
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Beschreibung:Publ. in collaboration with the British Computer Society
Enth. nur Abstracts d. Papers ; Volltexte im Internet lizenzfrei unter <http://ewic.bcs.org/conferences/1996/formalmethods/index.htm>
Beschreibung:10 S
21 cm
ISBN:3540761179
3-540-76117-9