Lal, Akash books & textbook
Verification, Model Checking, and Abstract Interpretation: 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015, Proceedings (Theoretical Computer Science and General Issues)
D'Souza, Deepak Lal, Akash Larsen, Kim Guldstrand
Springer /2015-01-07 Paperback / 486 Pages
isbn-10: 3662460807 / isbn-13: 9783662460801
Verified Software. Theories, Tools and Experiments.: 14th International Conference, VSTTE 2022, Trento, Italy, October 17–18, 2022, Revised Selected Papers (Lecture Notes in Computer Science)
Springer /2023-02-02 Paperback / 180 Pages
isbn-10: 3031258029 / isbn-13: 9783031258022
MOVIE RECOMMENDATION SYSTEM
Lal, Mr. Akash Singh, Dr. Gurvinder Pal
Independently published /2020-08-04 Paperback / 30 Pages
Movie Recommendation System
Lal, Mr. Akash Singh, Dr. Gurvinder Pal
Independently published /2019-12-18 Paperback / 30 Pages
Computer Aided Verification: 35th International Conference, CAV 2023, Paris, France, July 17–22, 2023, Proceedings, Part III (Lecture Notes in Computer Science)
Springer /2023-07-17 Paperback / 520 Pages
isbn-10: 3031377087 / isbn-13: 9783031377082
Computer Aided Verification: 35th International Conference, CAV 2023, Paris, France, July 17–22, 2023, Proceedings, Part I (Lecture Notes in Computer Science)
Springer /2023-07-17 Paperback / 520 Pages
isbn-10: 3031377052 / isbn-13: 9783031377051
Computer Aided Verification: 35th International Conference, CAV 2023, Paris, France, July 17–22, 2023, Proceedings, Part II (Lecture Notes in Computer Science)
Springer /2023-07-18 Paperback / 480 Pages
isbn-10: 3031377028 / isbn-13: 9783031377020
