Central Library

Your search returned 3 results. Subscribe to this search

Unhighlight Highlight
|
SOFSEM 2015: Theory and Practice of Computer Science [electronic resource] : 41st International Conference on Current Trends in Theory and Practice of Computer Science, Pec pod Sněžkou, Czech Republic, January 24-29, 2015. Proceedings / edited by Giuseppe F. Italiano, Tiziana Margaria-Steffen, Jaroslav Pokorn�y, Jean-Jacques Quisquater, Roger Wattenhofer.

by Italiano, Giuseppe F [editor.] | Margaria-Steffen, Tiziana [editor.] | Pokorn�y, Jaroslav [editor.] | Quisquater, Jean-Jacques [editor.] | Wattenhofer, Roger [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, 2015Online access: Click here to access online Availability: No items available

Formal methods for industrial critical systems : a survey of applications / edited by Stefania Gnesi, Tiziana Margaria.

by Gnesi, Stefania, 1954- | Margaria-Steffen, Tiziana, 1964- | IEEE Xplore (Online Service) [distributor.] | Wiley InterScience (Online service) [publisher.].

Material type: book Book; Format: available online remote Publisher: Hoboken, New Jersey : John Wiley and Sons Incorporated, [2012]Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [2012]Online access: Abstract with links to resource Availability: No items available

Formal methods for industrial critical systems : a survey of applications / edited by Stefania Gnesi, Tiziana Margaria.

by Gnesi, Stefania, 1954- | Margaria-Steffen, Tiziana, 1964- | IEEE Xplore (Online Service) [distributor.] | Wiley InterScience (Online service) [publisher.].

Material type: book Book; Format: available online remote Publisher: Hoboken, New Jersey : John Wiley and Sons Incorporated, [2012]Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [2013]Online access: Abstract with links to resource Availability: No items available