Computer Aided Verification: 9th International Conference - Orna Grumberg - książka wyd. 1997

Opis

"Computer Aided Verification: 9th International Conference, CAV'97" to zbiór materiałów konferencyjnych z dziewiątej edycji CAV, która odbyła się w Haifie, Izrael, w dniach 22–25 czerwca 1997 roku. Publikacja jest częścią serii Lecture Notes in Computer Science i zawiera prace naukowe dotyczące metod, narzędzi oraz teorii związanych z komputerowym wspomaganiem weryfikacji systemów współbieżnych