ZB 2003: Formal specification and development in Z and B: Third inetrnational conference of B and Z users Turku, Finland, June 4-6, 2003 proceedings
By: Bert, Didier.
Material type:
BookSeries: 2651. Lecture notes in computer science.Publisher: Berlin: Springer-Verlag, 2003Description: 545 p.; Index.: 23 cm.ISBN: 9783540402534.Subject(s): Alloy | Z Language | B Language | Formal SpecificationDDC classification: 004
| Item type | Current location | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
| Books | 004 BER (Browse shelf) | Available | 007284 |
There are no comments for this item.