Formal Methods : 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings
AvMarsha Chechik,Joost-Pieter Katoen
Engelska, 2023
667 kr
Beställningsvara. Skickas inom 5-8 vardagar. Fri frakt över 249 kr.
Produktinformation
Hoppa över listan
Du kanske också är intresserad av
Tools and Algorithms for the Construction and Analysis of Systems
Marsha Chechik, Jean-François Raskin
Häftad, 2016
560 kr
Del 9971
Tools and Algorithms for the Construction and Analysis of Systems
Jean-Francois Raskin, Marsha Chechik
E-bok
2016734 kr