Get Free Shipping on orders over $0
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


$130.75

or 4 interest-free payments of $32.69 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
Cyberethics - Richard A. Spinello

Paperback

$119.75

Essentials of Computer Networking - Paxton Byrne
Learning Git : A Hands-On and Visual Guide to the Basics of Git - Anna Skoulikari
Microsoft Teams For Dummies : For Dummies (Computer/Tech) - Rosemarie Withee
Linux All-In-One For Dummies : For Dummies (Computer/Tech) - Richard Blum
Grey Area : Dark Web Data Collection and the Future of OSINT - Vinny Troia
Data Science from Scratch : First Principles with Python - Joel Grus
Computer Networking, Global Edition : 8th edition - James Kurose

RRP $186.38

$137.75

26%
OFF
Fundamentals of Wireless Communication - No Information Available

RRP $141.95

$109.75

23%
OFF
A First Course in Digital Communications - No Information Available

RRP $139.95

$105.75

24%
OFF
Hacking For Dummies : For Dummies (Computer/Tech) - Kevin Beaver

RRP $49.95

$34.97

30%
OFF
Cybersecurity All-in-One For Dummies : For Dummies - Joseph Steinberg