Tiziana Margaria | Akateeminen Kirjakauppa

Software Business. From Physical Products to Software Services and Solutions - 4th International Conference, ICSOB 2013, Potsdam

Herzwurm, Georg; Tiziana, Margaria
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2013
Pehmeäkantinen kirja

47,40 €

Software Business. from Physical Products to Software Services and Solutions - 4th International Conference, Icsob 2013, Potsdam

Herzwurm, Georg; Tiziana, Margaria
Springer
2013
Pehmeäkantinen kirja

113,80 €

Correct Hardware Design and Verification Methods : 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001

Margaria, Tiziana; Melham, Tom
Springer
2001
Pehmeäkantinen kirja

51,40 €

Tools and Algorithms for the Construction and Analysis of Systems : 7th International Conference, TACAS 2001 Held as Part

Margaria, Tiziana; Yi, Wang
Springer
2001
Pehmeäkantinen kirja

101,40 €

Tools and Algorithms for the Construction and Analysis of Systems : Second International Workshop, TACAS '96, Passau,

Margaria, Tiziana; Steffen, Bernhard
Springer
1996
Pehmeäkantinen kirja

51,40 €

Services and Visualization: Towards User-Friendly Design : ACos'98, VISUAL'98, AIN'97, Selected Papers

Margaria, Tiziana; Steffen, Bernhard; Rückert, Roland; Posegga, Joachim
Springer
1998
Pehmeäkantinen kirja

51,40 €

Leveraging Applications of Formal Methods, Verification and Validation - Third International Symposium, ISoLA 2008, Porto Sani,

Margaria, Tiziana; Steffen, Bernhard
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2008
Pehmeäkantinen kirja

134,60 €

Leveraging Applications of Formal Methods, Verification, and Validation : 4th International Symposium on Leveraging

Margaria, Tiziana; Steffen, Bernhard
Springer
2010
Pehmeäkantinen kirja

51,40 €

Leveraging Applications of Formal Methods, Verification, and Validation : 4th International Symposium on Leveraging

Margaria, Tiziana; Steffen, Bernhard
Springer
2010
Pehmeäkantinen kirja

101,40 €

Leveraging Applications of Formal Methods, Verification and Validation : 5th International Symposium, ISoLA 2012,

Margaria, Tiziana; Steffen, Bernhard
Springer
2012
Pehmeäkantinen kirja

51,40 €

Leveraging Applications of Formal Methods, Verification and Validation : 5th International Symposium, ISoLA 2012,

Margaria, Tiziana; Steffen, Bernhard
Springer
2012
Pehmeäkantinen kirja

51,40 €

Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques : 7th International

Margaria, Tiziana; Steffen, Bernhard
Springer
2016
Pehmeäkantinen kirja

101,40 €

Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications : 7th

Margaria, Tiziana; Steffen, Bernhard
Springer
2016
Pehmeäkantinen kirja

51,40 €

Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change : 6th

Margaria, Tiziana; Steffen, Bernhard
Springer
2014
Pehmeäkantinen kirja

51,40 €

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications : 6th

Margaria, Tiziana; Steffen, Bernhard
Springer
2014
Pehmeäkantinen kirja

51,40 €

Leveraging Applications of Formal Methods, Verification and Validation. Modeling : 8th International Symposium, ISoLA 2018,

Margaria, Tiziana; Steffen, Bernhard
Springer
2018
Pehmeäkantinen kirja

51,40 €

Leveraging Applications of Formal Methods, Verification and Validation. Verification : 8th International Symposium, ISoLA

Margaria, Tiziana; Steffen, Bernhard
Springer
2018
Pehmeäkantinen kirja

51,40 €

Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice : 8th International Symposium,

Margaria, Tiziana; Steffen, Bernhard
Springer
2018
Pehmeäkantinen kirja

51,40 €

Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems : 8th International Symposium,

Margaria, Tiziana; Steffen, Bernhard
Springer
2018
Pehmeäkantinen kirja

51,40 €

Models, Mindsets, Meta: The What, the How, and the Why Not? : Essays Dedicated to Bernhard Steffen on the Occasion of His

Margaria, Tiziana; Graf, Susanne; Larsen, Kim G.
Springer
2019
Pehmeäkantinen kirja

51,40 €