Welcome to Loot.co.za! Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search

Checkout
- Your Cart Price

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

Repayment Terms: R554 pm x 12*

Add to cart

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*

Expected to ship within 10 - 15 working days

Description
Details
Customer Reviews

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