- Modeling and Verification Using UML Statecharts : A Working Guide to Reactive System Design, Runtime Monitoring and Execution-Based Model Checking
-
Tipul înregistrării: Text tipărit: monografic Autor: Drusinsky, Doron Responsabilitate: Doron Drusinsky Editura: Elsevier Locul publicării: U.S.A. Anul Ediției: 2006 ISBN: 0-7506-7949-2 ISBN: 978-0-7506-7949-7 Descriere: xii, 308 p.: il.; 23 cm.+ 1 CD Note: Bibliogr. la p. 295-301 Note: Conţine 1 CD Limba: Engleză Subiect: Calculatoare Subiect: Programe de calculatoare Subiect: Software Cota topografică: 004 / D 85 Clasificare: 004.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 | |
202443
|
Sală de lectură corp I
|
Consultare la sala de lectură
|
Carte tipărită
|
004 / D 85
|
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ă