Formal Description Techniques and Protocol Specification, Testing and Verification Forte X / PSTV XVII ' 97
By: Mizuno, Tàet.al.. Editor.
Material type: BookPublisher: London Chapman & Hall 1997Description: xi,550p.ISBN: 978-0-412-83050-1.Item type | Current location | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
004.36 MIZ (Browse shelf) | Available | 508248 |
There are no comments for this item.