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
Practical Aspects of Declarative Languages
Bok av Kostis. Sagonas
Formal Methods: Foundations and Applications : 13th Brazilian Symposium...
Bok av Jim. Davies
Generic and Indexed Programming : International Spring School, SSGIP 201...
Bok av Jeremy. Gibbons
Software Composition : 6th International Symposium, SC 2007, Braga, Port...
Bok av Markus. Lumpe
Static Analysis
Bok av Jens. Palsberg

Compiler Construction

Bok av Björn. Franke