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 R637 R576 Discovery Miles 5 760
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
Computational Network Science - An…
Henry Hexmoor Paperback R783 Discovery Miles 7 830
Affordability Issues Surrounding the Use…
Sam Takavarasha Jr, Carl Adams Hardcover R4,902 Discovery Miles 49 020
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