Formal description techniques. Vol. V : Internat. conf. for distributed systems and communications protocols - FORTE '92, Perros-Guirec, France, 13 - 16 Oct. 1992 /

Saved in:
Bibliographic Details
Main Author: Doldi, L.
Corporate Author: Internat. conf. for distributed systems and communications protocols - FORTE '92 France, Perros-Guirec
Other Authors: Diaz, M. (Editor), Groz, R.
Format: Conference Proceeding Book
Language:English
Published: Amsterdam : North-Holland Publishing, 1993
Edition:[1st ed.]
Series:IFIP transactions C : Communication systems C-10
Subjects:
počítačová sieť > protokol > elektronické spracúvanie údajov > LOTOS > Alcatel > overovanie > formálny jazyk
ISBN:0444892826
ISSN:0926-549X
Online Access: Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Be the first to leave a comment!
You must be logged in first

Similar Items