UTCB |

Tipul înregistrării:	Text tipărit: monografic
Autor:	Todoran, Eneia
Responsabilitate:	Eneia Todoran
Editura:	Mediamira
Locul publicării:	Cluj-Napoca
Anul Ediției:	2006
ISBN:	(10)973-713-098-7
ISBN:	(13)978-973-713-098-3
Descriere:	148p. ; 24 cm
Limba:	Română
Subiect:	inginerie software prototipizare declarativă tehnici semantice modelare matematică sistemul NPL
Subiect:	știința și tehnologia computerelor prelucrarea datelor
Subiect:	Schimb documentar
Subiect:	Cărți românești
Subiect:	07
Subiect:	2007
Subiect:	2012
Cota topografică:	004.41/T 68
Clasificare:	004.41:519.6
Note conţinut (cuprins):	tehnice semantice
Note conţinut (cuprins):	limbajul Haskell
Note conţinut (cuprins):	tehnica CSC
Note conţinut (cuprins):	modelare matematică
Note conţinut (cuprins):	prototip Prolog

LDR:00873nam 2200289 001 43821
009 ubfixit050.016 Inginerie software : studii în prototipizare şi specificare formală
010 $a (10)973-713-098-7 $d 20.00
010 $a (13)978-973-713-098-3
020 $b 4/2007
100 $a 20220428u m u0rumy50 ba
101 0 $a rum
109 0 $a d
122 0 $a d
200 0 $a Inginerie software $f Eneia Todoran $b *Carte tipărită $e studii în prototipizare şi specificare formală
210 # # $a Cluj-Napoca $L s3976 $c Mediamira $d 2006
215 $a 148p. ; 24 cm
327 # # $a tehnice semantice
327 # # $a limbajul Haskell
327 # # $a tehnica CSC
327 # # $a modelare matematică
327 # # $a prototip Prolog
345 $b 2007/77
606 $3 130284 $a inginerie software prototipizare declarativă tehnici semantice modelare matematică sistemul NPL
606 $3 126570 $a știința și tehnologia computerelor prelucrarea datelor
608 # $3 111078 $a Schimb documentar
608 # $3 111074 $a Cărți românești
608 $3 111050 $a 07
608 $3 111110 $a 2007
608 $3 111093 $a 2012
675 $a 004.41:519.6
679 $a 004 $d 0
700 $3 72891 $a Todoran $b Eneia
801 0 $a RO $b UTCB $c 20220428 $g unimarc
850 $a UTCB
852 # # $j 004.41/T 68