Formal Description Techniques, VI: Proceedings of the Ifip Tc6/Wg6.1 Sixth International Conference Fcrte '93, Boston Massachusetts, USA, 26-29 October 1993 - IFIP Transactions C: Communication Systems v. C-22 (Paperback)R.L. Tenney (editor), P.D. Amer (editor), M.U. Uyar (editor)
Paperback Published: 13/07/1994
- Not available
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.
Publisher: Elsevier Science & Technology
You may also be interested in...
Please sign in to write a review
Thank you for your reservation
Your order is now being processed and we have sent a confirmation email to you at
When will my order be ready to collect?
Call us on or send us an email at
Unfortunately there has been a problem with your order
Please try again or alternatively you can contact your chosen shop on or send us an email at