[email protected]
LIBRISTO 0
Transport gratuit la punctele de livrare Pick Up peste 299.00 lei
Packeta 15.00 lei Cargus 25.00 lei FAN 25.00 lei Easybox 20.00 lei
phone Contact phoneCum să cumpăr

Software Engineering and Formal Methods

Limba englezăengleză
Carte Carte broșată
Carte Software Engineering and Formal Methods Dimitra Giannakopoulou
Codul Libristo: 05147842
Editura Springer International Publishing AG, iulie 2014
This book constitutes the refereed proceedings of the 12th International Conference on Software Engi... Descrierea completă
? points 154 b
305.39 lei
În depozitul extern în cantități mici Expediem în 13-16 zile

30 de zile pentru retur bunuri

Ar putea de asemenea, să te intereseze

curând
US Marine Corps Handbook 1941-45 George Forty / Copertă tare
common.buy 157.28 lei
X-Men: The Hidden Years Jim Shooter / Carte broșată
common.buy 35.70 lei
Die schrillen Vier auf Achse / Hilfe, die Amis kommen, 2 Blu-rays Pembroke J. Herring / Blu-ray
common.buy 89.58 lei
Quantitative Logic And Soft Computing - Proceedings Of The Ql&sc 2012 Yongming Li / Copertă tare
common.buy 1 448.10 lei
Recent Developments in the Economics of Science and Innovation / Copertă tare
common.buy 2 183.40 lei
curând
Peace and Conflict 2008 J. Joseph Hewitt / Carte broșată
common.buy 212.37 lei
John Stainer Jeremy Dibble / Copertă tare
common.buy 903.58 lei
Anatomia Coniunctionis Magnae. Oder Beschreibung der grossen und wol mercklichen Zusammenkunfft beyder obersten Planeten Saturns und Jupiters, Welche Carl von Reifitz / Carte broșată
common.buy 147.70 lei

This book constitutes the refereed proceedings of the 12th International Conference on Software Engineering and Formal Methods, SEFM 2014, held in Grenoble, France, in September 2014.§The 23 full papers presented together with 3 invited and 6 tool papers were carefully reviewed and selected from 106 submissions. They are organized in topical section on program verification, testing, component-based systems, real-time and embedded systems, model checking and automata learning, program correctness, and adaptive and multi-agent systems.

Informații despre carte

Titlu complet Software Engineering and Formal Methods
Autor Dimitra Giannakopoulou, Gwen Salaün
Limba engleză
Legare Carte - Carte broșată
Data publicării 2014
Număr pagini 394
EAN 9783319104300
ISBN 3319104306
Codul Libristo 05147842
Editura Springer International Publishing AG
Greutatea 6263
Dimensiuni 155 x 235 x 235

Categorii

Computing & Information Technology > Computer hardware > Network hardware
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 > Mathematical theory of computation
Computing & Information Technology > Computer science > Computer architecture & logic design
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