Computer Aided Verification - Pierre Wolper - książka wyd. 1995

Opis

Computer Aided Verification autorstwa Pierre'a Wolpera to publikacja zawierająca materiały z 7. Międzynarodowej Konferencji CAV '95, która odbyła się w Liège, Belgia, w dniach 3–5 lipca 1995 roku. Książka jest częścią serii Lecture Notes in Computer Science i koncentruje się na metodach weryfikacji komputerowej, obejmujących zarówno systemy skończone, jak i systemy czasu rzeczywistego oraz hybrydowe