Verifică starea comenzii
LIBRISTO
LIBROAMANTO
obligatoriu
Parolă uitată
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
0
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
phone Contact phoneCum să cumpăr
Livrare gratuită pentru comenzile peste 349,00 lei.

Formal Methods and Software Engineering

13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011. Proceedings

Limba englezăengleză
Carte Carte broșată
Carte Formal Methods and Software Engineering Shengchao Qin
Codul Libristo: 01659032
Editura Springer, Berlin, noiembrie 2010
This book constitutes the refereed proceedings of the 13th International Conference on Formal Engine... Descrierea completă
? points 132 b
286.02 lei
În depozitul extern Expediem în 8-11 zile

30 de zile pentru retur bunuri

Clienții au cumpărat de asemenea

Il Devoto-Oli dei sinonimi e contrari. Con analoghi, generici, inversi e gradazioni semantiche Maurizio Trifone / Carte Carte broșată
common.buy 451.93 lei
Akademia owoce Opracowanie zbiorowe / Carte Carte broșată
common.buy 13.65 lei
Poesies Choisies Et Pieces Inedites d'Alexis Piron PIRON-A / Carte Carte broșată
common.buy 144.21 lei
Die «andere» Familie Arbeitskreis "Repräsentationen" / Carte Copertă tare
common.buy 634.10 lei
Commentaria in decem Categorias Aristotelis Simplicius / Carte Copertă tare
common.buy 890.94 lei

This book constitutes the refereed proceedings of the 13th International Conference on Formal Engineering Methods, ICFEM 2011, held in Durham, UK, October 2011. The 40 revised full papers together with 3 invited talks presented were carefully reviewed and selected from 103 submissions. The papers address all current issues in formal methods and their applications in software engineering. They are organized in topical sections on formal models; model checking and probability; specification and development; security; formal verification; cyber physical systems; event-B; verification, analysis and testing; refinement; as well as theorem proving and rewriting.

Actriță & Poliglotă
EWA KASP pentru
Redă videoclipul
Ewa Kasp
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 and Software Engineering
Autor Shengchao Qin, Zongyan Qiu
Limba engleză
Legare Carte - Carte broșată
Data publicării 2011
Număr pagini 670
EAN 9783642245589
ISBN 3642245587
Codul Libristo 01659032
Editura Springer, Berlin
Greutatea 1143
Dimensiuni 155 x 235 x 35

Categorii

Computing & Information Technology > Computer hardware > Network hardware
Computing & Information Technology > Computer programming / software engineering > Algorithms & data structures
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
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

Ar putea de asemenea, să te intereseze

Paragraph Writing Jo Ellen Moore / Carte Carte broșată
common.buy 79.87 lei
Masonic Tour Guide - Volume 2 DANIEL HANTTULA / Carte Carte broșată
common.buy 112.09 lei
At The End Of The Day William J Epp / Carte Carte broșată
common.buy 106.56 lei
The Keys Are Gone: A simple critique of the English Standard Version (ESV) Dr Daniel S Haifley / Carte Carte broșată
common.buy 51.92 lei
Top
Ruhnama: The Book of the Soul (Annotated Version) Saparmyrat Turkmenbasy / Carte Carte broșată
common.buy 57.13 lei
Vogue x Music Magazine Vogue / Carte Copertă tare
common.buy 317.52 lei
Jean Prouvé Jean Prouvé / Carte Copertă tare
common.buy 149.63 lei
Die verlore bokkie (Afrikaans) Amanda Jesperson / Carte Carte broșată
common.buy 31.06 lei
Classification of the Bantu Languages bound with Bantu Word Division Malcolm Guthrie / Carte Carte broșată
common.buy 287.48 lei
Iron Ship-Building - With Practical Illustrations John Grantham / Carte Copertă tare
common.buy 184.15 lei
Odes Sharon Olds / Carte Carte broșată
common.buy 78.20 lei
Speakout Advanced 2nd Edition Students' Book and DVD-ROM Pack Antonia Clare / Carte Carte broșată
common.buy 191.55 lei
Impact of the Environment on Psychiatric Disorder Hugh Freeman / Carte Copertă tare
common.buy 509.39 lei
Arab and Arab American Feminisms Rabab Ibrahim Abdulhadi / Carte Copertă tare
common.buy 194.36 lei

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