Central Library

Your search returned 2 results. Subscribe to this search

Unhighlight Highlight
|
Correct-by-Construction Approaches for SoC Design [electronic resource] / by Roopak Sinha, Parthasarathi Roop, Samik Basu.

by Sinha, Roopak [author.] | Roop, Parthasarathi [author.] | Basu, Samik [author.] | SpringerLink (Online service).

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

Service-Oriented Computing [electronic resource] : 11th International Conference, ICSOC 2013, Berlin, Germany, December 2-5, 2013, Proceedings / edited by Samik Basu, Cesare Pautasso, Liang Zhang, Xiang Fu.

by Basu, Samik [editor.] | Pautasso, Cesare [editor.] | Zhang, Liang [editor.] | Fu, Xiang [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