Local cover image
Image from Google Jackets
Formal Methods: foundations and applications
Material type:
TextSeries: Edition: 1st ed. 2013Description: 242pISBN: - 9783642410703
- Software engineering
- Programming languages (Electronic computers)
- Computer programming
- Computer logic
- Mathematical logic
- Algorithms
- Programming Languages, Compilers, Interpreters
- Programming Techniques
- Logics and Meanings of Programs
- Mathematical Logic and Formal Languages
- Algorithm Analysis and Problem Complexity
- 004.2CLA
| Cover image | Item type | Current library | Home library | Collection | Shelving location | Call number | Materials specified | Vol info | URL | Copy number | Status | Notes | Date due | Barcode | Item holds | Item hold queue priority | Course reserves | |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Books
|
Central Library, QUEST, Nawabshah | 004.2CLA (Browse shelf(Opens below)) | Available | 58751 |
Total holds: 0
There are no comments on this title.
Log in to your account to post a comment.
Click on an image to view it in the image viewer