Normal view MARC view ISBD view

Protocol specification, testing and verification XV : proceedings of the Fifteenth IFIP WG6.1 International Symposium on Protocol Specification, Testing and Verification, Warsaw, Poland, June 1995

By:

IFIP WG6.1 International Symposium on Protocol Specification Testing and Verification (15º : 1995 : Varsovia)

Contributor(s):

Material type: Text

TextPublication details: London : Chapman & Hall, 1996Edition: 1st edDescription: vii, 455 p. ; 23 cmISBN:

0412716208

Subject(s):

Contents:

Specification and verification: time-dependent analysis -- Specification of concurrent systems -- Testing -- Specification and verification: temporal approach -- Validation and testing -- Specification and analysis -- Verification: model checking -- High speed / multimedia -- Towards implementation.

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Call number	Status	Date due	Barcode
Libros	Biblioteca Fac.Informática	C.2.2 PRO (Browse shelf(Opens below))	Available		DIF-00026

Browsing Biblioteca Fac.Informática shelves Close shelf browser (Hides shelf browser)

Previous								Next
Previous	C.2.2 GRI IP traffic theory and performance	C.2.2 KAR Protocols and architectures for wireless sensor networks	C.2.2 MAR Communication network protocols	C.2.2 PRO Protocol specification, testing and verification XV : proceedings of the Fifteenth IFIP WG6.1 International Symposium on Protocol Specification, Testing and Verification, Warsaw, Poland, June 1995	C.2.2 ROS How to manage your network using SNMP : the networking management practicum	C.2.2 SID Inside AppleTalk	C.2.3 BLA Network management standards : SNMP, CMIP, TMN, MIBs and object libraries	Next

There are no comments on this title.

to post a comment.