Logics of specification languages / Dines Bjorner, Martin C. Henson, editors.
Material type:
- text
- unmediated
- volume
- 3540741062
- 9783540741060
- QA76.7 .L63 2008
Item type | Current library | Call number | Status | Date due | Barcode | |
---|---|---|---|---|---|---|
Books - Printed | PERPUSTAKAAN GUNASAMA HAB PENDIDIKAN TINGGI PAGOH Main Library General | QA76.7 .L63 2008 (Browse shelf(Opens below)) | Available | 1000219292 |
Browsing PERPUSTAKAAN GUNASAMA HAB PENDIDIKAN TINGGI PAGOH shelves, Shelving location: Main Library General Close shelf browser (Hides shelf browser)
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
||
QA76.7 .K39 2004 XSLT 2.0 programmer's reference / | QA76.7 .L36 2006 Languages and tools for hybrid systems design / | QA76.7 .L43 2015 Beginning Swift programming / | QA76.7 .L63 2008 Logics of specification languages / | QA76.7 .P34 2013 C programming : including numerical and statistical methods/ | QA76.73 .A57 1996 Application programming in structured C / | QA76.73 .B3 .S36 2001 Introduction to visual Basic 6.0 / |
3
There are no comments on this title.
Log in to your account to post a comment.