Ron Koymans - Böcker

Visar alla böcker från författaren Ron Koymans.
1 produkt
Ron Koymans - Specifying Message Passing and Time-Critical Systems with Temporal Logic, Häftad
Del 651 - Lecture Notes in Computer Science

Specifying Message Passing and Time-Critical Systems with Temporal Logic

Av Ron Koymans

Häftad, Engelska, 1992

719 kr

Skickas inom 7-10 vardagar