Central Library

Your search returned 2 results. Subscribe to this search

Unhighlight Highlight
|
Specification, Algebra, and Software [electronic resource] : Essays Dedicated to Kokichi Futatsugi / edited by Shusaku Iida, Jos�e Meseguer, Kazuhiro Ogata.

by Iida, Shusaku [editor.] | Meseguer, Jos�e [editor.] | Ogata, Kazuhiro [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, 2014Online access: Click here to access online Availability: No items available

Formal Methods and Software Engineering [electronic resource] : 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings / edited by Kazuhiro Ogata, Mark Lawford, Shaoying Liu.

by Ogata, Kazuhiro [editor.] | Lawford, Mark [editor.] | Liu, Shaoying [editor.] | SpringerLink (Online service).

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