inginerie software prototipizare declarativă tehnici semantice modelare matematică sistemul NPL
|
LDR | 00162nx j2200049 | |
---|---|---|
001 | 130284 | |
250 | $a inginerie software prototipizare declarativă tehnici semantice modelare matematică sistemul NPL | |
901 | $a a $b a |
Lucrări:
1 lucrari in 1 publicatii in 1 limbi
1 records Page 1 of 1
- 1
Inginerie software : studii în prototipizare şi specificare formală
de:
Todoran, Eneia
(Text tipărit)