Cover Image
Read Now

1
by Kroening, Daniel, Strichman, Ofer
Published 2008
Springer Berlin Heidelberg
“... and operations research. The techniques described in the book draw from fields such as graph theory and logic...”
Cover Image
Read Now

2
by Kroening, Daniel, Strichman, Ofer
Published 2016
Springer Berlin Heidelberg
“... and operations research. The techniques described in the book draw from fields such as graph theory and logic...”