Software engineering 2 : specification of systems and languages / by D. Bjorner.
By: Bjorner, D.
Material type: TextPublisher: NewYork : Springer , 2007Edition: .Description: xxiii, 777p. : ills. figs ; 23cm.ISBN: 9783540211501.Subject(s): COMPUTER SCIENCEDDC classification: 005.1Item type | Current location | Call number | Copy number | Status | Date due | Barcode |
---|---|---|---|---|---|---|
Books | Central Library General Stacks | 005.1 BJO/S (Browse shelf) | 1 | Available | 85171 |
Browsing Central Library Shelves , Shelving location: General Stacks Close shelf browser
Includes indes and bibliographical reference
85171 RS0.00
There are no comments for this item.