Image from Amazon.com
Logic and specification : extending VDM-SL for advanced formal specification
Material type:
TextSeries: Computer science : research and practicePublication details: London; Chapman and Hall Computing; 1993Description: xi, 404pISBN: - 9780412486807
| Item type | Home library | Call number | Status | Barcode | |
|---|---|---|---|---|---|
BOOKS
|
AMRITA SCHOOL OF ENGINEERING | 004.415VDM N30 (Browse shelf(Opens below)) | Available | 18418 |
Browsing AMRITA SCHOOL OF ENGINEERING shelves Close shelf browser (Hides shelf browser)
|
|
|
|
|
|
||
| 004.415UML Q30 Object oriented analysis and design : using UML | 004.415UMLP70 Using uml : software engineering with objects and components | 004.415USE P30 Patterns for effective use cases | 004.415VDM N30 Logic and specification : extending VDM-SL for advanced formal specification | 004.415Z N60 Formal specification and documentation using Z : a case study approach | 004.438CSHA Q02 C# 2008 projects : black book |
Includes bibliographical references and index
There are no comments on this title.
Log in to your account to post a comment.