Summary goes here
Kaydedildi:
| Materyal Türü: | Kitap |
|---|---|
| Dil: | İngilizce |
| Konular: | |
| Etiketler: |
Etiketle
Etiket eklenmemiş, İlk siz ekleyin!
|
| 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 |