Formal Description Techniques, VI: Proceedings of the Ifip Tc6/Wg6.1 Sixth International Conference on Formal Description Techniques-Forte '93 Bosto - Couverture souple

Couverture souple

ISBN 10 : 0444817735 ISBN 13 : 9780444817730

Editeur : Elsevier Science Ltd, 1994

Synopsis

This work is the sixth in a series of volumes concentrating on formal techniques applicable to distributed systems and protocols. The initial focus on techniques standardized by ISO and CCITT (Estelle, LOTOS, and SDL), widened in previous volumes to, for example, CCS, CSP, ASN.1, Z, Actor, VDM and RAISE, is yet again expanded. A strong theoretical component is balanced by a practical one, with papers included from the industrial as well as the academic communities. Offering a comprehensive presentation of the state of the art in theory, application, tools and industrialization of formal techniques, the publication provides an excellent orientation for the newcomer. By bringing together both researchers and practitioners, it also opens the communication between these groups vital for a continued cross-fertilization of knowledge and ideas for the future.

Détails de l'édition

• Éditeur: Elsevier Science Ltd
• Date d'édition: 1994
• Langue: anglais
• ISBN 10: 0444817735
• ISBN 13: 9780444817730
• Reliure: Broché
• Nombre de pages: 518
• Éditeur: Tenney R.L., Amer P.D., Uyar M.U.
• Coordonnées du fabricant: non disponible
• Personne responsable: non disponible