Real time programming languages, specifications and verification R.K. Shyamasundar and S. Ramesh
Publication details: Singapore World scientific 2010Description: xv, 245pISBN:- 9789810225667
Item type | Current library | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
Books | University Library General Stacks | 004.451.7.031.43 SHY (Browse shelf(Opens below)) | Available | 00064599 |
Browsing University Library shelves, Shelving location: General Stacks Close shelf browser (Hides shelf browser)
004.439:004.55HTML LAV HTML 5(Hyper Text Markup Language) | 004.439UML BOG Mastering UML with rational rose | 004.439UML WEI Systems engineering with SYsML/UML | 004.451.7.031.43 SHY Real time programming | 004.451.9 LINUX MAT Beginning linux programming | 004.451.9 LINUX NEG Fedora 10 and Red Hat enterprise Linux Bible | 004.451.9 LINUX NEG Fedora bibile 2010 edition |
There are no comments on this title.