Search

Your search keyword '"Karmakar, Rahul"' showing total 3 results
Start Over Author "Karmakar, Rahul" Publisher springer nature singapore
3 results on '"Karmakar, Rahul"'

2. A Framework for Component Mapping Between Event-B and Python

Author

Karmakar, Rahul, Kacprzyk, Janusz, Series Editor, Gomide, Fernando, Advisory Editor, Kaynak, Okyay, Advisory Editor, Liu, Derong, Advisory Editor, Pedrycz, Witold, Advisory Editor, Polycarpou, Marios M., Advisory Editor, Rudas, Imre J., Advisory Editor, Wang, Jun, Advisory Editor, Hu, Yu-Chen, editor, Tiwari, Shailesh, editor, Trivedi, Munesh C., editor, and Mishra, K. K., editor

Published
2022
Full Text
View/download PDF

Catalog

Books, media, physical & digital resources
See catalog results