PROGRAMMING-BASED FORMAL LANGUAGES AND AUTOMATA THEORY DESIGN, IMPLEMENT, VALIDATE, AND PROVE
Material type:
TextSWITZERLAND SPRINGER 2024Description: xxiii, 524pISBN: 9783031439728Subject(s): COMPUTER SCIENCEDDC classification: QA76.7 .M67 2024
| Item type | Current library | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
Books
|
Gabriel Afolabi Ojo Central Library (Headquarters). | QA76.7 .M67 2024 (Browse shelf(Opens below)) | Available | 0198693 | |
|
Books
|
Gabriel Afolabi Ojo Central Library (Headquarters). | QA76.7 .M67 2024 (Browse shelf(Opens below)) | Available | 0198692 |
Browsing Gabriel Afolabi Ojo Central Library (Headquarters). shelves Close shelf browser (Hides shelf browser)
| QA76.7 .F37 2023 Simple type theory : A practical Logic for Expressing and Reasoning About Mathematical Ideas | QA76.7 .F86 2022 fundamentals of software engineering | QA76.7 .F86 2022 fundamentals of software engineering | QA76.7 .M67 2024 PROGRAMMING-BASED FORMAL LANGUAGES AND AUTOMATA THEORY DESIGN, IMPLEMENT, VALIDATE, AND PROVE | QA76.7 .M67 2024 PROGRAMMING-BASED FORMAL LANGUAGES AND AUTOMATA THEORY DESIGN, IMPLEMENT, VALIDATE, AND PROVE | QA76.73 .W35 2022 OCAML SCIENTIFIC COMPUTING | QA76.73 .W35 2022 OCAML SCIENTIFIC COMPUTING |
There are no comments on this title.