Formal methods 2

Gespeichert in:
Bibliographische Detailangaben
Weitere Verfasser: Cooke, J. (BerichterstatterIn)
Format: UnknownFormat
Schlagworte:
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Beschreibung:In: Computer Journal Vol 35(1992), 6. S. 545-622