Formal Description Techniques IX: Theory, application and tools by R. GotzheinFormal Description Techniques IX: Theory, application and tools by R. Gotzhein

Formal Description Techniques IX: Theory, application and tools

EditorR. Gotzhein, J. Bredereke

Other Format

Pricing and Purchase Info

$490.50

Earn 2,453 plum® points

Prices and offers may vary in store

Quantity:

In stock online

Ships free on orders over $25

Not available in stores

about

This book is the combined proceedings of the latest IFIP Formal Description Techniques (FDTs) and Protocol Specification, Testing and Verification (PSTV) series. It addresses FDTs applicable to communication protocols and distributed systems, with special emphasis on standardised FDTs. It features state-of-the-art in theory, application, tools and industrialisation of formal description.
Title:Formal Description Techniques IX: Theory, application and toolsFormat:Other FormatDimensions:528 pages, 9.25 × 6.1 × 0.03 in

The following ISBNs are associated with this title:

ISBN - 10:041279490X

ISBN - 13:9780412794902

Look for similar items by category:

Reviews

Table of Contents

Tools and tool support. FDT-application. FDT-based system and protocol engineering. Performance modelling and analysis. Real-time and probability aspects. Verification and validation. Industrial usage reports. Extensions of FDTs and semantical foundations.