Summary goes here
Shranjeno v:
| Format: | Knjiga |
|---|---|
| Jezik: | angleščina |
| Teme: | |
| Oznake: |
Označite
Brez oznak, prvi označite!
|
| era | |
|---|---|
| format | Book |
| genre | |
| geographic | |
| id | c91d592c-e0ea-4aff-aab9-604f77cf74d1 |
| isbn | |
| issn | |
| language | eng |
| physical | 1 online resource (ix, 170 pages) :illustration |
| publication | – publisher: University of MissouriColumbia dateOfPublication: 2019 |
| publishDate | 2019 |
| subjects | |
| title | Mechanizing the metatheory of ReWire / by Thomas N. Reynolds. |
| topic | Lambda calculus. Computer hardware description languages. Lambda calculus. Computer hardware description languages. Academic theses. Academic theses. Dissertations, Academic |