Computer Aided Verification: 5th International Conference, CAV'93, Elounda, Greece, June 28 - July 1, 1993 - Costas Courcoubeits - książka wyd. 1993
33,00 zł 23,76 zł
Przejdź do sklepu Opis
"Computer Aided Verification: 5th International Conference, CAV'93" to zbiór materiałów konferencyjnych z piątej edycji CAV, która odbyła się w Eloundzie, Grecja, w dniach 28 czerwca – 1 lipca 1993 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.