Jost-Pieter Katoen - Böcker

Visar alla böcker från författaren Jost-Pieter Katoen.

1 produkt

Kategorier

1 produkt

Formal Methods for Real-Time and Probabilistic Systems

5th International AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999, Proceedings

Av Jost-Pieter Katoen

Häftad, Engelska, 1999

729 kr

Skickas inom 10-15 vardagar