Image from Amazon.com
Formal methods for software engineering languages, methods, application domains
Material type:
TextPublication details: Switzerland Springer Nature 2022Description: xxviii, 524 p. : ill. Col. ; 23 cmISBN: - 9783030387990 (pbk)
- 005.1 FOR
| Item type | Current library | Call number | URL | Copy number | Status | Date due | Barcode | |
|---|---|---|---|---|---|---|---|---|
Books
|
Faisalabad Campus | 005.1 FOR (Browse shelf(Opens below)) | Link to resource | 1 | Available | 114505 | ||
|
Books
|
Faisalabad Campus | 005.1 FOR (Browse shelf(Opens below)) | Link to resource | 2 | Available | 114506 | ||
|
Books
|
Faisalabad Campus | 005.1 FOR (Browse shelf(Opens below)) | Link to resource | 3 | Available | 114507 |
Browsing Faisalabad Campus shelves Close shelf browser (Hides shelf browser)
|
|
|
|
|
|
|
||
| 005.1 FOO Learning to program | 005.1 FOR Formal methods for software engineering | 005.1 FOR Formal methods for software engineering | 005.1 FOR Formal methods for software engineering | 005.1 GAD Starting out with programming logic and design | 005.1 GAD Starting out with programming logic and design | 005.1 GAD Starting out with programming logic and design |
Text in theoretical computer science.
an EATCS series
Includes appendices and index.
There are no comments on this title.
Log in to your account to post a comment.