Formal description techniques and protocol specification, testing and verification

Select an Action

Title:

Publication Information:

Boston : Kluwer Academic Pub., 1998

ISBN:

9780412847608

Subject Term:

Added Author:

Library	Item Barcode	Call Number	Material Type	Item Category 1	Status
Searching... PSZ JB	30000004971291	TK5105.55 F67 1998	Open Access Book	Book	Searching... Unknown
Searching... PSZ KL	30000004971309	TK5105.55 F67 1998	Open Access Book	Book	Searching... Unknown