Piteşti | Biblioteca Universităţii |

Tipul înregistrării:	Text tipărit: monografic
Editor:	Najm, Elie
Editor:	Pradat-Peyre, Jean-François
Editor:	Donzeau-Gouge, Véronique Viguié
Editura:	Springer
Locul publicării:	Germania
Descriere:	vol.; 23 cm.
Limba:	Engleză
Serie:	Lecture Notes in Computer Science
Conține:	Formal Techniques for Networked and Distributed Systems - FORTE 2006. Vol. 4229
Subiect:	Ştiinţa şi tehnologia calculatoarelor
Subiect:	Programare de calculatoare
Subiect:	Sisteme de prelucrare distribuite
Cota topografică:	004 / F 79
Clasificare:	004
Clasificare:	004.75

LDR:00644nam# 2200193## 001 79087
009 ubfixit050.016 Formal Techniques for Networked and Distributed Systems - FORTE 2006\\ NAJM, Elie\
020 $b 2007/2
100 $a 20141203d $a 17052007u########m##u0rumy50######ba
101 $a eng
200 $a Formal Techniques for Networked and Distributed Systems - FORTE 2006 $b *Carte tipărită
210 $a Germania $L s7802 $c Springer $d
215 $a vol. $d 23 cm.
225 $a Lecture Notes in Computer Science
345 $b 2007/097
410 $0 32551 $t Lecture Notes in Computer Science
462 $0 79088 $b *Carte tipărită $d 2006 $i Vol. 4229 $p XII, 488 p.: il. $s Lecture Notes in Computer Science $t Formal Techniques for Networked and Distributed Systems - FORTE 2006 $y 3-540-46219-8
606 $3 90431 $a Ştiinţa şi tehnologia calculatoarelor
606 $3 91452 $a Programare de calculatoare
606 $3 91459 $a Sisteme de prelucrare distribuite
675 $a 004
675 $a 004.75
679 $a 004 $d 0
702 $3 54778 $4 340 $a Najm $b Elie
702 $3 64764 $4 340 $a Pradat-Peyre $b Jean-François
702 $3 24156 $4 340 $a Donzeau-Gouge $b Véronique Viguié
801 0 $a RO $b UPIT $c 20141202 $2 unimarc
852 $j 004 / F 79

Lucrări în relație

1 records Page 1 of 1

	Tip
Formal Techniques for Networked and Distributed Systems - FORTE 2006, Vol. 4229, 2006	Volum

Evaluări

Exportă

Filiala de unde se ridică