Kód: 43418139

Formal Methods

Name: Formal Methods
Brand: Springer Nature B.V.
SKU: 43418139
Price: 1309.00 CZK
Availability: InStock
Author: Marsha Chechik
ISBN: 9783031274824

Autor Marsha Chechik, Joost-Pieter Katoen, Martin Leucker

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 carefu ... celý popis

Jazyk: Angličtina
Vazba: Brožovaná
Počet stran: 676
Nakladatelství: Springer Nature B.V., 2023
Více informací o knize

1309 Kč

Skladem u dodavatele
Odesíláme za 10-18 dnů

Přidat mezi přání

Mohlo by se vám také líbit

Holbein at the Tudor Court
645 Kč
Koupit
Kakukkszó
438 Kč
Koupit
Sonic the Hedgehog and The Beatles: A Comparative Analysis of the Games and Music
217 Kč
Koupit
International Aid and China's Environment
3083 Kč
Koupit
I guai di una seconda possibilit?
325 Kč
Koupit
Live Theatre: Six Plays from the North East
865 Kč
Koupit
Community of the College of Justice
1006 Kč
Koupit

Dárkový poukaz: Radost zaručena

Darujte poukaz v libovolné hodnotě a my se postaráme o zbytek.
Poukaz se vztahuje na celou naši nabídku.
Elektronický poukaz vytisknete z e-mailu a můžete ihned darovat.
Platnost poukazu je 12 měsíců od data vystavení.

Objednat dárkový poukaz Více informací

Nákupem získáte 131 bodů

Anotace knihy

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.

Parametry knihy

1309 Kč

Plný název: Formal Methods
Podnázev: 25th International Symposium, FM 2023, Lubeck, Germany, March 6-10, 2023, Proceedings
Autor: Marsha Chechik, Joost-Pieter Katoen, Martin Leucker
Jazyk: Angličtina
Vazba: Brožovaná
Počet stran: 676
EAN: 9783031274824
ID: 43418139
Nakladatelství: Springer Nature B.V.
Hmotnost: 970 g
Rozměry: 234 × 157 × 37 mm
Datum vydání: 08. March 2023