 |
|
|
Item Details
| Title:
|
FORMAL DESCRIPTION TECHNIQUES IX
THEORY, APPLICATION AND TOOLS |
| By: |
Reinhard Gotzhein (Editor), Jan Bredereke (Editor) |
| Format: |
Hardback |
| List price:
|
£244.50 |
|
We currently do not stock this item, please contact the publisher directly for
further information.
|
|
|
|
|
|
| ISBN 10: |
041279490X |
| ISBN 13: |
9780412794902 |
| Publisher: |
CHAPMAN AND HALL |
| Pub. date: |
30 September, 1996 |
| Edition: |
1996 ed. |
| Series: |
IFIP Advances in Information and Communication Technology |
| Pages: |
518 |
| Description: |
Combines the proceedings of the IFIP Formal Description Techniques (FDTs) and "Protocol Specification, Testing and Verification" (PSTV) series. This book addresses FDTs applicable to communication protocols and distributed systems, with emphasis on standardised FDTs. |
| Synopsis: |
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. |
| Illustrations: |
X, 518 p. |
| Publication: |
UK |
| Imprint: |
Chapman and Hall |
| Returns: |
Non-returnable |
|
|
|
 |
|
|
|
|
|
No Cheese, Please!
A fun picture book for children with food allergies - full of friendship and super-cute characters!Little Mo the mouse is having a birthday party.
|
My Brother Is a Superhero
Luke is massively annoyed about this, but when Zack is kidnapped by his arch-nemesis, Luke and his friends have only five days to find him and save the world...
|
|
|
|
|