Central Library

Your search returned 4 results. Subscribe to this search

Unhighlight Highlight
|
Formal Methods and Software Engineering [electronic resource] : 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29 - November 1, 2013, Proceedings / edited by Lindsay Groves, Jing Sun.

by Groves, Lindsay [editor.] | Sun, Jing [editor.] | SpringerLink (Online service).

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

Control Engineering : Fundamentals / Jing Sun.

by Sun, Jing [author.] | China Science Publishing & Media Ltd.

Source: DG Plus eBook-Package 2018Source: EBOOK PACKAGE COMPLETE 2018 EnglishSource: EBOOK PACKAGE COMPLETE 2018Source: EBOOK PACKAGE Engineering, Computer Sciences 2018 EnglishSource: EBOOK PACKAGE Engineering, Computer Sciences 2018Material type: book Book; Format: available online remote; Audience: Specialized; Publisher: Berlin ; Boston : De Gruyter, [2018]Copyright date: ©2018Online access: Click here to access online | Click here to access online | Cover Availability: No items available

Formal Methods and Software Engineering [electronic resource] : 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings / edited by Jing Sun, Meng Sun.

by Sun, Jing [editor.] | Sun, Meng [editor.] | SpringerLink (Online service).

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

Formal Methods and Software Engineering [electronic resource] : 15th International Conference on Formal EngineeringMethods, ICFEM 2013, Queenstown, New Zealand, October 29 - November 1, 2013, Proceedings / edited by Lindsay Groves, Jing Sun.

by Groves, Lindsay [editor.] | Sun, Jing [editor.] | SpringerLink (Online service).

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