Hits: 162

E-Book details

Title Tools and Algorithms for the Construction and Analysis of Systems
Author/Editor Biere
Publication Year 2020
e-ISBN 9783030451905
 Access online  

E-Book Summary 

Contact us

libper@iitk.ac.in