Formal Description Techniques: 1st: International Conference Proceedings

Free Shipping over $50

and free returns nationwide (rentals only)

14-day

Money Back Guarantee

Formal Description Techniques: 1st: International Conference Proceedings

ISBN : 9780444871268
Publisher : Elsevier Science Ltd
Author(s) :
Overview This book is the result of the first international conference devoted exclusively to the Formal Description Techniques Estelle , LOTOS , and SDL . Its publication coincides with the standardisation by ISO and CCITT of these formal specification languages. Although conceived for formally specifying and designing data communications systems, the Formal Description Techniques (FDTs) are general-purpose languages for describing distributed, concurrent, or sequential systems. The FORTE 88 Conference focussed on creating awareness and understanding of FDTs. The sessions addressed FDT topics related to software tools, object-oriented design, language issues arising from practical use, theoretical aspects of analysis, experience in writing formal descriptions, and practical aspects of analysis.

Out of
Stock

Sorry but this item is out of stock, please check back again soon.