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 and Software Engineering

Limba englezăengleză
Carte Carte broșată
Carte Formal Methods and Software Engineering Jim Davies
Codul Libristo: 01560067
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, octombrie 2004
This book constitutes the refereed proceedings of the 6th International Conference on Formal Enginee... Descrierea completă
? points 318 b
632 lei
În depozitul extern în cantități mici Expediem în 12-15 zile

30 de zile pentru retur bunuri

Ar putea de asemenea, să te intereseze

top
Egyptology Wayne Anderson / Copertă tare
common.buy 143 lei
Génius i popleta Denise Fenziová / Copertă tare
common.buy 52 lei
European Renaissance 1400-1600 Robin Kirkpatrick / Carte broșată
common.buy 344 lei
2012, Das Bewusstsein der Neuen Zeit Lee Carroll / Copertă tare
common.buy 86 lei
Stressed Composite Structures Alexander G. Kolpakov / Copertă tare
common.buy 632 lei
The Power of Choices Tracy A. Medling / Carte broșată
common.buy 57 lei
Talking to God Thomas L Constable / Carte broșată
common.buy 119 lei
Elektrotechnische Messkunde Paul Benjamin Arthur Linker / Carte broșată
common.buy 349 lei
Computer Chemistry Ivar Ugi / Carte broșată
common.buy 320 lei
Menschliche Bewusstsein und der Hypertext - ein Strukturvergleich Anton Freibacher / Carte broșată
common.buy 231 lei
Clinical Problem of Masochism Deanna Holtzman / Copertă tare
common.buy 684 lei
New Houses in Asia Publishing Images / Copertă tare
common.buy 203 lei
Corporate Environmental Strategy and Competitive Advantage Sanjay Sharma / Copertă tare
common.buy 723 lei
Stigmatisierung und sprachliche Gewalt in Goethes Faust I Anja Schäfer / Carte broșată
common.buy 198 lei
History of Greek Philosophy: Volume 4, Plato: The Man and his Dialogues: Earlier Period W. K. C. Guthrie / Copertă tare
common.buy 1.467 lei
Esos Rincones Profundos De Mi Alma Georgina Ma Chahin / Carte broșată
common.buy 74 lei

This book constitutes the refereed proceedings of the 6th International Conference on Formal Engineering Methods, ICFEM 2004, held in Seattle, WA, USA in November 2004.§The 30 revised full papers presented together with abstracts of 9 invited contributions were carefully reviewed and selected from 110 submissions. The papers address all current issues in formal methods and their applications in software engineering, ranging from theoretical and methodological aspects to applications in various domains.

Informații despre carte

Titlu complet Formal Methods and Software Engineering
Autor Jim Davies, Wolfram Schulte, Mike Barnett
Limba engleză
Legare Carte - Carte broșată
Data publicării 2004
Număr pagini 500
EAN 9783540238416
ISBN 3540238417
Codul Libristo 01560067
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Greutatea 1590
Dimensiuni 155 x 235 x 28

Categorii

Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
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