Formal Methods: foundations and applications
By: Iyoda, Juliano.
Contributor(s): de Moura, Leonardo.
Material type:
BookSeries: Edition: 1st ed. 2013.Description: 242p.ISBN: 9783642410703.Subject(s): 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 ComplexityDDC classification: 004.2CLA Online resources: Download eBook
| Item type | Current location | Call number | Status | Date due | Barcode | Item holds |
|---|---|---|---|---|---|---|
Books
|
Central Library, QUEST, Nawabshah
Welcome to the Central Library, QUEST, Nawabshah, Sindh, Pakistan |
004.2CLA (Browse shelf) | Available | 58751 |
Total holds: 0
Click on an image to view it in the image viewer
There are no comments for this item.