Liknande böcker

Static Analysis
Bok av Jens. Palsberg
Rewriting Logic and Its Applications : 11th International Workshop, WRLA...
Bok av Dorel Lucanu
Objects, Models, Components, Patterns
Bok av Jan. Vitek
Logic-Based Program Synthesis and Transformation : 26th International Sy...
Bok av Manuel V Hermenegildo (editor), Pedro Lopez-Garcia (editor)
FSTTCS 2004: Foundations of Software Technology and Theoretical Computer...
Bok av Kamal. Lodaya
Languages and Compilers for Parallel Computing : 28th International Work...
Bok av Xipeng Shen
Languages and Compilers for Parallel Computing : 27th International Work...
Bok av James William Brodman
Software Composition
Bok av Welf. Löwe

Rewriting Logic and Its Applications

Bok