Zjistit stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zapomenuté heslo
Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma
0
Doprava zdarma se Zásilkovnou nad 1 499 Kč
Kurýr DPD 69 Kč PPL shop 49 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Balíkovna 49 Kč Výdejní místo DPD 49 Kč Zásilkovna 39 Kč
phone Kontakt phoneJak nakupovat
Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Formal Methods

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

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Formal Methods Marsha Chechik
Libristo kód: 42849724
Nakladatelství Springer, Berlin, duben 2023
This book constitutes the refereed proceedings of the 25th International Symposium on Formal Methods... Celý popis
? points 236 b
2 357 Kč
Skladem u dodavatele Odesíláme za 5-8 dnů

30 dní na vrácení zboží

Zákazníci také koupili

Уголовный кодекс Российской Федерации. Редакция 2026. Young adult / Kniha Brožovaná
common.buy 215 Kč
Moins un Joanniez / Kniha Brožovaná
common.buy 276 Kč
Locke & Key Joe Hill / Kniha Pevná
common.buy 938 Kč
Littér'allemand ! Commentaire littéraire, thème et version (B2-C1) Lambert / Kniha Brožovaná
common.buy 876 Kč
Bonjour Pansori Han / Kniha Brožovaná
common.buy 751 Kč
Trace et disparition Brocchini / Kniha Brožovaná
common.buy 430 Kč
Basics Schallschutz Dominic Kampshoff / Kniha Brožovaná
common.buy 535 Kč
Štedrovečerné rozprávky Miklós Malvina / Kniha Pevná
common.buy 111 Kč
Cadena de oro Kolton / Kniha Brožovaná
common.buy 241 Kč
La Ligue de Salut La Gervaisais-N-L-M / Kniha Brožovaná
common.buy 315 Kč

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. 

Herečka & Polyglotka
EWA KASP pro
Přehrát video
Ewa Kasp
Libristo má největší výběr cizojazyčné literatury. Proto své knihy kupuji tady.

Informace o knize

Plný název Formal Methods
Autor Marsha Chechik, Joost-Pieter Katoen, Martin Leucker
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 2023
Počet stran 676
EAN 9783031274800
Libristo kód 42849724
Nakladatelství Springer, Berlin
Váha 929
Rozměry 155 x 235

Kategorie

Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Softwarové inženýrství
Darujte tuto knihu ještě dnes
Je to snadné
1 Přidejte knihu do košíku a zvolte doručit jako dárek 2 Obratem vám zašleme poukaz 3 Kniha dorazí na adresu obdarovaného

Mohlo by vás také zajímat

Journals of the Common Council, Board of Aldermen, and the Joint Conventions of Said Bodies, for the Year 1885. John L McMaster / Kniha Brožovaná
common.buy 538 Kč
Die Closer To Me David Kuhnlein / Kniha Brožovaná
common.buy 359 Kč
Holy Ghost Tales: Vol 1 Jonathan Harris / Kniha Brožovaná
common.buy 362 Kč
Bimladadi's Dream Aurobindo Ghosh / Kniha Brožovaná
common.buy 217 Kč
The Cohort Nathaniel Sizemore / Kniha Brožovaná
common.buy 511 Kč
Leatherface Baroness Orczy / Kniha Brožovaná
common.buy 752 Kč
Accidental Christian SHARON LEE FOLEY / Kniha Pevná
common.buy 541 Kč
Fairground Attraction: A debut poetry collection Sally Anne Nash / Kniha Brožovaná
common.buy 217 Kč
Top
The Blades Carry Me: Inside the Helicopter War in Vietnam James V Weatherill / Kniha Brožovaná
common.buy 342 Kč
A History Of The Great Massacre By The Sioux Indians, In Minnesota Charles S. Bryant / Kniha Pevná
common.buy 1 250 Kč
Linear Algebra: Examples And Applications Alain M. Robert / Kniha Pevná
common.buy 2 803 Kč
Levně
Life in Half a Second Matthew Michalewicz / Kniha Brožovaná
common.buy 279 Kč
Taste Your Emotions Damien Marie Athope / Kniha Brožovaná
common.buy 257 Kč
Screen Acting Peter Kramer / Kniha Brožovaná
common.buy 1 475 Kč
Integrity in Depth John Beebe / Kniha Brožovaná
common.buy 407 Kč

Přihlášení

Přihlaste se ke svému účtu. Ještě nemáte Libristo účet? Vytvořte si ho nyní!

 
povinné
povinné
Zapomenuté heslo

Nemáte účet? Získejte výhody Libristo účtu!

Díky Libristo účtu budete mít vše pod kontrolou.

Vytvořit Libristo účet
Knižní rádce Libroamiko
Ahoj, jsem Libroamiko, můžu pomoct?