Formal Description Techniques and Protocol Specification, Testing and Verification
Language: English
Published by Springer, 1997
- Hardcover
- Used

Seller: Majestic Books, Hounslow, United KingdomMajestic Books
4-star seller
AbeBooks seller since January 19, 2007
Hardcover
Condition: Used
US$ 266.38
US$ 8.60 shipping
Ships from United Kingdom to U.S.A.
Quantity: 1 available
Add to basketFree 30-day returns
Item description from seller
pp. 580 52:B&W 6.14 x 9.21in or 234 x 156mm (Royal 8vo) Case Laminate on White w/Gloss Lam.
Seller Inventory # 8361295
- Title
- Formal Description Techniques and Protocol Specification, Testing and Verification
- Author
- Mizuno Tadanori Togashi Atsushi Shiratori Norio
- Publisher
- Springer
- Publication year
- 1997
- Condition
- Used
- Binding
- Hardcover
- Language
- English
- ISBN 10
- 0412820609
- ISBN 13
- 9780412820601
FORTE/PSTV '97 addresses Formal Description Techniques (FDTs) applicable to Distributed Systems and Communication Protocols (such as Estelle, LOTOS, SDL, ASN.1, TTCN, Z, Automata, Process Algebra, Logic). The conference is a forum for presentation of the state-of-the-art in theory, application, tools and industrialization of FDTs, and provides an excellent orientation for newcomers.
"Synopsis" may belong to another edition of this title.
Majestic Books
Hounslow, United Kingdom
4-star seller
AbeBooks seller since January 19, 2007
Shipping rates from United Kingdom to U.S.A.
| Item | 14 to 45 business days | 5 to 10 business days |
|---|---|---|
| First item | US$ 8.60 | US$ 13.03 |
Payment methods
Store description
We specialise in General Interest Books from South Asian countries.
Specialty
Art, Economics, Buddhism, Religion, Sociology, PaintingSeller's business information
BOOKS AND PERIODICALS AGENCY LTD
Unit 4 Alice way,
Hounslow, United Kingdom TW3 3UD
Terms of sale
Returns accepted if you are not satisfied with the Service or Book.
Shipping terms
Best packaging and fast delivery