Temporal logic of programs


Fred Kröger
Bok Engelsk 1987

Detaljer

Bibliotek som har denne