Formal Description Techniques and Protocol Specification, Testing and Verification: FORTE X / PSTV XVII '97 - IFIP Advances in Information and Communication Technology (Paperback)
  • Formal Description Techniques and Protocol Specification, Testing and Verification: FORTE X / PSTV XVII '97 - IFIP Advances in Information and Communication Technology (Paperback)
zoom

Formal Description Techniques and Protocol Specification, Testing and Verification: FORTE X / PSTV XVII '97 - IFIP Advances in Information and Communication Technology (Paperback)

(author), (author), (author), (author)
£197.00
Paperback 550 Pages / Published: 11/01/2013
  • We can order this

Usually dispatched within 3 weeks

  • This item has been added to your basket
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.

Publisher: Springer-Verlag New York Inc.
ISBN: 9781475752601
Number of pages: 550
Weight: 860 g
Dimensions: 235 x 155 x 29 mm
Edition: Softcover reprint of the original 1st ed. 199

You may also be interested in...

Switching to a Mac For Dummies
Added to basket
Computer Basics in easy steps
Added to basket
The Elements of Computing Systems
Added to basket
Next Generation Wireless LANs
Added to basket
Mac Basics In Simple Steps
Added to basket
Windows XP For Dummies
Added to basket
The ZX Spectrum ULA
Added to basket
Build Your Own Gaming PC
Added to basket
The Secret of Apollo
Added to basket
Learn Raspberry Pi with Linux
Added to basket

Please sign in to write a review

Your review has been submitted successfully.