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,915
Discovery Miles 59 150
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,915 Discovery Miles 59 150 | Repayment Terms: R554 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,932 Discovery Miles 19 320
Practical Modern SCADA Protocols - DNP3…
Gordon Clarke, Deon Reynders Paperback R1,557 Discovery Miles 15 570
Statistical Analysis of Networks
Konstantin Avrachenkov, Maximilien Dreveton Hardcover R2,916 Discovery Miles 29 160
DNSSEC Mastery, 2nd Edition
Michael W Lucas Hardcover R947 R853 Discovery Miles 8 530
IoT Protocols and Applications for…
Cristian Gonzalez Garcia, Vicente Garcia Diaz Hardcover R7,211 Discovery Miles 72 110
Ethical Hacking - The Ultimate Guide to…
Lester Evans Hardcover R721 R637 Discovery Miles 6 370
Computer Programming The Doctrine 2.0…
Adesh Silva Hardcover R757 R668 Discovery Miles 6 680
Affordability Issues Surrounding the Use…
Sam Takavarasha Jr, Carl Adams Hardcover R5,315 Discovery Miles 53 150
RFID and Wireless Sensors Using…
Angel Ramos, Antonio Lazaro, … Hardcover R2,620 R2,467 Discovery Miles 24 670
TLS Mastery
Michael W Lucas Hardcover R970 R875 Discovery Miles 8 750
Handbook of Research on Advanced…
Niranjan K. Ray, Ashok Kumar Turuk Hardcover R7,768 Discovery Miles 77 680
Computational Network Science - An…
Henry Hexmoor Paperback R828 Discovery Miles 8 280

See more

Partners