Proceedings of the 2nd BCS-FACS Northern Formal Methods Workshop : Ilkley, UK, 14 - 15 July 1997

Proceedings of the 2nd BCS-FACS Northern Formal Methods Workshop Ilkley, UK, 14 - 15 July 1997

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: Berlin, Heidelberg u.a. Springer c1998
Schriftenreihe:Electronic workshops in computing, eWiC
Schlagworte:
Computer software > Development > Konferenzschrift > Softwareentwicklung > Formale Spezifikationstechnik
Online Zugang:Inhaltsverzeichnis
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Beschreibung:Enth. nur Abstracts der Papers ; Volltexte lizenzfrei im Internet unter <http://ewic.bcs.org/conferences/1997/formalfacs/index.htm>
Beschreibung:VI, 11 S.
21cm
ISBN:3540762159
3-540-76215-9