Ifip Advances in Information and Communication Technology Ser.: Formal Description Techniques and Protocol Specification, Testing and Verification by Ana Cavalli (1998, Hardcover)
Oops! Looks like we're having trouble connecting to our server.
Refresh your browser window to try again.
About this product
Product Identifiers
PublisherSpringer
ISBN-100412847604
ISBN-139780412847608
eBay Product ID (ePID)89358341
Product Key Features
Number of PagesXvi, 472 Pages
LanguageEnglish
Publication NameFormal DESCRIPTION Techniques and Protocol Specification, Testing and Verification
SubjectSystems Architecture / General, Systems Architecture / Distributed Systems & Computing, Networking / General, Electrical, Networking / Network Protocols
Publication Year1998
TypeTextbook
AuthorAna Cavalli
Subject AreaComputers, Technology & Engineering
SeriesIfip Advances in Information and Communication Technology Ser.