Jost-Pieter Katoen - Böcker

Visar alla böcker från författaren Jost-Pieter Katoen.
1 produkt
Jost-Pieter Katoen - Formal Methods for Real-Time and Probabilistic Systems, Häftad
Del 1601 - Lecture Notes in Computer Science

Formal Methods for Real-Time and Probabilistic Systems

Av Jost-Pieter Katoen

Häftad, Engelska, 1999

729 kr

Skickas inom 10-15 vardagar