Get Free Shipping on orders over $49
Formal Description Techniques and Protocol Specification, Testing and Verification : FORTE X / PSTV XVII '97 - Atsushi Togashi

Formal Description Techniques and Protocol Specification, Testing and Verification

FORTE X / PSTV XVII '97

By: Atsushi Togashi, Tadanori Mizuno, Norio Shiratori

Paperback | 17 January 2013

At a Glance

Paperback


$129.75

or 4 interest-free payments of $32.44 with

 or 

Ships in 10 to 15 business days

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.

More in Computer Networking & Communications

Careless People : A story of where I used to work - Sarah Wynn-Williams

RRP $24.99

$21.75

13%
OFF
Cisco Networking All-in-One For Dummies - Edward Tetz

RRP $82.95

$60.75

27%
OFF
Essentials of Computer Networking - Paxton Byrne
CompTIA SecAI+ Study Guide : Exam CY0-001 - Fred  Nwanganga
Computer Networking, Global Edition : 8th edition - James Kurose

RRP $186.38

$145.99

22%
OFF
Microsoft Teams For Dummies : For Dummies (Computer/Tech) - Rosemarie Withee
Cybersecurity All-in-One For Dummies : For Dummies - Joseph Steinberg