Synopsis
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.
"synopsis" may belong to another edition of this title.
Search results for International Conference Proceedings (1st) (Formal...
Seller Image
Formal Description Techniques
Seller: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Germany
Seller rating 5 out of 5 stars
gebundene Ausgabe. Condition: Gut. 351 Seiten Das hier angebotene Buch stammt aus einer teilaufgelösten wissenschaftlichen Bibliothek und trägt die entsprechenden Kennzeichnungen (Rückenschild, Instituts-Stempel.). Schnitt und Einband sind etwas staubschmutzig; Einbandkanten sind leicht bestossen; der Buchzustand ist ansonsten ordentlich und dem Alter entsprechend gut. Sprache: Englisch Gewicht in Gramm: 740. Seller Inventory # 1494424
Stock Image
Formal Description Techniques: Proceedings of the First International Conference on Formal Description Techniques Stirling, Scotland, 6-9 September,
Seller: Mispah books, Redhill, SURRE, United Kingdom
Seller rating 4 out of 5 stars
Hardcover. Condition: Very Good. Very Good. Dust Jacket may NOT BE INCLUDED.CDs may be missing. SHIPS FROM MULTIPLE LOCATIONS. book. Seller Inventory # ERICA82904448712684
Buy Used
£ 107
£ 25 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 1 available