Elementary Logic [electronic resource] : For Software Development / by Robert Lover.
Material type:![Computer file](/opac-tmpl/lib/famfamfam/CF.png)
- 9781848000827
- QA76.76.D47 L68 2008
Item type | Current library | Call number | URL | Copy number | Status | Notes | Date due | Barcode | |
---|---|---|---|---|---|---|---|---|---|
![]() |
Biblioteca Digital Colección Digital | QA76.76.D47 L68 2008 (Browse shelf(Opens below)) | Link to resource | 1 | Available | SpringerLink | BDIG00007800 |
Browsing Biblioteca Digital shelves, Shelving location: Colección Digital Close shelf browser (Hides shelf browser)
QA76.76.D47 K35 2006 Software Product Lines | QA76.76.D47 K67 2007 Reliable Systems on Unreliable Networked Platforms 12th Monterey Workshop 2005, Laguna Beach, CA, USA, September 22-24, 2005. Revised Selected Papers / | QA76.76.D47 L56 2007 Software Product Lines in Action The Best Industrial Practice in Product Line Engineering / | QA76.76.D47 L68 2008 Elementary Logic | QA76.76.D47 M46 2008 Software Evolution | QA76.76.D47 M49 2007 Software Engineering Approaches for Offshore and Outsourced Development First International Conference, SEAFOOD 2007, Zurich, Switzerland, February 5-6, 2007. Revised Papers / | QA76.76.D47 M57 2006 FM 2006: Formal Methods 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006. Proceedings / |
There are no comments on this title.
Log in to your account to post a comment.