Livrare gratuită pentru comenzile peste 349,00 lei.
Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje
Creați-vă un cont gratuit
Transport gratuit la punctele de livrare Pick Up peste 349.00 lei
Packeta 15.00 lei
Cargus 28.00 lei
Easybox 20.00 lei
FAN 20.00 lei
Punct FAN 16.00 lei
Punct DPD 17.00 lei
Curier Sameday 24.00 lei
Curier DPD 25.00 lei
Contact
Cum să cumpăr
Ajutor
Livrare
Packeta 15.00 lei
Cargus 28.00 lei
Easybox 20.00 lei
FAN 20.00 lei
Punct FAN 16.00 lei
Punct DPD 17.00 lei
Curier Sameday 24.00 lei
Curier DPD 25.00 lei
Transport gratuit la punctele de livrare Pick Up peste 349.00 lei
Consilier de cumpărături
Suntem aici pentru tine!
031 22 95 182
Contul meu
▸
Gol :-(
0
Livrare gratuită pentru comenzile peste 349,00 lei.
Formal Methods for Open Object-Based Distributed Systems
6th IFIP WG 6.1 International Conference, FMOODS 2003, Paris, France, November 19.21, 2003, Proceedings
Limba
engleză
engleză
Carte
Carte broșată
This book constitutes the refereed proceedings of the 6th IFIP WG 6.1 International Conference on Fo...
Descrierea completă
Codul Libristo: 01558784
?
132 b
132 b
286.02
lei
În depozitul extern
Expediem în 5-8 zile
30 de zile pentru retur bunuri
Clienții au cumpărat de asemenea
/
Carte broșată
247.55
lei
This book constitutes the refereed proceedings of the 6th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2003, held in Paris, France in November 2003.§The 18 revised full papers presented together with an invited paper were carefully reviewed and selected from 78 submissions. The papers are organized in topical sections on models, logic and verification, calculi, Java and .NET, UML, and composition and verification.
Actriță
&
Poliglotă
EWA KASP
pentru
Redă videoclipul
Libristo are cea mai mare selecție de literatură în limbi străine. De aceea îmi cumpăr cărțile de aici.
Informații despre carte
Titlu complet
Formal Methods for Open Object-Based Distributed Systems
Autor
Elie Najm, Uwe Nestmann, Perdita Stevens
Limba
engleză
engleză
Legare
Carte - Carte broșată
Data publicării
2003
Număr pagini
340
EAN
9783540204916
ISBN
3540204911
Codul Libristo
01558784
Editura
Springer, Berlin
Greutatea
499
Dimensiuni
155 x 235 x 18
Categorii
Computing & Information Technology
>
Computer programming / software engineering
>
Compilers & interpreters
Computing & Information Technology
>
Computer programming / software engineering
>
Object-oriented programming (OOP)
Computing & Information Technology
>
Computer programming / software engineering
>
Programming & scripting languages: general
