Formal methods for real-time computing


edited by Constance Heitmeyer and Dino Mandrioli
Bok Engelsk 1996

Detaljer

Bibliotek som har denne