Temporal logic in specification : Altrincham, UK, April 8-10, 1987 : proceedings


B. Banieqbal, H. Barringer, A. Pnueli (eds.)
Bok Engelsk 1989

Detaljer

Bibliotek som har denne