Formal Description Techniques and Protocol Specification, Testing and Verification
Format: Hardcover
ISBN13: 9780412820601
Hardcover|9780412820601
✨ Featured Offer
Brand New
$183.14
List Price: $219.99
🚚
See all 4 offers from $183.14 FREE standard delivery by: 31 Mar 2026
Overview
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.
| ISBN-13 | 9780412820601 |
|---|---|
| ISBN-10 | 0412820609 |
| List Price | $219.99 |
| Format | Hardcover |
|---|---|
| Language | English |
| Pages | xi, 550 pages |
| Publisher | |
| Published On | 1997-10-31 |
View All Offers
Sort by:
Price
Condition
Seller
Seller Comments
Price
✨ Brand New
Seller details
discount_scientific_books
Sterling Heights, MI, USA
New, US edition. Satisfaction guaranteed! !
Free delivery by: 31 Mar 2026
Brand New
Seller details
discount_scientific_books
Sterling Heights, MI, USA
New, Satisfaction guaranteed! !
Free delivery by: 31 Mar 2026
Brand New
Seller details
discount_scientific_books
Sterling Heights, MI, USA
New Book Original US edition, We Ship to PO BOX Address also.
Free delivery by: 31 Mar 2026
Brand New
Seller details
Alibris
Sparks, NV, USA
Print on demand Sewn binding. Cloth over boards. 550 p. IFIP Advances in Information and Communicat...
Free delivery by: 31 Mar 2026