IMPORTANT MESSAGE: We are relocating warehouses on Tuesday, 4th April. Our last orders will be dispatched on Monday, 3rd April and we will resume dispatch on Thursday, 6th April. Back-Orders and Express Orders may be delayed if ordered during this period. If you are unsure regarding your order, please send us an email on: and we will get back to you as soon as possible

Formal Description Techniques: 1st: International Conference Proceedings

Free Shipping over $50

and free returns nationwide (rentals only)


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

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