- Testing Methods based on Formal Specifications : Teză de doctorat
-
Tipul înregistrării: Text tipărit: monografic Autor: Lefticaru, Raluca-Elena Membrul grupului ştiinţific: Ipate, Florentin Eugen Autor colectiv alternativ: Ministerul Educaţiei, Cercetării, Tineretului şi Sportului Autor colectiv secundar: Universitatea din Piteşti Autor colectiv secundar: Facultatea de Matematică-Informatică Responsabilitate: Doctorand: Raluca-Elena Lefticaru Responsabilitate secundară: Coordonator ştiinţific: Prof.uiv.dr. Florentin Ipate Editura: Școala Doctorală Interdisciplinară Locul publicării: Piteşti Anul Ediției: 2011 Descriere: xvi, 204 p.: il.; 30 cm Note: Bibliogr. la p. 173-191 Limba: Engleză Subiect: Informatică Subiect: Calculatoare Subiect: Programe de calculatoare. Software Subiect: Tehnica programării (software engineering) Subiect: Modelarea şi simularea sistemelor de calculator Subiect: Specificaţii formale Subiect: Teză de doctorat Subiect: Teze de doctorat digitizate (loading) Subiect: Domeniul de doctorat: Informatică Cota topografică: 004(043) / L 39 Clasificare: 004.414.23(043)
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 | |
211752
|
Sală de lectură corp I
|
Consultare la sala de lectură
|
Broşură multigrafiată
|
004(043) / L 39
|
1.Normal
|
La raft
|
0
|
|
- 1 înregistrări • Pagini 1 •
- 1
Multimedia
Evaluări
- Adaugă un comentariu şi faci cunoscută opinia ta!
Exportă
Filiala de unde se ridică