Logic and software engineering : international workshop in honor of Chih-Sung Tang, Beijing, 14-15 August 1995


editors: A. Pnueli, H. Lin
Bok Engelsk 1996

Detaljer

Bibliotek som har denne