Formal Description Techniques and Protocol Specification, Testing and Verification: FORTE X / PSTV XVII ’97 (IFIP Advances in Information and Communication Technology)
📄 Viewing lite version
Full site ›
Book Details
Author(s)Togashi, Atsushi
PublisherSpringer
ISBN / ASIN0412820609
ISBN-139780412820601
AvailabilityOnly 5 left in stock - order soon.
CategoryComputers
MarketplaceUnited States 🇺🇸
Description ▲
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.
More Books in Computers
Windows XP, Vol. 1 (SELECT Series)
View
Internet Searching and Indexing: The Subject Approach
View
Control Problems in Industry: Proceedings from the SIA…
View
Open Source Systems Security Certification
View
Java: Data Structures and Programming
View
User-Centered Web Development
View
Query Processing in Database Systems (Topics in Inform…
View
Fundamentals of SQL Server 2005
View
Dreamweaver CS4: The Missing Manual (Spanish Edition)
View