Items related to Formal Description Techniques, VI (IFIP Transactions...
Synopsis
This book 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.
"synopsis" may belong to another edition of this title.
- PublisherNorth Holland
- Publication date1994
- ISBN 10 0444817735
- ISBN 13 9780444817730
- BindingPaperback
- LanguageEnglish
- Number of pages518
- EditorTenney R.L., Amer P.D., Uyar M.Ü.
Search results for Formal Description Techniques, VI (IFIP Transactions...
Stock Image
Formal Description Techniques, VI (IFIP Transactions C: Communication Systems)
Seller: Bookmonger.Ltd, HILLSIDE, NJ, U.S.A.
Seller rating 4 out of 5 stars
Paperback. Condition: Very Good. Seller Inventory # mon0000431946
Quantity: 3 available
Stock Image
Formal Description Techniques, VI: Proceedings of the Ifip Tc6/Wg6.1 Sixth International Conference on Formal Description Techniques-Forte '
Seller: Ammareal, Morangis, France
Seller rating 5 out of 5 stars
Softcover. Condition: Très bon. Ancien livre de bibliothèque. Couverture différente. Edition 1994. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Different cover. Edition 1994. Ammareal gives back up to 15% of this item's net price to charity organizations. Seller Inventory # E-571-027
Quantity: 1 available
Stock Image
Formal Description Techniques, VI: Proceedings of the Ifip Tc6/Wg6.1 Sixth International Conference on Formal Description Techniques-Forte '
Seller: Ammareal, Morangis, France
Seller rating 5 out of 5 stars
Softcover. Condition: Très bon. Ancien livre de bibliothèque. Légères traces d'usure sur la couverture. Couverture différente. Edition 1994. Tome 6. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Slight signs of wear on the cover. Different cover. Edition 1994. Volume 6. Ammareal gives back up to 15% of this item's net price to charity organizations. Seller Inventory # E-551-404
Quantity: 1 available