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.

Formal Methods

25th International Symposium, FM 2023, Lubeck, Germany, March 6-10, 2023, Proceedings

Limba englezăengleză
Carte Carte broșată
Carte Formal Methods Marsha Chechik
Codul Libristo: 43418139
Editura Springer Nature B.V., martie 2023
This book constitutes the refereed proceedings of the 25th International Symposium on Formal Methods... Descrierea completă
? points 138 b
298.23 lei
În depozitul extern Expediem în 10-18 zile

Până la 30 de zile pentru returnare

Clienții au cumpărat de asemenea

Zur Genese eines doppelten Geheimnisses - Homoerotik und Objekt der Begierde. Ann Drechsler / Carte Carte broșată
common.buy 79.80 lei
Beitrag Zu Den Grundlagen Des Walzens in Streckkalibern Oskar Pawelski / Carte Carte broșată
common.buy 425.22 lei
Quatri'me R'Publique(la) Jacques Dalloz / Carte Carte broșată
common.buy 34.18 lei
Introducción: Diccionario etimológico crítico del Castellano Javier Goitia Blanco / Carte Carte broșată
common.buy 42.59 lei
Grammatik im Fach Deutsch als Fremd- und Zweitsprache Maria Thurmair / Carte Carte broșată
common.buy 105.15 lei
I guai di una seconda possibilit? Alex McAnders / Carte Carte broșată
common.buy 79.59 lei
Top
Kakukkszó Robert Galbraith (J. K. Rowling) / Carte Copertă tare
common.buy 94.76 lei
Top
Milionář, který našel cestu z matrixu David Bail / Carte Carte broșată
common.buy 73.35 lei

This book constitutes the refereed proceedings of the 25th International Symposium on Formal Methods, FM 2023, which took place in Lübeck, Germany, in March 2023. 

The 26 full paper, 2 short papers included in this book were carefully reviewed and selected rom 95 submissions. They have been organized in topical sections as follows: SAT/SMT; Verification; Quantitative Verification; Concurrency and Memory Models; Formal Methods in AI; Safety and Reliability. The proceedings also contain 3 keynote talks and 7 papers from the industry day. 

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
Autor Marsha Chechik, Joost-Pieter Katoen, Martin Leucker
Limba engleză
Legare Carte - Carte broșată
Data publicării 2023
Număr pagini 676
EAN 9783031274824
Codul Libristo 43418139
Editura Springer Nature B.V.
Greutatea 970
Dimensiuni 157 x 234 x 37

Categorii

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

Colour of Injustice John Hostettler / Carte Carte broșată
common.buy 137.37 lei
Community of the College of Justice John Finlay / Carte Carte broșată
common.buy 244.51 lei
Live Theatre: Six Plays from the North East Cecil P. Taylor / Carte Carte broșată
common.buy 180.29 lei
International Aid and China's Environment Katherine Morton / Carte Copertă tare
common.buy 808.46 lei
Jase Marialisa Demora / Carte Carte broșată
common.buy 96.53 lei
Sonic the Hedgehog and The Beatles: A Comparative Analysis of the Games and Music David Childers / Carte Carte broșată
common.buy 51.95 lei
Sunny Memories: Containing Personal Recollections Of Some Celebrated Characters (1880) Mary Lloyd / Carte Carte broșată
common.buy 137.37 lei
Holbein at the Tudor Court HEARD KATE / Carte Copertă tare
common.buy 169.69 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?