Kód: 43418139

Formal Methods

Name: Formal Methods
Brand: Springer Nature B.V.
SKU: 43418139
Price: 57.01 EUR
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
Väzba: Brožovaná
Počet strán: 676
Nakladateľ: Springer Nature B.V., 2023
Viac informácií o knihe

57.01 €

Bežne: 57.02 €

Ušetríte 0.01 €

Skladom u dodávateľa
Odosielame za 10 - 18 dní

Pridať medzi želanie

Mohlo by sa vám tiež páčiť

Holbein at the Tudor Court
28.65 € -24 %
Kúpiť
Kakukkszó
18.12 € -14 %
Kúpiť
Sonic the Hedgehog and The Beatles: A Comparative Analysis of the Games and Music
9 € -6 %
Kúpiť
International Aid and China's Environment
127.61 €
Kúpiť
I guai di una seconda possibilit?
13.46 € -24 %
Kúpiť
Community of the College of Justice
44.15 € -15 %
Kúpiť
Live Theatre: Six Plays from the North East
37.67 €
Kúpiť

Darujte túto knihu ešte dnes

Objednajte knihu a vyberte Zaslať ako darček.
Obratom obdržíte darovací poukaz na knihu, ktorý môžete ihneď odovzdať obdarovanému.
Knihu zašleme na adresu obdarovaného, o nič sa nestaráte.

Viac informácií

Nákupom získate 138 bodov

Anotácia 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.

Parametre knihy

57.01 €

Celý názov: Formal Methods
Podnázov: 25th International Symposium, FM 2023, Lubeck, Germany, March 6-10, 2023, Proceedings
Autor: Marsha Chechik, Joost-Pieter Katoen, Martin Leucker
Jazyk: Angličtina
Väzba: Brožovaná
Počet strán: 676
EAN: 9783031274824
ID: 43418139
Nakladateľ: Springer Nature B.V.
Hmotnosť: 970 g
Rozmery: 234 × 157 × 37 mm
Dátum vydania: 08. March 2023