Dana Fisman

Dana Fisman is the author of "Tools and Algorithms for the Construction and Analysis of Systems", "A Practical Introduction to Psl", "A Practical Introduction to PSL" and "Runtime Verification".

Books by Dana Fisman

Runtime Verificat...
Feng Lu
Paperback: $79.99

A Practical Intro...
Eisner, Cindy
Electronic book text: $179.00

Tools and Algorit...
Fisman Dana
Paperback: $49.99

A Practical Intro...
Eisner, Cindy
Hardback: $183.00