Piteşti | Biblioteca Universităţii |

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)

LDR:00796nam 2200217 001 12328
009 ubfixit050.016 Contributions to Formal Specification of Programmes Systems : Teză de doctorat\\ COZMA, Pompiliea\
010 $d 10.00
020 $b 2012/1
100 $a 20141203u m u0rumy50 ba
101 0 $a eng
200 0 $a Contributions to Formal Specification of Programmes Systems $f Doctorate Thesis: Cozma Pompiliea $g Supervisor: Prof.univ.dr. Tudor Bălănescu $b broşură multigrafiată $e Teză de doctorat
210 # # $a Piteşti $L s10769 $c Școala Doctorală Interdisciplinară $d 2011
215 $a 100 p.: il. $d 30 cm.
300 $a Bibliogr. la p. 89-100
345 $b 2011/364
606 $3 90318 $a Ştiinţa şi tehnologia calculatoarelor. Prelucrarea datelor
606 $3 90979 $a Programe de calculatoare. Software
606 $3 89989 $a Matematică
606 $3 93172 $a Logică matematică
606 $3 90486 $a Teză de doctorat
606 $3 169810 $a Teze de doctorat digitizate (loading)
606 $3 169818 $a Domeniul de doctorat: Informatică
675 $a 004.4:510.6(043)
675 $a 510.6:004.4(043)
679 $a 004 $a 510 $d 0
700 $3 19588 $a Cozma $b Pompiliea
702 $3 5709 $4 727 $a Bălănescu $b Tudor
711 0 0 $3 82240 $a Universitatea din Piteşti $b Facultatea de Matematică-Informatică
801 0 $a RO $b UPIT $c 20141202 $g unimarc
850 $a UPIT
852 # # $j 004(043) / C 80