Margaria+Tiziana | Booky.fi

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

Margaria, Tiziana; Melham, Tom
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2001
Pehmeäkantinen kirja

51,40 €

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

Margaria, Tiziana; Yi, Wang
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2001
Pehmeäkantinen kirja

101,40 €

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

Margaria, Tiziana; Steffen, Bernhard
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
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-Verlag Berlin and Heidelberg GmbH & Co. KG
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 Applications

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

51,40 €

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

101,40 €

Leveraging Applications of Formal Methods, Verification and Validation - 5th International Symposium, ISoLA 2012, Heraklion, Cre

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

51,40 €

Leveraging Applications of Formal Methods, Verification and Validation - 5th International Symposium, ISoLA 2012, Heraklion, Cre

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

51,40 €

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

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

101,40 €

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

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

51,40 €

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

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

51,40 €

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

51,40 €

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

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

51,40 €

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

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

51,40 €

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

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

51,40 €

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

51,40 €

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

51,40 €

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

51,40 €

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

51,40 €