Formal Methods : 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings
AvMarsha Chechik,Joost-Pieter Katoen
Engelska, 2023
631 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
550 kr
Del 9971
Validation of Stochastic Systems
Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen, Markus Siegle
Häftad
534 kr
Del 11951
Dependable Software Engineering. Theories, Tools, and Applications
Nan Guan, Joost-Pieter Katoen, Jun Sun
Häftad
550 kr
Foundations of Probabilistic Programming
Gilles Barthe, Joost-Pieter Katoen, Alexandra Silva
Inbunden
794 kr