­ ­ ­
Hits: 150

E-Book details

Title ZB 2005: Formal Specification and Development in Z and B
Author/Editor Treharne
Publication Year 2005
e-ISBN 9783540320074
 Access online  

E-Book Summary 

Contact us

libper@iitk.ac.in  

Resources Gateway

P K Kelkar Library Resources (print and electronics) are accessible through one common platform. A robust search function allows users to filter between print and electronic resources.  login

 

© 2022 PKKL, IIT Kanpur