Formal Models and Semantics
E-bok
PDF, Engelska, 20144 125 kr
Läs direkt i Bokus Reader – eller ladda ned till din enhet (PDF kräver ofta zoom och scroll på små skärmar).
Beskrivning
The second part of this Handbook presents a choice of material on the theory of automata and rewriting systems, the foundations of modern programming languages, logics for program specification and verification, and some chapters on the theoretic modelling of advanced information processing.
Produktinformation
Utforska kategorier
Hoppa över listan
Du kanske också är intresserad av
- Signerad!
Del 3
- -17%
- Signerad!
- Nyhet
- -21%
- Nyhet
- Nyhet
Domino : Dåren, domaren och den välkammade mannen från pirayaministeriet
Håkan Nesser
Inbunden, 2026
259 kr
- -19%
- -30%
- Signerad!