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
IoT Protocols and Applications for…
Cristian Gonzalez Garcia, Vicente Garcia Diaz Hardcover R7,211 Discovery Miles 72 110
DNSSEC Mastery, 2nd Edition
Michael W Lucas Hardcover R947 R853 Discovery Miles 8 530
Statistical Analysis of Networks
Konstantin Avrachenkov, Maximilien Dreveton Hardcover R2,916 Discovery Miles 29 160
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
Handbook of Research on Advanced…
Niranjan K. Ray, Ashok Kumar Turuk Hardcover R7,768 Discovery Miles 77 680
TLS Mastery
Michael W Lucas Hardcover R970 R875 Discovery Miles 8 750
Computational Network Science - An…
Henry Hexmoor Paperback R828 Discovery Miles 8 280

See more

Partners