Menu
Rendelés állapotának ellenőrzése
Kapcsolat
Könyv Formal Methods Marsha Chechik

Formal Methods

25th International Symposium, FM 2023, Lubeck, Germany, March 6-10, 2023, Proceedings

Szerző: Marsha Chechik, Joost-Pieter Katoen, Martin Leucker
Nyelv: Angol
Kötés: Puha kötésű
Kiadó: Springer Nature B.V.
Elérhetőség: Beszállítói készleten
Küldés 10-18 napon belül
20 486 Ft
This book constitutes the refereed proceedings of the 25th International Symposium on Formal Methods...

Információk a könyvről

Szerző
Marsha Chechik, Joost-Pieter Katoen, Martin Leucker
Nyelv
Angol
Kötés
Könyv - Puha kötésű
Kiadva
2023
oldal
676
EAN
9783031274824
Enbook ID
43418139
Kiadó
Springer Nature B.V.
Súly
970
Méretek
157 x 234 x 37

Teljes leírás

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. 

Érdekelheti

Colour of Injustice

John Hostettler
9 245 Ft

Community of the College of Justice

John Finlay
16 009 Ft

Live Theatre: Six Plays from the North East

Cecil P. Taylor
13 549 Ft

International Aid and China's Environment

Katherine Morton
48 910 Ft

Jase

Marialisa Demora
6 500 Ft

Sonic the Hedgehog and The Beatles: A Comparative Analysis of the Games and Music

David Childers
3 495 Ft

Holbein at the Tudor Court

HEARD KATE
11 482 Ft

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

Zur Genese eines doppelten Geheimnisses - Homoerotik und Objekt der Begierde.

Ann Drechsler
5 406 Ft

Introducción: Diccionario etimológico crítico del Castellano

Javier Goitia Blanco
2 862 Ft

I guai di una seconda possibilit?

Alex McAnders
5 393 Ft

Kakukkszó

Robert Galbraith (J. K. Rowling)
6 902 Ft