Sprawdzić stan zamówienia
LIBRISTO
LIBROAMANTO
obowiązkowe
Zapomniane hasło
Zostań członkiem wspólnoty miłośników książek z całego świata i zyskaj mnóstwo korzyści. Załóż konto bezpłatnie
0
Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł
DPD Kurier 12.99 zł Poczta Polska 18.99 zł Paczkomat 13.99 zł InPost 12.99 zł Punkt DPD 13.99 zł
phone Kontakt phoneJak kupować
Darmowa dostawa dla zamówień powyżej 299,00 zł.

Formal Methods

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

Język AngielskiAngielski
Książka Miękka
Książka Formal Methods Marsha Chechik
Kod Libristo: 42849724
Wydawnictwo Springer, Berlin, kwiecień 2023
This book constitutes the refereed proceedings of the 25th International Symposium on Formal Methods... Cały opis
? points 249 b
436.59 zł
Dostępna u dostawcy Wysyłamy za 5-8 dni

30 dni na zwrot towaru

Klienci kupili także

Уголовный кодекс Российской Федерации. Редакция 2026. Young adult / Książka Miękka
common.buy 37.63 zł
Moins un Joanniez / Książka Miękka
common.buy 48.37 zł
Locke & Key Joe Hill / Książka Twarda
common.buy 156.46 zł
Littér'allemand ! Commentaire littéraire, thème et version (B2-C1) Lambert / Książka Miękka
common.buy 153.45 zł
Bonjour Pansori Han / Książka Miękka
common.buy 131.57 zł
Trace et disparition Brocchini / Książka Miękka
common.buy 80.08 zł
Basics Schallschutz Dominic Kampshoff / Książka Miękka
common.buy 99.65 zł
Štedrovečerné rozprávky Miklós Malvina / Książka Twarda
common.buy 24.68 zł
Cadena de oro Kolton / Książka Miękka
common.buy 42.24 zł
La Ligue de Salut La Gervaisais-N-L-M / Książka Miękka
common.buy 58.00 zł

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. 

Aktorka & Poliglotka
EWA KASP dla
Odtworzyć wideo
Ewa Kasp
Libristo ma największy wybór literatury obcojęzycznej. Dlatego tutaj kupuję swoje książki.

Informacje o książce

Pełna nazwa Formal Methods
Autor Marsha Chechik, Joost-Pieter Katoen, Martin Leucker
Język Angielski
Oprawa Książka - Miękka
Data wydania 2023
Liczba stron 676
EAN 9783031274800
Kod Libristo 42849724
Wydawnictwo Springer, Berlin
Waga 929
Wymiary 155 x 235

Kategoria

Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Inżynieria oprogramowania
Podaruj tę książkę jeszcze dziś
To łatwe
1 Dodaj książkę do koszyka i wybierz „dostarczyć jako prezent” 2 W odpowiedzi wyślemy Ci bon 3 Książka dotrze na adres obdarowanego

Mogłoby Cię także zainteresować

Journals of the Common Council, Board of Aldermen, and the Joint Conventions of Said Bodies, for the Year 1885. John L McMaster / Książka Miękka
common.buy 100.56 zł
Die Closer To Me David Kuhnlein / Książka Miękka
common.buy 66.94 zł
Holy Ghost Tales: Vol 1 Jonathan Harris / Książka Miękka
common.buy 66.73 zł
Bimladadi's Dream Aurobindo Ghosh / Książka Miękka
common.buy 40.44 zł
The Cohort Nathaniel Sizemore / Książka Miękka
common.buy 94.03 zł
Leatherface Baroness Orczy / Książka Miękka
common.buy 139.80 zł
Accidental Christian SHARON LEE FOLEY / Książka Twarda
common.buy 101.06 zł
Fairground Attraction: A debut poetry collection Sally Anne Nash / Książka Miękka
common.buy 39.94 zł
TOP
The Blades Carry Me: Inside the Helicopter War in Vietnam James V Weatherill / Książka Miękka
common.buy 66.73 zł
A History Of The Great Massacre By The Sioux Indians, In Minnesota Charles S. Bryant / Książka Twarda
common.buy 230.23 zł
Linear Algebra: Examples And Applications Alain M. Robert / Książka Twarda
common.buy 514.38 zł
Tanie
Life in Half a Second Matthew Michalewicz / Książka Miękka
common.buy 48.87 zł
Taste Your Emotions Damien Marie Athope / Książka Miękka
common.buy 47.97 zł
Screen Acting Peter Kramer / Książka Miękka
common.buy 270.48 zł
Integrity in Depth John Beebe / Książka Miękka
common.buy 76.07 zł

Logowanie

Zaloguj się do swojego konta. Nie masz jeszcze konta Libristo? Utwórz je teraz!

 
obowiązkowe
obowiązkowe
Zapomniane hasło

Nie masz konta? Zyskaj korzyści konta Libristo!

Dzięki kontu Libristo będziesz mieć wszystko pod kontrolą.

Utwórz konto Libristo
Doradca książkowy Libroamiko
Cześć, jestem Libroamiko, w czym mogę pomóc?