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: R6,048
Discovery Miles 60 480
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 R6,048 Discovery Miles 60 480 | Repayment Terms: R567 pm x 12*

Bookmark and Share

Expected to ship within 10 - 15 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,875 Discovery Miles 18 750
Practical Modern SCADA Protocols - DNP3…
Gordon Clarke, Deon Reynders Paperback R1,508 Discovery Miles 15 080
Statistical Analysis of Networks
Konstantin Avrachenkov, Maximilien Dreveton Hardcover R2,971 Discovery Miles 29 710
DNSSEC Mastery, 2nd Edition
Michael W Lucas Hardcover R972 R853 Discovery Miles 8 530
Ethical Hacking - The Ultimate Guide to…
Lester Evans Hardcover R740 R629 Discovery Miles 6 290
IoT Protocols and Applications for…
Cristian Gonzalez Garcia, Vicente Garcia Diaz Hardcover R7,372 Discovery Miles 73 720
Computer Programming The Doctrine 2.0…
Adesh Silva Hardcover R777 R663 Discovery Miles 6 630
RFID and Wireless Sensors Using…
Angel Ramos, Antonio Lazaro, … Hardcover R2,567 R2,399 Discovery Miles 23 990
Affordability Issues Surrounding the Use…
Sam Takavarasha Jr, Carl Adams Hardcover R5,374 Discovery Miles 53 740
TLS Mastery
Michael W Lucas Hardcover R995 R876 Discovery Miles 8 760
Handbook of Research on Advanced…
Niranjan K. Ray, Ashok Kumar Turuk Hardcover R7,840 Discovery Miles 78 400
Computational Network Science - An…
Henry Hexmoor Paperback R793 Discovery Miles 7 930

See more

Partners