Formal Description Techniques and Protocol Specification, Testing and Verification: FORTE X / PSTV XVII '97 - IFIP Advances in Information and Communication Technology (Paperback)Atsushi Togashi (author), Tadanori Mizuno (author), Norio Shiratori (author), Teruo Higashino (author)
- We can order this from the publisher
Publisher: Springer-Verlag New York Inc.
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...
Would you like to proceed to the App store to download the Waterstones App?
Please note that owing to current COVID-19 restrictions, many of our shops are closed. Find out more by clicking here.