Semantiktechnik mit PLT Redex von Robert Bruce Findler (Englisch) Hardcover
109,63 €
By Robert Bruce Findler, Matthias Felleisen, Matthew Flatt. With PLT Redex, semanticists can formulate models as grammars and reduction models on their computers with the ease of paper and pencil. Finally, experts describe a range of models formulated in Redex.
Jetzt bei Ebay:
![Produktbild - Logic, Semantics, Metamathematics [English and Polish Edition]](https://i.ebayimg.com/thumbs/images/g/EAoAAeSwpxZoSgIF/s-l140.jpg)
