Formal Description Techniques VIII by Gregor von BochmannFormal Description Techniques VIII by Gregor von Bochmann

Formal Description Techniques VIII

EditorGregor von Bochmann, Rachida Dssouli, Omar Rafiq

Other Format

Pricing and Purchase Info

$346.46 online 
$384.95 list price save 9%
Earn 1,732 plum® points

Prices and offers may vary in store


In stock online

Ships free on orders over $25

Not available in stores


This volume contains the latest worldwide research results on formal description techniques applicable to telecommunications, covering their theoretical foundations, industrial applications and practical usage. The book presents the selected proceedings of the eighth International Conference on Formal Description Techniques, arranged by the International Federation for Information Processing and held in Montreal, Canada, October 1995.
Title:Formal Description Techniques VIIIFormat:Other FormatDimensions:466 pages, 9.25 × 6.1 × 0.27 in

The following ISBNs are associated with this title:

ISBN - 10:041273270X

ISBN - 13:9780412732706


Table of Contents

Preface. Invited presentation. Design methodologies. Verification I. Algebraic languages. System specification and Z. Invited presentation. Industrial experiences. Applying formal methods. Tools and testing. Real-time and stochastic systems. Verification II. List of tools for demonstrations. Keyword index.