Zistiť stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zabudnuté heslo
Staňte sa súčasťou komunity milovníkov kníh z celého sveta a získajte hromadu výhod. Založiť účet zdarma
0
Doprava zadarmo s Packetou nad 59.99 €
Kuriér DPD 2.99 € Zberné miesto GLS 2.49 € SPS 3.99 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Pošta 3.99 € Zberné miesto DPD 2.99 € Kuriér GLS 3.99 € Packeta 2.99 €
phone Kontakt phoneAko nakupovať
Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

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
Nakladateľstvo Springer, Berlin, apríl 2023
This book constitutes the refereed proceedings of the 25th International Symposium on Formal Methods... Celý popis
? points 249 b
102.78 €
Skladom u dodávateľa Odosielame za 5-8 dní

30 dní na vrátenie tovaru

Zákazníci tiež kúpili

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

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 pre
Prehrať video
Ewa Kasp
Libristo má najväčší výber cudzojazyčnej literatúry. Preto si knihy kupujem tu.

Informácie o knihe

Celý názov Formal Methods
Autor Marsha Chechik, Joost-Pieter Katoen, Martin Leucker
Jazyk Angličtina
Väzba Kniha - Brožovaná
Dátum vydania 2023
Počet strán 676
EAN 9783031274800
Libristo kód 42849724
Nakladateľstvo Springer, Berlin
Váha 929
Rozmery 155 x 235

Kategórie

Výpočtové a informačné technológie > Počítačové programovanie/softvérové ​​inžinierstvo > Softvérové ​​inžinierstvo
Darujte túto knihu ešte dnes
Je to jednoduché
1 Pridajte knihu do košíka a vyberte možnosť doručiť ako darček 2 Obratom Vám zašleme poukaz 3 Knihu zašleme na adresu obdarovaného

Mohlo by vás tiež zaujímať

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 22.20 €
Die Closer To Me David Kuhnlein / Kniha Brožovaná
common.buy 14.83 €
Holy Ghost Tales: Vol 1 Jonathan Harris / Kniha Brožovaná
common.buy 14.93 €
Bimladadi's Dream Aurobindo Ghosh / Kniha Brožovaná
common.buy 8.98 €
The Cohort Nathaniel Sizemore / Kniha Brožovaná
common.buy 21.09 €
Leatherface Baroness Orczy / Kniha Brožovaná
common.buy 32.91 €
Accidental Christian SHARON LEE FOLEY / Kniha Pevná
common.buy 22.30 €
Fairground Attraction: A debut poetry collection Sally Anne Nash / Kniha Brožovaná
common.buy 8.98 €
Top
The Blades Carry Me: Inside the Helicopter War in Vietnam James V Weatherill / Kniha Brožovaná
common.buy 14.93 €
A History Of The Great Massacre By The Sioux Indians, In Minnesota Charles S. Bryant / Kniha Pevná
common.buy 51.59 €
Linear Algebra: Examples And Applications Alain M. Robert / Kniha Pevná
common.buy 121.15 €
Lacno
Life in Half a Second Matthew Michalewicz / Kniha Brožovaná
common.buy 11.50 €
Taste Your Emotions Damien Marie Athope / Kniha Brožovaná
common.buy 10.59 €
Screen Acting Peter Kramer / Kniha Brožovaná
common.buy 60.87 €
Integrity in Depth John Beebe / Kniha Brožovaná
common.buy 16.75 €

Prihlásenie

Prihláste sa k svojmu účtu. Ešte nemáte Libristo účet? Vytvorte si ho teraz!

 
povinné
povinné
Zabudnuté heslo

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

Vďaka Libristo účtu budete mať všetko pod kontrolou.

Vytvoriť Libristo účet
Knižný radca Libroamiko
Ahoj, som Libroamiko, môžem pomôcť?