Formal Description Techniques IX: Theory, application and tools (1st ed. 1996) (IFIP Advances in Information and Communication Technology)
By: and
Sign Up Now!
Already a Member? Log In
You must be logged into UK education collection to access this title.
Learn about membership options,
or view our freely available titles.
- 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.
- Copyright:
- 1996
Book Details
- Book Quality:
- Publisher Quality
- ISBN-13:
- 9780387350790
- Related ISBNs:
- 9780412794902
- Publisher:
- Springer US
- Date of Addition:
- 02/08/21
- Copyrighted By:
- N/A
- Adult content:
- No
- Language:
- English
- Has Image Descriptions:
- No
- Categories:
- Nonfiction, Computers and Internet, Technology
- Submitted By:
- Bookshare Staff
- Usage Restrictions:
- This is a copyrighted book.
- Edited by:
- R. Gotzhein
- Edited by:
- J. Bredereke
Reviews
Other Books
- by R. Gotzhein
- by J. Bredereke
- in Nonfiction
- in Computers and Internet
- in Technology