Formal Description Techniques and Protocol Specification, Testing and Verification
Format: Paperback
ISBN13: 9781475752601
Paperback|9781475752601
✨ Featured Offer
Brand New
$221.48
List Price: $219.99
🚚
See all 1 offers from $221.48 FREE standard delivery by: 04 Apr 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 | 9781475752601 |
|---|---|
| ISBN-10 | 1475752601 |
| Weight | 1.74 Pounds |
| Dimensions | 6.10 x 1.28 x 9.25 In |
| List Price | $219.99 |
| Edition | 1st Edition |
| Format | Paperback |
|---|---|
| Language | English |
| Pages | xi, 550 pages |
| Publisher | Springer |
| Published On | 2013-01-11 |
View All Offers
Sort by:
Price
Condition
Seller
Seller Comments
Price
✨ Brand New
Seller details
Alibris
Sparks, NV, USA
Print on demand Trade paperback (US). Glued binding. 550 p. Contains: Unspecified. IFIP Advances in...
Free delivery by: 04 Apr 2026