Logic of programming and calculi of discrete design : International Summer School


NATO Advanced Study Institute on Logic of Programming andCalculi of Discrete Design
Bok Engelsk 1987

Detaljer

Bibliotek som har denne