- 25 Years of Model Checking : History, Achievements, Perspectives
-
Tipul înregistrării: Text tipărit: monografic Editor: Grumberg, Orna Editor: Veith, Helmut Editura: Springer Locul publicării: Germany Anul Ediției: 2008 ISBN: 978-3-540-69849-4 ISBN: ISSN: 0302-9743 Descriere: VIII, 234 p.; 23 cm. Note: Bibliogr. după fiecare capitol Limba: Engleză Serie: Lecture Notes in Computer Science Subiect: Structura calculatoarelor Subiect: Circuite de prelucrare Subiect: Algoritmi pentru evaluare Subiect: Modele matematice pentru cercetare operaţională Cota topografică: 004 / T 97 Clasificare: 004.2/.4:519.87 Clasificare: 519.87:004.2/.4
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 | |
205412
|
Sală de lectură corp I
|
Consultare la sala de lectură
|
Carte tipărită
|
004 / T 97
|
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ă