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 Serviciul de curierat Cargus 28.00 lei Easybox 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier DPD 25.00 lei FAN Courier 25.00 lei
phone Contact phoneCum să cumpăr
Livrare gratuită pentru comenzile de peste 349 LEI prin Easybox, FAN BOX și Coletăria.

Leveraging Applications of Formal Methods, Verification and Validation: Applications

Limba englezăengleză
Carte Carte broșată
Carte Leveraging Applications of Formal Methods, Verification and Validation: Applications Tiziana Margaria
Codul Libristo: 33346452
Editura Springer Nature Switzerland AG, octombrie 2020
The three-volume set LNCS 12476 - 12478 constitutes the refereed proceedings of the 9th Internationa... Descrierea completă
? points 132 b
286.65 lei
În depozitul extern Expediem în 5-8 zile

Până la 30 de zile pentru returnare

Clienții au cumpărat de asemenea

calata degli angeli. Lealtà e onore. The Horus heresy. Warhammer / Carte Copertă tare
common.buy 120.80 lei
Bitva o Suez Jan Wanner / Carte Copertă tare
common.buy 111.60 lei
Kim Jiyoung, geboren 1982 Ki-Hyang Lee / Carte Copertă tare
common.buy 90.49 lei
Optimisation de la valeur nutritive des fourrages tropicaux Sawa Camara / Carte Carte broșată
common.buy 357.08 lei
Jeanne Sand / Carte Carte broșată
common.buy 149.95 lei
Viktor Ullmann. Leben und Klavierwerk Svitlana Kapitanova / Carte Carte broșată
common.buy 261.77 lei
Wie hangt transformationale Fuhrung mit dem subjektiven Erfolgserleben bei Sportlern zusammen? Walid Mouelhi / Carte Carte broșată
common.buy 90.07 lei
LA CHICA DE LOS ZAPATOS VERDES + CD (Leer En Espanol Nivel 2) J. S. Jorda / Carte Carte broșată
common.buy 71.58 lei

The three-volume set LNCS 12476 - 12478 constitutes the refereed proceedings of the 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, which was planned to take place during October 20-30, 2020, on Rhodes, Greece. The event itself was postponed to 2021 due to the COVID-19 pandemic.The papers presented were carefully reviewed and selected for inclusion in the proceedings. Each volume focusses on an individual topic with topical section headings within the volume:Part I, Verification Principles: Modularity and (De-)Composition in Verification; X-by-Construction: Correctness meets Probability; 30 Years of Statistical Model Checking; Verification and Validation of Concurrent and Distributed Systems.Part II, Engineering Principles: Automating Software Re-Engineering; Rigorous Engineering of Collective Adaptive Systems.Part III, Applications: Reliable Smart Contracts: State-of-the-art, Applications, Challenges and Future Directions; Automated Verification of Embedded Control Software; Formal methods for DIStributed COmputing in future RAILway systems.  

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 Leveraging Applications of Formal Methods, Verification and Validation: Applications
Autor Tiziana Margaria
Limba engleză
Legare Carte - Carte broșată
Data publicării 2020
Număr pagini 490
EAN 9783030614669
ISBN 3030614662
Codul Libristo 33346452
Editura Springer Nature Switzerland AG
Greutatea 771
Dimensiuni 155 x 235 x 28

Categorii

Mathematics & Science > Mathematics > Mathematical foundations > Mathematical logic
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Artificial intelligence
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

Building Your Home Carol Smith / Carte Carte broșată
common.buy 77.64 lei
Bristol Blenheium Rao / Carte Carte broșată
common.buy 97.70 lei
Top
Arsonists' City Hala Alyan / Carte Carte broșată
common.buy 84.22 lei
Applied Cryptography Bruce Schneier / E-book Adobe ePub DRM
common.buy 332.52 lei
A Letter to a Member of the House of Commons Upon the Meeting of Parliament (1794) Richard Bentley / Carte Carte broșată
common.buy 132.71 lei
Halloween Coloring Book Halloween Coloring Book / Carte Carte broșată
common.buy 42.21 lei
Pure Moxie Leda Sanford / E-book Adobe ePub DRM
common.buy 54.65 lei
Carbon Steel Clyde Phelps / Carte Copertă tare
common.buy 990.38 lei
History of the Rochdale Pioneers HOLYOAKE / Carte Carte broșată
common.buy 339.53 lei
You Are Not Who You Think You Are: Poems That Can Awaken You Sarfraz Zaidi MD / Carte Carte broșată
common.buy 57.05 lei
Life Art VIII: God Marcia Smith / Carte Carte broșată
common.buy 57.26 lei
Eat My Shorts: A Tasty Collection of Short and Flash Science Fiction Jonathan Westbrook / Carte Carte broșată
common.buy 66.98 lei
The Nymph of the Unknown Forest: (Collection of Poems) Loni Hoots / Carte Carte broșată
common.buy 42.42 lei
Rainbows From the Heart Wendell V. Fountain / Carte Carte broșată
common.buy 103.14 lei
Doubleshot Raymond Benson / Audiobook MP3
common.buy 192.17 lei
Art of the Pose Heather Marcovitch / Carte Carte broșată
common.buy 511.44 lei
Lawyers in Society Richard L. Abel / Carte Carte broșată
common.buy 171.27 lei
Palm Tree Island Herbert Strang / E-book Adobe ePub DRM
common.buy 17.23 lei
Reinventing Local and Regional Economies Gerald L. Gordon / Carte Copertă tare
common.buy 648.55 lei
European Yearbook / Annuaire Europeen Council of Europe / Carte Carte broșată
common.buy 603.30 lei
Jack Manning Trilogy David Williamson / Carte Carte broșată
common.buy 138.35 lei
ECONOMIC DEVELOPMENT OF FRANCE SINCE 1870 François Crouzet / Carte Copertă tare
common.buy 3 474.67 lei
Production, Trade, and Connectivity in Pre-Roman Italy Sheira Cohen / Carte Carte broșată
common.buy 350.81 lei
London Snap collegium / Materiale tipărite Cărți
common.buy 39.60 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
Consilier de cărți Libroamiko
Bună ziua, sunt Libroamiko, vă pot ajuta?