Theory and formal methods of computing 94 : proceedings of the Second Imperial College Workshop

Theory and formal methods of computing 94 proceedings of the Second Imperial College Workshop

Gespeichert in:
Bibliographische Detailangaben
Weitere Verfasser: Hankin, Chris (BerichterstatterIn)
Format: UnknownFormat
Sprache:eng
Veröffentlicht: London ICP, Imperial College Press 1995
Schlagworte:
Informatik > Computer science > Formal methods (Computer science) > Theoretische Informatik > Datenverarbeitung > Konferenzschrift
Online Zugang:Inhaltsverzeichnis
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Beschreibung:IX, 431 S.
Ill., graph. Darst.
ISBN:186094003X
1-86094-003-X