Cart Empty
J. Bhaskar, BS Publications, 2022, Pbk, 350 p, ISBN : 9788178002804, $35.00 (Includes free airmail shipping)
Contents: 1. Introduction. 2. Language Elements. 3. Composite Types. 4. Expressions. 5. Behavioral Modeling. 6. Structural Modeling. 7. Other Topics. 8. Advanced Verification Topics. 9. Assertions.
Powered by Young Petals