0
Your cart

Your cart is empty

Books > Computing & IT > Computer communications & networking > Networking standards & protocols

Buy Now

Formal Description Techniques and Protocol Specification, Testing and Verification - FORTE X / PSTV XVII '97 (Hardcover, 1997 ed.) Loot Price: R5,454
Discovery Miles 54 540
Formal Description Techniques and Protocol Specification, Testing and Verification - FORTE X / PSTV XVII '97 (Hardcover,...

Formal Description Techniques and Protocol Specification, Testing and Verification - FORTE X / PSTV XVII '97 (Hardcover, 1997 ed.)

Atsushi Togashi, Tadanori Mizuno, Norio Shiratori, Teruo Higashino

Series: IFIP Advances in Information and Communication Technology

 (sign in to rate)
Loot Price R5,454 Discovery Miles 54 540 | Repayment Terms: R511 pm x 12*

Bookmark and Share

Expected to ship within 18 - 22 working 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.

General

Imprint: Chapman and Hall
Country of origin: United Kingdom
Series: IFIP Advances in Information and Communication Technology
Release date: October 1997
First published: 1997
Authors: Atsushi Togashi • Tadanori Mizuno • Norio Shiratori • Teruo Higashino
Dimensions: 234 x 156 x 31mm (L x W x T)
Format: Hardcover
Pages: 550
Edition: 1997 ed.
ISBN-13: 978-0-412-82060-1
Categories: Books > Computing & IT > Computer communications & networking > Networking standards & protocols
Promotions
LSN: 0-412-82060-9
Barcode: 9780412820601

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!

You might also like..

Distributed Systems - Concurrency and…
Matthieu Perrin Hardcover R1,821 Discovery Miles 18 210
Practical Modern SCADA Protocols - DNP3…
Gordon Clarke, Deon Reynders Paperback R1,469 Discovery Miles 14 690
DNSSEC Mastery, 2nd Edition
Michael W Lucas Hardcover R873 R792 Discovery Miles 7 920
Ethical Hacking - The Ultimate Guide to…
Lester Evans Hardcover R664 R593 Discovery Miles 5 930
IoT Protocols and Applications for…
Cristian Gonzalez Garcia, Vicente Garcia Diaz Hardcover R6,648 Discovery Miles 66 480
Computer Programming The Doctrine 2.0…
Adesh Silva Hardcover R698 R621 Discovery Miles 6 210
RFID and Wireless Sensors Using…
Angel Ramos, Antonio Lazaro, … Hardcover R2,463 R2,324 Discovery Miles 23 240
Handbook of Research on Advanced…
Niranjan K. Ray, Ashok Kumar Turuk Hardcover R7,161 Discovery Miles 71 610
Affordability Issues Surrounding the Use…
Sam Takavarasha Jr, Carl Adams Hardcover R4,902 Discovery Miles 49 020
Computational Network Science - An…
Henry Hexmoor Paperback R783 Discovery Miles 7 830
TLS Mastery
Michael W Lucas Hardcover R893 R812 Discovery Miles 8 120
Broadband Wireless Access Networks for…
Raul Aquino Santos, Victor Rangel Licea, … Hardcover R5,954 Discovery Miles 59 540

See more

Partners