Z-Library پر تلاش کریں Tiziana Margaria:

علم اور ثقافت کا آپ کا گیٹ وے۔ سب کے لیے قابل رسائی۔

Don't use scam websites

کتابیں (56)
سب سے مشہور
فہرست
- فہرست
- جدول

1

工业关键系统的形式化方法：应用综述

工业关键系统的形式化方法：应用综述

机械工业出版社

[意]Stefania Gnesi, Tiziana Margaria 著. 靳添絮连晓峰等译

سال:

2013

زبان:

chinese

فائل:

PDF, 21.36 MB

0 / 0

chinese, 2013

2

Leveraging Applications of Formal Methods, Verification and Validation (Lecture Notes in Computer Science)

Leveraging Applications of Formal Methods, Verification and Validation (Lecture Notes in Computer Science)

Tiziana Margaria (editor), Bernhard Steffen (editor)

سال:

2021

زبان:

english

فائل:

PDF, 29.21 MB

0 / 5.0

english, 2021

3

Formal Methods for Industrial Critical Systems: A Survey of Applications

Formal Methods for Industrial Critical Systems: A Survey of Applications

Wiley-IEEE Computer Society Press

Stefania Gnesi, Tiziana Margaria

سال:

2013

زبان:

english

فائل:

PDF, 7.08 MB

0 / 0

english, 2013

4

Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part I

Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part I

Springer International Publishing;Springer

Tiziana Margaria, Bernhard Steffen

سال:

2020

زبان:

english

فائل:

PDF, 27.77 MB

0 / 0

english, 2020

5

Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part II

Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part II

Springer International Publishing;Springer

Tiziana Margaria, Bernhard Steffen

سال:

2020

زبان:

english

فائل:

PDF, 32.16 MB

0 / 0

english, 2020

6

Software Business. From Physical Products to Software Services and Solutions: 4th International Conference, ICSOB 2013, Potsdam, Germany, June 11-14, 2013. Proceedings

Software Business. From Physical Products to Software Services and Solutions: 4th International Conference, ICSOB 2013, Potsdam, Germany, June 11-14, 2013. Proceedings

Springer-Verlag Berlin Heidelberg

Markus Schief, Anton Pussep, Peter Buxmann (auth.), Georg Herzwurm, Tiziana Margaria (eds.)

سال:

2013

زبان:

english

فائل:

PDF, 5.19 MB

0 / 0

english, 2013

7

Leveraging Applications of Formal Methods, Verification and Validation: Applications: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part III

Leveraging Applications of Formal Methods, Verification and Validation: Applications: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part III

Springer International Publishing;Springer

Tiziana Margaria, Bernhard Steffen

سال:

2020

زبان:

english

فائل:

PDF, 28.03 MB

0 / 0

english, 2020

8

Tools and Algorithms for the Construction and Analysis of Systems: Second International Workshop, TACAS '96 Passau, Germany, March 27–29, 1996 Proceedings

Tools and Algorithms for the Construction and Analysis of Systems: Second International Workshop, TACAS '96 Passau, Germany, March 27–29, 1996 Proceedings

Springer-Verlag Berlin Heidelberg

Gerard J. Holzmann (auth.), Tiziana Margaria, Bernhard Steffen (eds.)

سال:

1996

زبان:

english

فائل:

PDF, 6.37 MB

0 / 0

english, 1996

9

Leveraging applications of formal methods, verification and validation

Leveraging applications of formal methods, verification and validation

Tiziana Margaria-Steffen, Bernhard Steffen

سال:

2008

زبان:

english

فائل:

PDF, 12.67 MB

0 / 0

english, 2008

10

Fundamental Approaches to Software Engineering: 7th International Conference, FASE 2004. Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004. Proceedings

Fundamental Approaches to Software Engineering: 7th International Conference, FASE 2004. Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004. Proceedings

Springer-Verlag Berlin Heidelberg

Serge Abiteboul (auth.), Michel Wermelinger, Tiziana Margaria-Steffen (eds.)

سال:

2004

زبان:

english

فائل:

PDF, 7.19 MB

0 / 0

english, 2004

11

Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications: 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II

Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications: 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II

Springer International Publishing

Tiziana Margaria, Bernhard Steffen (eds.)

سال:

2016

زبان:

english

فائل:

PDF, 64.11 MB

0 / 0

english, 2016

12

Correct Hardware Design and Verification Methods: 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001 Livingston, Scotland, UK, September 4–7, 2001 Proceedings

Correct Hardware Design and Verification Methods: 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001 Livingston, Scotland, UK, September 4–7, 2001 Proceedings

Springer-Verlag Berlin Heidelberg

Steven D. Johnson (auth.), Tiziana Margaria, Tom Melham (eds.)

سال:

2001

زبان:

english

فائل:

PDF, 3.98 MB

0 / 0

english, 2001

13

Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II

Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II

Springer-Verlag Berlin Heidelberg

Dirk Beyer, Alexander K. Petrenko (auth.), Tiziana Margaria, Bernhard Steffen (eds.)

سال:

2012

زبان:

english

فائل:

PDF, 8.96 MB

0 / 0

english, 2012

14

Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change: 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I

Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change: 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I

Springer-Verlag Berlin Heidelberg

Tiziana Margaria, Bernhard Steffen (eds.)

سال:

2014

زبان:

english

فائل:

PDF, 17.08 MB

0 / 0

english, 2014

15

Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part I

Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part I

Tiziana Margaria, Bernhard Steffen

سال:

2010

زبان:

english

فائل:

PDF, 13.99 MB

0 / 0

english, 2010

16

Tools and Algorithms for the Construction and Analysis of Systems: Second International Workshop, TACAS '96 Passau, Germany, March 27–29, 1996 Proceedings

Tools and Algorithms for the Construction and Analysis of Systems: Second International Workshop, TACAS '96 Passau, Germany, March 27–29, 1996 Proceedings

Springer-Verlag Berlin Heidelberg

Gerard J. Holzmann (auth.), Tiziana Margaria, Bernhard Steffen (eds.)

سال:

1996

زبان:

english

فائل:

DJVU, 3.60 MB

0 / 0

english, 1996

17

Fundamental Approaches to Software Engineering: 7th International Conference, FASE 2004. Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004. Proceedings

Fundamental Approaches to Software Engineering: 7th International Conference, FASE 2004. Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004. Proceedings

Springer-Verlag Berlin Heidelberg

Serge Abiteboul (auth.), Michel Wermelinger, Tiziana Margaria-Steffen (eds.)

سال:

2004

زبان:

english

فائل:

PDF, 3.71 MB

0 / 0

english, 2004

18

Leveraging Applications of Formal Methods: First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November2, 2004, Revised Selected Papers

Leveraging Applications of Formal Methods: First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November2, 2004, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Farhad Arbab, Joost N. Kok (auth.), Tiziana Margaria, Bernhard Steffen (eds.)

سال:

2006

زبان:

english

فائل:

PDF, 2.40 MB

0 / 0

english, 2006

19

Leveraging Applications of Formal Methods, Verification and Validation: Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings

Leveraging Applications of Formal Methods, Verification and Validation: Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings

Springer-Verlag Berlin Heidelberg

Manfred Broy (auth.), Tiziana Margaria, Bernhard Steffen (eds.)

سال:

2009

زبان:

english

فائل:

PDF, 35.10 MB

0 / 0

english, 2009

20

Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part I

Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part I

Springer-Verlag Berlin Heidelberg

Visar Januzaj, Stefan Kugele, Boris Langer, Christian Schallhart, Helmut Veith (auth.), Tiziana Margaria, Bernhard Steffen (eds.)

سال:

2010

زبان:

english

فائل:

PDF, 13.00 MB

0 / 0

english, 2010

21

Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part I

Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part I

Springer-Verlag Berlin Heidelberg

Visar Januzaj, Stefan Kugele, Boris Langer, Christian Schallhart, Helmut Veith (auth.), Tiziana Margaria, Bernhard Steffen (eds.)

سال:

2010

زبان:

english

فائل:

PDF, 13.02 MB

0 / 0

english, 2010

22

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

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

Springer International Publishing

Tiziana Margaria, Bernhard Steffen

زبان:

english

فائل:

EPUB, 10.33 MB

0 / 0

english

23

Software Process Improvement: 14th European Conference, EuroSPI 2007, Potsdam, Germany, September 26-28, 2007. Proceedings

Software Process Improvement: 14th European Conference, EuroSPI 2007, Potsdam, Germany, September 26-28, 2007. Proceedings

Springer-Verlag Berlin Heidelberg

Pekka Abrahamsson, Nathan Baddoo, Margaria Tiziana, Richard Messnarz (auth.), Pekka Abrahamsson, Nathan Baddoo, Tiziana Margaria, Richard Messnarz (eds.)

سال:

2007

زبان:

english

فائل:

PDF, 5.15 MB

0 / 0

english, 2007

24

Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II

Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II

Tiziana Margaria, Bernhard Steffen

سال:

2010

زبان:

english

فائل:

PDF, 9.82 MB

0 / 0

english, 2010

25

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

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

Springer-Verlag Berlin Heidelberg

Alain Lardenois (auth.), Tiziana Margaria, Bernhard Steffen, Roland Rückert, Joachim Posegga (eds.)

سال:

1998

زبان:

english

فائل:

PDF, 7.31 MB

0 / 0

english, 1998

26

Service-Oriented Computing – ICSOC 2008: 6th International Conference, Sydney, Australia, December 1-5, 2008. Proceedings

Service-Oriented Computing – ICSOC 2008: 6th International Conference, Sydney, Australia, December 1-5, 2008. Proceedings

Springer-Verlag Berlin Heidelberg

Peter Vosshall (auth.), Athman Bouguettaya, Ingolf Krueger, Tiziana Margaria (eds.)

سال:

2008

زبان:

english

فائل:

PDF, 21.81 MB

0 / 0

english, 2008

27

Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II

Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II

Springer-Verlag Berlin Heidelberg

Dirk Beyer, Alexander K. Petrenko (auth.), Tiziana Margaria, Bernhard Steffen (eds.)

سال:

2012

زبان:

english

فائل:

PDF, 11.26 MB

0 / 0

english, 2012

28

Correct Hardware Design and Verification Methods: 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001 Livingston, Scotland, UK, September 4–7, 2001 Proceedings

Correct Hardware Design and Verification Methods: 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001 Livingston, Scotland, UK, September 4–7, 2001 Proceedings

Springer-Verlag Berlin Heidelberg

Steven D. Johnson (auth.), Tiziana Margaria, Tom Melham (eds.)

سال:

2001

زبان:

english

فائل:

PDF, 12.18 MB

0 / 0

english, 2001

29

Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II

Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II

Springer-Verlag Berlin Heidelberg

Alessandro Moschitti (auth.), Tiziana Margaria, Bernhard Steffen (eds.)

سال:

2010

زبان:

english

فائل:

PDF, 8.98 MB

0 / 0

english, 2010

30

Leveraging Applications of Formal Methods: First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November2, 2004, Revised Selected Papers

Leveraging Applications of Formal Methods: First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November2, 2004, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Farhad Arbab, Joost N. Kok (auth.), Tiziana Margaria, Bernhard Steffen (eds.)

سال:

2006

زبان:

english

فائل:

PDF, 2.13 MB

0 / 0

english, 2006

31

Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II

Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II

Springer-Verlag Berlin Heidelberg

Alessandro Moschitti (auth.), Tiziana Margaria, Bernhard Steffen (eds.)

سال:

2010

زبان:

english

فائل:

PDF, 9.02 MB

0 / 0

english, 2010

32

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

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

Springer-Verlag Berlin Heidelberg

Alain Lardenois (auth.), Tiziana Margaria, Bernhard Steffen, Roland Rückert, Joachim Posegga (eds.)

سال:

1998

زبان:

english

فائل:

DJVU, 6.59 MB

0 / 0

english, 1998

33

Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II

Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II

Springer-Verlag Berlin Heidelberg

Alessandro Moschitti (auth.), Tiziana Margaria, Bernhard Steffen (eds.)

سال:

2010

زبان:

english

فائل:

PDF, 9.02 MB

0 / 0

english, 2010

34

Товариство "Просвiта" у Львовi: Покажчик видань 1868-1939

Товариство "Просвiта" у Львовi: Покажчик видань 1868-1939

Michel Wermelinger, Tiziana Margaria-Steffen

سال:

1996

زبان:

ukrainian

فائل:

DJVU, 11.77 MB

0 / 0

ukrainian, 1996

35

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

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

Springer International Publishing

Tiziana Margaria, Susanne Graf, Kim G. Larsen

سال:

2019

زبان:

english

فائل:

PDF, 19.57 MB

0 / 0

english, 2019

36

Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV

Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV

Springer International Publishing

Tiziana Margaria, Bernhard Steffen

سال:

2018

زبان:

english

فائل:

PDF, 32.18 MB

0 / 0

english, 2018

37

Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III

Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III

Springer International Publishing

Tiziana Margaria, Bernhard Steffen

سال:

2018

زبان:

english

فائل:

PDF, 29.45 MB

0 / 0

english, 2018

38

Leveraging Applications of Formal Methods, Verification and Validation. Modeling: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I

Leveraging Applications of Formal Methods, Verification and Validation. Modeling: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I

Springer International Publishing

Tiziana Margaria, Bernhard Steffen

سال:

2018

زبان:

english

فائل:

PDF, 40.14 MB

0 / 0

english, 2018

39

Leveraging Applications of Formal Methods, Verification and Validation. Verification: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II

Leveraging Applications of Formal Methods, Verification and Validation. Verification: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II

Springer International Publishing

Tiziana Margaria, Bernhard Steffen

سال:

2018

زبان:

english

فائل:

PDF, 27.53 MB

0 / 0

english, 2018

40

Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles: 11th International Symposium, ISoLA 2022 Rhodes, Greece, October 22–30, 2022 Proceedings, Part I

Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles: 11th International Symposium, ISoLA 2022 Rhodes, Greece, October 22–30, 2022 Proceedings, Part I

Tiziana Margaria, Bernhard Steffen

سال:

2022

زبان:

english

فائل:

PDF, 18.21 MB

0 / 5.0

english, 2022

41

Tools and Algorithms for the Construction and Analysis of Systems: 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, P

Tools and Algorithms for the Construction and Analysis of Systems: 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, P

Springer-Verlag Berlin Heidelberg

Axel Legay, Tiziana Margaria (eds.)

سال:

2017

زبان:

english

فائل:

PDF, 25.98 MB

0 / 0

english, 2017

42

Tools and Algorithms for the Construction and Analysis of Systems: 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, P

Tools and Algorithms for the Construction and Analysis of Systems: 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, P

Springer-Verlag Berlin Heidelberg

Axel Legay, Tiziana Margaria (eds.)

سال:

2017

زبان:

english

فائل:

PDF, 16.70 MB

0 / 0

english, 2017

43

Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I

Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I

Springer-Verlag Berlin Heidelberg

Reiner Hähnle, Ina Schaefer (auth.), Tiziana Margaria, Bernhard Steffen (eds.)

سال:

2012

زبان:

english

فائل:

PDF, 10.70 MB

0 / 0

english, 2012

44

Process Design for Natural Scientists: An Agile Model-Driven Approach

Process Design for Natural Scientists: An Agile Model-Driven Approach

Springer-Verlag Berlin Heidelberg

Anna-Lena Lamprecht, Tiziana Margaria (eds.)

سال:

2014

زبان:

english

فائل:

PDF, 20.52 MB

0 / 0

english, 2014

45

Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques: 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2016, Proceedings, Part I

Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques: 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2016, Proceedings, Part I

Springer International Publishing

Tiziana Margaria, Bernhard Steffen (eds.)

سال:

2016

زبان:

english

فائل:

PDF, 51.65 MB

0 / 0

english, 2016

46

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications: 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications: 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II

Springer-Verlag Berlin Heidelberg

Tiziana Margaria, Bernhard Steffen (eds.)

سال:

2014

زبان:

english

فائل:

PDF, 20.35 MB

0 / 0

english, 2014

47

Tools and Algorithms for the Construction and Analysis of Systems: 7th International Conference, TACAS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2–6, 2001 Proceedings

Tools and Algorithms for the Construction and Analysis of Systems: 7th International Conference, TACAS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2–6, 2001 Proceedings

Springer-Verlag Berlin Heidelberg

Moshe Y. Vardi (auth.), Tiziana Margaria, Wang Yi (eds.)

سال:

2001

زبان:

english

فائل:

PDF, 4.55 MB

0 / 0

english, 2001

48

SOFSEM 2015: Theory and Practice of Computer Science: 41st International Conference on Current Trends in Theory and Practice of Computer Science, Pec pod Sněžkou, Czech Republic, January 24-29, 2015. Proceedings

SOFSEM 2015: Theory and Practice of Computer Science: 41st International Conference on Current Trends in Theory and Practice of Computer Science, Pec pod Sněžkou, Czech Republic, January 24-29, 2015. Proceedings

Springer-Verlag Berlin Heidelberg

Giuseppe F. Italiano, Tiziana Margaria-Steffen, Jaroslav Pokorný, Jean-Jacques Quisquater, Roger Wattenhofer (eds.)

سال:

2015

زبان:

english

فائل:

PDF, 13.69 MB

0 / 0

english, 2015

49

SOFSEM 2017: Theory and Practice of Computer Science: 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Limerick, Ireland, January 16-20, 2017, Proceedings

SOFSEM 2017: Theory and Practice of Computer Science: 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Limerick, Ireland, January 16-20, 2017, Proceedings

Springer International Publishing

Bernhard Steffen, Christel Baier, Mark van den Brand, Johann Eder, Mike Hinchey, Tiziana Margaria (eds.)

سال:

2017

زبان:

english

فائل:

PDF, 23.72 MB

0 / 0

english, 2017

50

Leveraging Applications of Formal Methods, Verification, and Validation: International Workshops, SARS 2011 and MLSC 2011, Held Under the Auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011. Revised Selected Papers

Leveraging Applications of Formal Methods, Verification, and Validation: International Workshops, SARS 2011 and MLSC 2011, Held Under the Auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011. Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Sebastian Götz, Max Leuthäuser, Jan Reimann, Julia Schroeter, Christian Wende (auth.), Reiner Hähnle, Jens Knoop, Tiziana Margaria, Dietmar Schreiner, Bernhard Steffen (eds.)

سال:

2012

زبان:

english

فائل:

PDF, 12.26 MB

0 / 0

english, 2012