Books by de Roever Willem-Paul

1 title available, newest first by original publication date.

Concurrency Verification: Introduction to Compositional and Non-Compositional Methods

Concurrency Verification: Introduction to Compositional and Non-Compositional Methods

de Roever Willem-Paul

$115.99