Liknande böcker

Rewriting Logic and Its Applications : 9th International Workshop, WRLA...
Bok av Franciso. Durán
NASA Formal Methods
Bok av Guillaume. Brat
Automated Technology for Verification and Analysis
Bok av Tevfik. Bultan
Compiler Construction
Bok av Björn. Franke
Formal Aspects of Component Software
Bok av Markus Lumpe
Implementation and Application of Functional Languages : 24th Internatio...
Bok av Ralf. Hinze
Rewriting Logic and Its Applications : 10th International Workshop, WRLA...
Bok av Santiago. Escobar
Perspectives of Systems Informatics : 8th International Andrei Ershov Me...
Bok av Edmund. Clarke

Practical Aspects of Declarative Languages

Bok av Kostis. Sagonas