Logics and models of concurrent systems


NATO Advanced Study Institute on Logics and Models of Concurrent Systems
Bok Engelsk 1985

Detaljer

Bibliotek som har denne