Margaria Tiziana | Akateeminen Kirjakauppa

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

64,80 €

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

127,80 €

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

64,80 €

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

64,80 €

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

169,60 €

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

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

64,80 €

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

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

127,80 €

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

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

64,80 €

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

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

64,80 €

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

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

127,80 €

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

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

64,80 €

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

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

64,80 €

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

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

64,80 €

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

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

64,80 €

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

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

64,80 €

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

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

64,80 €

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

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

64,80 €

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

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

64,80 €

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

Margaria, Tiziana; Steffen, Bernhard
Springer Nature Switzerland AG
2020
Pehmeäkantinen kirja

64,80 €

Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles - 9th International Symposium on

Margaria, Tiziana; Steffen, Bernhard
Springer Nature Switzerland AG
2020
Pehmeäkantinen kirja

64,80 €