Your search returned 9 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1.
Software Engineering and Formal Methods by Series: Lecture Notes in Computer Science
Edition: 1st ed. 2018
Language: EN
Publication details: Springer International Publishing 2018
Online resources:
Availability: No items available.

Add to cart
2.
3.
Integrated Formal Methods by Series: Lecture Notes in Computer Science
Edition: 2013
Language: EN
Publication details: Springer Berlin Heidelberg 2013
Online resources:
Availability: No items available.

Add to cart
4.
Formal Methods for Multicore Programming by Series: Lecture Notes in Computer Science
Edition: 2015
Language: EN
Publication details: Springer International Publishing 2015
Online resources:
Availability: No items available.

Add to cart
5.
No cover image available
The Logic of Software. A Tasting Menu of Formal Methods by
Edition: 1st ed. 2022
Publication details: 2022
Online resources:
Availability: Items available for loan: VIVEKANANDA LIBRARY (1).

Place hold Add to cart
6.
No cover image available
Software Engineering and Formal Methods by
Edition: 1st ed. 2018
Publication details: Springer International Publishing 2018
Online resources:
Availability: Items available for loan: VIVEKANANDA LIBRARY (1).

Place hold Add to cart
7.
Formal Methods for Multicore Programming by Series: Lecture Notes in Computer Science
Edition: 2015
Publication details: Springer International Publishing 2015
Online resources:
Availability: Items available for loan: VIVEKANANDA LIBRARY (1).

Place hold Add to cart
8.
Integrated Formal Methods by Series: Lecture Notes in Computer Science
Edition: 2013
Publication details: Springer Berlin Heidelberg 2013
Online resources:
Availability: Items available for loan: VIVEKANANDA LIBRARY (1).

Place hold Add to cart
9.
Formal Methods for Executable Software Models by Series: Lecture Notes in Computer Science
Edition: 2014
Publication details: Springer International Publishing 2014
Online resources:
Availability: Items available for loan: VIVEKANANDA LIBRARY (1).

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