Provjerite status narudžbe
LIBRISTO
LIBROAMANTO
obvezno
Zaboravljena zaporka
Pridružite se zajednici ljubitelja knjige iz cijelog svijeta i ostvarite mnoštvo pogodnosti. Izradite besplatni račun
0
Besplatna dostava Overseas kurirskom službom iznad 69.99 €
DPD kurir 3.99 € Pošta 4.99 € Overseas 4.99 € Box Now 4.49 € GLS 4.99 € DPD točka 3.49 € GLS paketomat 3.99 €
phone Kontakt phoneKako kupovati
Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Formal Methods

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

Jezik EngleskiEngleski
Knjiga Meki uvez
Knjiga Formal Methods Marsha Chechik
Libristo kod: 42849724
Nakladnici Springer, Berlin, travanj 2023
This book constitutes the refereed proceedings of the 25th International Symposium on Formal Methods... Cijeli opis
? points 249 b
103.10 €
Vanjske zalihe Šaljemo za 5-8 dana

30 dana za povrat kupljenih proizvoda

Kupci su kupili i

Уголовный кодекс Российской Федерации. Редакция 2026. Young adult / Knjiga Meki uvez
common.buy 8.40 €
Moins un Joanniez / Knjiga Meki uvez
common.buy 10.93 €
Locke & Key Joe Hill / Knjiga Tvrdi uvez
common.buy 36.96 €
Littér'allemand ! Commentaire littéraire, thème et version (B2-C1) Lambert / Knjiga Meki uvez
common.buy 34.63 €
Bonjour Pansori Han / Knjiga Meki uvez
common.buy 29.67 €
Trace et disparition Brocchini / Knjiga Meki uvez
common.buy 18.93 €
Basics Schallschutz Dominic Kampshoff / Knjiga Meki uvez
common.buy 23.49 €
Štedrovečerné rozprávky Miklós Malvina / Knjiga Tvrdi uvez
common.buy 5.46 €
Cadena de oro Kolton / Knjiga Meki uvez
common.buy 9.51 €
La Ligue de Salut La Gervaisais-N-L-M / Knjiga Meki uvez
common.buy 13.66 €

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. 

Glumica & Poliglotkinja
EWA KASP za
Pusti video
Ewa Kasp
Libristo ima najveći izbor literature na stranim jezicima. Zato svoje knjige kupujem ovdje.

Informacije o knjizi

Puni naziv Formal Methods
Autor Marsha Chechik, Joost-Pieter Katoen, Martin Leucker
Jezik Engleski
Uvez Knjiga - Meki uvez
Datum izdanja 2023
Broj stranica 676
EAN 9783031274800
Libristo kod 42849724
Nakladnici Springer, Berlin
Težina 929
Dimenzije 155 x 235

Kategorija

Computing & Information Technology > Computer programming / software engineering > Software Engineering
Poklonite ovu knjigu još danas
To je jednostavno
1 Dodajte knjigu u košaricu i odaberite isporuku kao poklon 2 Zauzvrat ćemo vam poslati kupon 3 Knjiga dolazi na adresu poklonoprimca

Moglo bi vas zanimati i

Journals of the Common Council, Board of Aldermen, and the Joint Conventions of Said Bodies, for the Year 1885. John L McMaster / Knjiga Meki uvez
common.buy 23.79 €
Die Closer To Me David Kuhnlein / Knjiga Meki uvez
common.buy 15.79 €
Holy Ghost Tales: Vol 1 Jonathan Harris / Knjiga Meki uvez
common.buy 15.79 €
Bimladadi's Dream Aurobindo Ghosh / Knjiga Meki uvez
common.buy 9.51 €
The Cohort Nathaniel Sizemore / Knjiga Meki uvez
common.buy 22.17 €
Leatherface Baroness Orczy / Knjiga Meki uvez
common.buy 33.01 €
Accidental Christian SHARON LEE FOLEY / Knjiga Tvrdi uvez
common.buy 23.89 €
Fairground Attraction: A debut poetry collection Sally Anne Nash / Knjiga Meki uvez
common.buy 9.41 €
Top
The Blades Carry Me: Inside the Helicopter War in Vietnam James V Weatherill / Knjiga Meki uvez
common.buy 15.79 €
A History Of The Great Massacre By The Sioux Indians, In Minnesota Charles S. Bryant / Knjiga Tvrdi uvez
common.buy 54.38 €
Linear Algebra: Examples And Applications Alain M. Robert / Knjiga Tvrdi uvez
common.buy 121.53 €
Povoljno
Life in Half a Second Matthew Michalewicz / Knjiga Meki uvez
common.buy 11.54 €
Taste Your Emotions Damien Marie Athope / Knjiga Meki uvez
common.buy 11.33 €
Screen Acting Peter Kramer / Knjiga Meki uvez
common.buy 63.90 €
Integrity in Depth John Beebe / Knjiga Meki uvez
common.buy 17.92 €

Prijava

Prijavite se na svoj račun. Još nemate Libristo račun? Otvorite ga odmah!

 
obvezno
obvezno
Zaboravljena zaporka

Nemate račun? Ostvarite pogodnosti uz Libristo račun!

Sve ćete imati pod kontrolom uz Libristo račun.

Otvoriti Libristo račun
Književni savjetnik Libroamiko
Dobar dan, ja sam Libroamiko, mogu li vam pomoći?