- Model Checking
-
Tipul înregistrării: Text tipărit: monografic Autor: Clarke, Edmund M., Jr. Autor alternativ: Grumberg, Orna Autor alternativ: Peled, Doron A. Responsabilitate: Edmund M. Clarke, Jr. Responsabilitate secundară: Orna Grumberg
Doron A. PeledEditura: The MIT Press Locul publicării: London Anul Ediției: 1999 ISBN: 0-262-03270-8 Descriere: xvi, 314 p.: il.; 23 cm. Note: Bibliogr. la p. 297-307 Limba: Engleză Subiect: Structura calculatoarelor Subiect: Circuite de prelucrare Subiect: Algoritmi pentru evaluare Subiect: Modele matematice pentru cercetare operaţională Subiect: Verificarea modelelor formale Cota topografică: 004 / C 56 Clasificare: 004.2/4 Clasificare: 519.87
Unităţi
- 1 înregistrări • Pagini 1 •
- 1
Număr inventar | Nume localizare | Clasă unitate | Tip material | Cota | Clasă utilizare | Situaţie împrumut | Rezervări | Număr Volum | Note | Fişiere ataşate | |
202436
|
Sală de lectură corp I
|
Consultare la sala de lectură
|
Carte tipărită
|
004 / C 56
|
1.Normal
|
La raft
|
0
|
|
- 1 înregistrări • Pagini 1 •
- 1
Evaluări
- Adaugă un comentariu şi faci cunoscută opinia ta!
Exportă
Filiala de unde se ridică