Formal Description Techniques and Protocol Specification Testing and Verification Forte X/PSTV XVII '97 : IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE X) and Protocol Specification, Testing and Verification (PSTV XVII), 18-21 November 1997, Osaka, Japan - IFIP Advances in Information and Communication Technology

IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE X) and Protocol Specification Testing and Verification (PSTV XVII), Tadanori Mizuno, International Federation for Information Processing

1997

Hardback (31 Oct 1997)

$257.23

In Stock

Add to basket

Includes delivery to the United States

10+ copies available online - Usually dispatched within 7 days

Publisher's Synopsis

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.

Book information

ISBN:	9780412820601
Publisher:	Springer US
Imprint:	Springer
Pub date:	31 Oct 1997
Edition:	1997
DEWEY:	004.62
DEWEY edition:	21
Language:	English
Number of pages:	550
Weight:	2170g
Height:	234mm
Width:	156mm
Spine width:	31mm