Adapting Proofs-as-Programs

Monographs in Computer Science (Series)

Iman Poernomo Author
John N. Crossley Author
(2007)

Parsing Techniques

Monographs in Computer Science (Series)

Dick Grune Author
Ceriel J.H. Jacobs Author
(2007)

Evolutionary Synthesis of...

Monographs in Computer Science (Series)

Bir Bhanu Author
Yingqiang Lin Author
(2006)

Reverse Engineering of Object...

Monographs in Computer Science (Series)

Paolo Tonella Author
Alessandra Potrich Author
(2007)

Software Configuration...

Monographs in Computer Science (Series)

Clark Allan Heydon Author
Roy Levin Author
(2010)