Books by Yogesh Naik

Cover of Fundamentals in Agriculture Technology

Fundamentals in Agriculture Technology

by Prashant S. Bodake, Srinivasan Iyengar, Santosh V. Sawardekar, Chintan Oza, Yogesh Naik

2023
A temporal logic for the specification and verification of real-time systems

A temporal logic for the specification and verification of real-time systems

by Yogesh Naik

1993

Can't find the book you're looking for? Let us know — it helps us improve.