Formal description techniques, II proceedings of the IFIP TC/WG 6.1 Second International Conference on Formal Description Techniques for Distributed Systems and Communications Protocols, FORTE '89, Vancouver, Canada, 5 - 8 December 1989

Includes bibliographical references

Bibliographische Detailangaben

Körperschaften:	International Federation for Information Processing Working Group on International Packet Switching for Computer Sharing (BerichterstatterIn), International Conference on Formal Description Techniques for Distributed Systems and Communications Protocols (BerichterstatterIn)
Weitere Verfasser:	Vuong, Son T. (HerausgeberIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Amsterdam, Oxford u.a. North-Holland 1990
Schlagworte:	Konferenzschrift
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!