Summary goes here
I tiakina i:
| Hōputu: | Pukapuka |
|---|---|
| Reo: | Ingarihi |
| Ngā marau: | |
| Ngā Tūtohu: |
Tāpirihia he Tūtohu
Kāore He Tūtohu, Me noho koe te mea tuatahi ki te tūtohu i tēnei pūkete!
|
| era | |
|---|---|
| format | Book |
| genre | |
| geographic | |
| id | c875b7dc-9bb2-4fba-a433-7d6f1eab4456 |
| isbn | 9783642376351 3642376355 |
| issn | |
| language | eng |
| physical | 1 online resource (x, 282 pages) :illustrations |
| publication | – publisher: Springer dateOfPublication: ©2013 |
| publishDate | ©2013 |
| subjects | |
| title | Recent trends in algebraic development techniques : 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012 : revised selected papers / Narciso Martí-Oliet, Miguel Palomino (eds.). |
| topic | Computer software Computer science Formal methods (Computer science) Computer systems. Computer Systems Mathematical Computing Software Informatique Méthodes formelles (Informatique) Systèmes informatiques. Computer systems Computer science Computer software Formal methods (Computer science) Computer science. Information theory. Logic design. Mathematical Logic and Formal Languages. Mathematics of Computing. Theory of Computation. Mathematical Logic and Foundations. Congress proceedings (reports) Conference papers and proceedings Conference papers and proceedings. Actes de congrès. |