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 FAN Courier 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier DPD 25.00 lei
phone Contact phoneCum să cumpăr
Livrare gratuită pentru comenzile peste 349,00 lei.

Formal Methods for Industrial Critical Systems

27th International Conference, FMICS 2022, Warsaw, Poland, September 14-15, 2022, Proceedings

Limba englezăengleză
Carte Carte broșată
Carte Formal Methods for Industrial Critical Systems Jan Friso Groote
Codul Libristo: 39504765
Editura Springer International Publishing AG, august 2022
This book constitutes the proceedings of the 27th International Conference on Formal Methods for Ind... Descrierea completă
? points 184 b
398.06 lei
În depozitul extern Expediem în 5-8 zile

Până la 30 de zile pentru returnare

Clienții au cumpărat de asemenea

Dr. Brumm steckt fest / Dr. Brumm geht baden Daniel Napp / Audio Audio CD
common.buy 47.75 lei
In 20 bunten Projekten durch die Kunsttechniken Ela Madreiter / Carte Carte broșată
common.buy 141.61 lei
Leftin
Carnet C&G poche ligné grain de riz dore CASTELLI / Carte Carte
common.buy 31.76 lei
LAS CURRUTACAS MODESTAS CHANT-PIANO CHANT ENRIQUE GRANADOS Carte binding.
common.buy 69.66 lei
Athos - wo die Stille zu Hause ist Erich Diefenbach / Carte Carte broșată
common.buy 70.28 lei
TOIRO ROMEIRAS / Carte Carte broșată
common.buy 481.75 lei
Pravidla českého pravopisu collegium / Carte Carte broșată
common.buy 35.91 lei
Jahrbuch für Photographie und Reproduktionstechnik Josef Maria Eder / Carte Carte broșată
common.buy 182.72 lei
Animation et dynamisation de l'offre commerciale - BTS 1 et 2 MCO - Livre + licence élève - 2023 Claudia Del Testa / Carte Carte broșată
common.buy 200.38 lei
La comunicación en cambio constante : branded content, community management, comunicación 2.0, estrategia en medios sociales Araceli Castelló Martínez / Carte Carte broșată
common.buy 189.37 lei
Curând
Keyroad Pravítko Flexi, 15 cm - mix motivů / Articole de papetărie Articole de papetărie
common.buy 2.79 lei
Tigre Dientes De Sable En El Ocaso / Sunset of the Sabertooth Mary Pope Osborne / Carte Carte broșată
common.buy 50.76 lei
Zunderschwamm und mehr Hans Schaub / Carte Copertă tare
common.buy 109.42 lei
Fantasmalìe. Raccolta illustrata di miti e leggende abruzzesi Peppe Millanta / Carte Copertă tare
common.buy 242.84 lei

This book constitutes the proceedings of the 27th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2022, which took place in Warsaw, Poland, in September 2022. The 13 full papers included in this book were carefully reviewed and selected from 22 submissions. They were organized in topical sections as follows: Certification; industrial use cases; testing and monitoring; and methodology.

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 for Industrial Critical Systems
Autor Jan Friso Groote, Marieke Huisman
Limba engleză
Legare Carte - Carte broșată
Data publicării 2022
Număr pagini 245
EAN 9783031150074
Codul Libristo 39504765
Editura Springer International Publishing AG
Greutatea 397
Dimensiuni 155 x 235 x 15

Categorii

Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
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

My First Hungarian Alphabets Words & Picture Book Mamma Margaret / Carte Carte broșată
common.buy 56.89 lei
Magna Carta Th Century Barons / Carte Carte broșată
common.buy 71.53 lei
Part of an Exposition of Paul's Journey to Damascus, Acts XXVI Andrew Croswell / Carte Carte broșată
common.buy 66.34 lei
Profession Of Faith Of A Savoyard Vicar: Also, A Search For Truth (1889) Jean-Jacques Rousseau / Carte Copertă tare
common.buy 204.53 lei
Brides of Diablo: Running from Love - Myra Amanda A Brooks / Carte Carte broșată
common.buy 56.89 lei
Quick Home School Starter Guide LISA POWELL / Carte Carte broșată
common.buy 66.54 lei
Lost in a hurricane MR Peter Larner / Carte Carte broșată
common.buy 76.30 lei
Halloween Coloring Book for Kids: Fun and Easy Coloring Pages with Spooky Characters Seul Rouling / Carte Carte broșată
common.buy 46.92 lei
Animal Physiology Richard Hill / Carte Carte broșată
common.buy 1 256.40 lei
Life Cycle Cost Awareness in the Bhutanese Construction Industry Sangay Duba / Carte Carte broșată
common.buy 118.87 lei
Popular Hits of the Showa Era Ryu Murakami / E-book Adobe ePub DRM
common.buy 53.88 lei
Top
DRIFTERS OMNI V01 V01 / Carte Carte broșată
common.buy 119.39 lei
BABY ON BOARD TRACTOR BRAUN SEBASTIEN / Carte Copertă tare
common.buy 46.71 lei
Top
Eyeshield 21 1 Riichiro Inagaki / Carte Carte broșată
common.buy 55.12 lei
Last Of The Templars William Watson / Carte Carte broșată
common.buy 147.22 lei
What is a Fish? Allison Larin / Carte Carte broșată
common.buy 53.36 lei
Recognition and Difference Mike Featherstone / Carte Copertă tare
common.buy 762.60 lei
Learning the Psychic Shift Wayne C. Irwin / Carte Carte broșată
common.buy 82.84 lei
English Unlimited Pre-intermediate Coursebook with e-Portfolio Alex Tilbury / Carte Carte broșată
common.buy 305.97 lei
Borka: The Adventures of a Goose With No Feathers John Burningham / Carte Carte broșată
common.buy 48.37 lei
Top
Let Them Theory Mel Robbins / Carte Copertă tare
common.buy 119.39 lei
Road to Success: Lower Elementary vol.1 Nan Yang / Carte Carte broșată
common.buy 143.17 lei
Ubel Blatt, Vol. 0 Etorouji Shiono / Carte Carte broșată
common.buy 107.04 lei
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems Laurent Perron / Carte Carte broșată
common.buy 284.79 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?