UML-B Specification for Proven Embedded Systems Design by Fredrik Bernin
Material type:
TextPublication details: Boston Kluwer Academic Publishers 2004Description: ix, 300pISBN: 9781402028663Subject(s): UML (Computer Science) | Embedded computer systemsDDC classification: 005.117 BER
Contents:
<p>Table of Contents:</p>
<p>1. Introd
| Item type | Current library | Collection | Call number | Vol info | Status | Date due | Barcode | Item holds |
|---|---|---|---|---|---|---|---|---|
REFERENCE BOOK
|
LRC_JUIT Computer Science & Engineering | REFERENCE SECTION | REF 005.117 BER (Browse shelf (Opens below)) | Copy 1 | Not for loan | 026441 |
Total holds: 0
Browsing LRC_JUIT shelves, Shelving location: Computer Science & Engineering, Collection: REFERENCE SECTION Close shelf browser (Hides shelf browser)
|
|
|
|
|
|
|
||
| REF 005.114 HAR F# for Scientists | REF 005.115 HUT Logic in Computer Science: modeling and reasoning about systems | REF 005.115 YUA Constraint-Based Verification | REF 005.117 BER UML-B Specification for Proven Embedded Systems Design | REF 005.117 BOO Unified Modelling Language User Guide | REF 005.117 DHO Technology of Object-Oriented Languages, Systems and Architectures | REF 005.117 GAR Object-Oriented Design Knowledge: Principles, Heuristics and Best Practices |
<p>Table of Contents:</p>
<p>1. Introd
There are no comments on this title.