phone 031 22 95 182
LIBRISTO 0
Transport gratuit la punctele de livrare Pick Up peste 299 lei
Packeta 15 lei Easybox 20 lei Cargus 25 lei FAN 25 lei
phone Contact phoneCum să cumpăr

Formal Methods for Components and Objects, FMCO 2002

Limba englezăengleză
Carte Carte broșată
Carte Formal Methods for Components and Objects, FMCO 2002 Frank S. de Boer
Codul Libristo: 01558705
Editura Springer, Berlin, noiembrie 2002
This book presents revised tutorial lectures given by invited speakers at the First International Sy... Descrierea completă
? points 161 b
324 lei
În depozitul extern în cantități mici Expediem în 12-17 zile

30 de zile pentru retur bunuri

Ar putea de asemenea, să te intereseze

Květa Fialová pod křídly andělů Josef Kubáník / Copertă tare
common.buy 42 lei
Matematika Racionální čísla Procenta Jiří Herman / Carte broșată
common.buy 26 lei
Clara Grunwald und Maria Montessori Diana Stiller / Carte broșată
common.buy 363 lei
Algebraic Geometry Solomon Lefschetz / Copertă tare
common.buy 751 lei
Computer Safety, Reliability, and Security Rune Winther / Carte broșată
common.buy 324 lei
Gier Arne Dahl / Carte broșată
common.buy 52 lei
Luxemburg - Gesammelte Werke / Gesammelte Werke Bd. 6 Annelies Laschitza / Copertă tare
common.buy 224 lei
lo fizo, fizo lo, fizol - Die Stellung der Klitika im 13. Jahrhundert und der Gegenwart Theresa Zuschnegg / Carte broșată
common.buy 208 lei
Kolonien im Roemischen Reich mit besonderer Berucksichtigung der Zeit der Gracchen Andreas Staggl / Carte broșată
common.buy 193 lei
7. Schuljahr, Arbeitsheft Heinz Griesel / Foaie
common.buy 49 lei
Fundamentals of Radiation Materials Science Gary Was / Copertă tare
common.buy 567 lei
Communal Organization and Social Transition Barry Laffan / Carte broșată
common.buy 299 lei

This book presents revised tutorial lectures given by invited speakers at the First International Symposium on Formal Methods for Components and Objects, FMCO 2002, held in Leiden, The Netherlands, in November 2002.The 21 revised lectures by leading researchers present a comprehensive account of the potential of formal methods applied to complex software systems such as components and object systems. The book makes a unique contribution to bridging the gap between theory and practice in software engineering.

Informații despre carte

Titlu complet Formal Methods for Components and Objects, FMCO 2002
Autor Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf
Limba engleză
Legare Carte - Carte broșată
Data publicării 2003
Număr pagini 512
EAN 9783540203032
ISBN 3540203036
Codul Libristo 01558705
Editura Springer, Berlin
Greutatea 800
Dimensiuni 156 x 234 x 26

Categorii

Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Operating systems
Dăruiește această carte chiar astăzi
Este foarte ușor
1 Adaugă cartea în coș și selectează Livrează ca un cadou 2 Îți vom trimite un voucher în schimb 3 Cartea va ajunge direct la adresa destinatarului

Logare

Conectare la contul de utilizator Încă nu ai un cont Libristo? Crează acum!

 
obligatoriu
obligatoriu
Parolă uitată

Nu ai un cont? Beneficii cu contul Libristo!

Datorită contului Libristo, vei avea totul sub control.

Creare cont Libristo