Verification of Sequential and Concurrent Programs

Krzysztof R. Apt, Apt / Ernst-Rudiger Olderog, Olderog

CHF 65.00

Lieferbar

In Warenkorb legen

ISBN	9781475727159
Sprache	eng
Cover	Kartonierter Einband (Kt)
Verlag	Springer Nature B.V.
Jahr	20121205