Electrical

Formal Description Techniques and Protocol Specification, Testing and Verification : FORTE X / PSTV XVII '97

Name: Formal Description Techniques and Protocol Specification, Testing and Verification : FORTE X / PSTV XVII '97
Brand: Springer
SKU: 9780412820601
Price: 22703.00 INR
Availability: InStock
ISBN: 9780412820601

FORMAL DESCRIPTION TECHNIQUES

Contributor(s): Togashi, Atsushi Author , Mizuno, Tadanori Author , Shiratori, Norio Author Format: Hardback

Hardback · ISBN 9780412820601

₹22,703 2%

₹23,219

Inclusive of GST and other taxes

100% Quality Assurance

No Account Creation Required

Fast Delivery

Secured Transactions

Arriving at your doorstep in 10-15 days

Our logisitcs team will make sure everyitem is delivered safely

Key Specifications

ISBN	9780412820601
Subtitle	FORMAL DESCRIPTION TECHNIQUES
Publisher	Springer
Publication date	October 1997
Language	English
MRP	£179.99 GBP
Page count	580
Item weight	217 g

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.

Formal Description Techniques and Protocol Specification, Testing and Verification : FORTE X / PSTV XVII '97

Key Specifications

Togashi, Atsushi Author

Mizuno, Tadanori Author

Shiratori, Norio Author

Related titles