Your search returned 4 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1.
Formal Modeling and Analysis of Timed Systems by Series: Lecture Notes in Computer Science
Edition: 1st ed. 2019
Language: EN
Publication details: Springer International Publishing 2019
Online resources:
Availability: No items available.

Add to cart
2.
No cover image available
Automated Technology for Verification and Analysis by
Edition: 1st ed. 2023
Publication details: 2023
Online resources:
Availability: Items available for loan: VIVEKANANDA LIBRARY (1).

Place hold Add to cart
3.
No cover image available
Automated Technology for Verification and Analysis by
Edition: 1st ed. 2023
Publication details: 2023
Online resources:
Availability: Items available for loan: VIVEKANANDA LIBRARY (1).

Place hold Add to cart
4.
No cover image available
Formal Modeling and Analysis of Timed Systems by
Edition: 1st ed. 2019
Publication details: Springer International Publishing 2019
Online resources:
Availability: Items available for loan: VIVEKANANDA LIBRARY (1).

Place hold Add to cart
Pages
© Designed and Maintained by Vivekananda Library, MDU Rohtak