- Contributions to Formal Specification of Programmes Systems : Teză de doctorat
-
Tipul înregistrării: Text tipărit: monografic Autor: Cozma, Pompiliea Conducătorul tezei: Bălănescu, Tudor Autor colectiv alternativ: Universitatea din Piteşti Responsabilitate: Doctorate Thesis: Cozma Pompiliea Responsabilitate secundară: Supervisor: Prof.univ.dr. Tudor Bălănescu Editura: Școala Doctorală Interdisciplinară Locul publicării: Piteşti Anul Ediției: 2011 Descriere: 100 p.: il.; 30 cm. Note: Bibliogr. la p. 89-100 Limba: Engleză Subiect: Ştiinţa şi tehnologia calculatoarelor. Prelucrarea datelor Subiect: Programe de calculatoare. Software Subiect: Matematică Subiect: Logică matematică Subiect: Teză de doctorat Subiect: Teze de doctorat digitizate (loading) Subiect: Domeniul de doctorat: Informatică Cota topografică: 004(043) / C 80 Clasificare: 004.4:510.6(043) Clasificare: 510.6:004.4(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 | |
212370
|
Sală de lectură corp I
|
Consultare la sala de lectură
|
Broşură multigrafiată
|
004(043) / C 80
|
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ă