For Publishers
All
Subject
Title
Author
Publisher
Series Title
All
Subject
Title
Author
Publisher
Series Title
Keijo Heljanko
Keijo Heljanko is the author of "Unfoldings: a Partial-Order Approach to Model Checking" and "Unfoldings".
Books by Keijo Heljanko
View more
Unfoldings
Esparza, Javier
Paperback:
$109.99
Unfoldings: a Par...
Esparza, Javier
Electronic book text:
$198.00
Unfoldings
Esparza, Javier
Hardback:
$109.99
Unfoldings
Esparza, Javier
Paperback: