Theory and formal methods 1993 : proceedings of the First Imperial College Department of Computing workshop on theory and formal methods, Isle of Thorns Conference Centre, Chelwood Gate, Sussex, UK, 29 - 31 March 1993

Theory and formal methods 1993 proceedings of the First Imperial College Department of Computing workshop on theory and formal methods, Isle of Thorns Conference Centre, Chelwood Gate, Sussex, UK, 29 - 31 March 1993

Gespeichert in:
Bibliographische Detailangaben
Körperschaft: Imperial College of Science, Technology and Medicine Department of Computing (BerichterstatterIn)
Weitere Verfasser: Burn, Geoffrey (HerausgeberIn)
Format: UnknownFormat
Sprache:eng
Veröffentlicht: London u.a. Springer 1993
Schriftenreihe:Proceedings of the ... Imperial College Department of Computing workshop on theory and formal methods 1
Schlagworte:
Computer programming > Formal methods (Computer science) > Konferenzschrift > Formale Spezifikationstechnik
Online Zugang:Inhaltstext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Beschreibung:Published in collaboration with the British Computer Society
Beschreibung:VIII, 325 S
graph. Darst
ISBN:3540198423
3-540-19842-3
0387198423
0-387-19842-3