Central Library

Your search returned 2 results. Subscribe to this search

Unhighlight Highlight
|
Using Event-B for Critical Device Software Systems [electronic resource] / by Neeraj Kumar Singh.

by Singh, Neeraj Kumar [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: London : Springer London : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available

Model and Data Engineering [electronic resource] : 9th International Conference, MEDI 2019, Toulouse, France, October 28-31, 2019, Proceedings / edited by Klaus-Dieter Schewe, Neeraj Kumar Singh.

by Schewe, Klaus-Dieter [editor.] | Singh, Neeraj Kumar [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2019.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019Online access: Click here to access online Availability: No items available