Your search returned 4 results. Subscribe to this search

|
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

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 Italiano, Tiziana Margaria-Steffen, Jaroslav Pokorný, Jean-Jacques Quisquater, Roger Wattenhofer.

by Italiano, Giuseppe [editor.] | Margaria-Steffen, Tiziana [editor.] | Pokorný, Jaroslav [editor.] | Quisquater, Jean-Jacques [editor.] | Wattenhofer, Roger [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2015.Source: Springer Nature eBookMaterial 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