
| ID produktu: | 1166989505 |
|---|---|
| Tytuł: | Computer Aided Verification |
| Autor: | |
| Wydawnictwo: | |
| Redakcja: | Wolper Pierre |
| Język wydania: | english |
| Liczba stron: | 468 |
| Numer wydania: | I |
| Data premiery: | 1995-01-01 |
| Forma: | książka |
| GPSR - osoba odpowiedzialna i certyfikaty: |
Nikt jeszcze nie dodał recenzji tego produktu.
Bądź pierwszy!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