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

25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings

Limba englezăengleză
Carte Carte broșată
Carte Formal Methods Marsha Chechik
Codul Libristo: 42849724
Editura Springer, Berlin, aprilie 2023
This book constitutes the refereed proceedings of the 25th International Symposium on Formal Methods... Descrierea completă
? points 263 b
570.37 lei
În depozitul extern Expediem în 5-8 zile

30 de zile pentru retur bunuri

Clienții au cumpărat de asemenea

Уголовный кодекс Российской Федерации. Редакция 2026. Young adult / Carte Carte broșată
common.buy 46.70 lei
Moins un Joanniez / Carte Carte broșată
common.buy 59.94 lei
Locke & Key Joe Hill / Carte Copertă tare
common.buy 203.60 lei
Littér'allemand ! Commentaire littéraire, thème et version (B2-C1) Lambert / Carte Carte broșată
common.buy 190.15 lei
Bonjour Pansori Han / Carte Carte broșată
common.buy 163.04 lei
Trace et disparition Brocchini / Carte Carte broșată
common.buy 105.08 lei
Basics Schallschutz Dominic Kampshoff / Carte Carte broșată
common.buy 130.73 lei
Štedrovečerné rozprávky Miklós Malvina / Carte Copertă tare
common.buy 30.12 lei
Cadena de oro Kolton / Carte Carte broșată
common.buy 52.33 lei
La Ligue de Salut La Gervaisais-N-L-M / Carte Carte broșată
common.buy 75.37 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 9783031274800
Codul Libristo 42849724
Editura Springer, Berlin
Greutatea 929
Dimensiuni 155 x 235

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

Journals of the Common Council, Board of Aldermen, and the Joint Conventions of Said Bodies, for the Year 1885. John L McMaster / Carte Carte broșată
common.buy 132.19 lei
Die Closer To Me David Kuhnlein / Carte Carte broșată
common.buy 88.09 lei
Holy Ghost Tales: Vol 1 Jonathan Harris / Carte Carte broșată
common.buy 87.04 lei
Bimladadi's Dream Aurobindo Ghosh / Carte Carte broșată
common.buy 53.37 lei
The Cohort Nathaniel Sizemore / Carte Carte broșată
common.buy 122.18 lei
Leatherface Baroness Orczy / Carte Carte broșată
common.buy 183.48 lei
Accidental Christian SHARON LEE FOLEY / Carte Copertă tare
common.buy 133.12 lei
Fairground Attraction: A debut poetry collection Sally Anne Nash / Carte Carte broșată
common.buy 52.12 lei
Top
The Blades Carry Me: Inside the Helicopter War in Vietnam James V Weatherill / Carte Carte broșată
common.buy 87.04 lei
A History Of The Great Massacre By The Sioux Indians, In Minnesota Charles S. Bryant / Carte Copertă tare
common.buy 299.20 lei
Linear Algebra: Examples And Applications Alain M. Robert / Carte Copertă tare
common.buy 666.29 lei
Leftin
Life in Half a Second Matthew Michalewicz / Carte Carte broșată
common.buy 60.56 lei
Taste Your Emotions Damien Marie Athope / Carte Carte broșată
common.buy 63.38 lei
Screen Acting Peter Kramer / Carte Carte broșată
common.buy 349.97 lei
Integrity in Depth John Beebe / Carte Carte broșată
common.buy 100.28 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