Arama Sonuçları

1

Model Checking, Synthesis, and Learning Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday /

Baskı/Yayın Bilgisi 2021

Available in Springer Computer Science eBooks 2021 English/International.

Elektronik Ekitap

2

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 /

Baskı/Yayın Bilgisi 2014

Available in Springer Computer Science eBooks 2014 English/International.

Elektronik Ekitap

3

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 /

Baskı/Yayın Bilgisi 2014

Available in Springer Computer Science eBooks 2014 English/International.

Elektronik Ekitap

4

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 /

Baskı/Yayın Bilgisi 2016

Available in Springer Computer Science eBooks 2016 English/International.

Elektronik Ekitap

5

Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part III /

Baskı/Yayın Bilgisi 2022

Available in Springer Computer Science eBooks 2022 English/International.

Elektronik Ekitap

6

Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part II /

Baskı/Yayın Bilgisi 2022

Available in Springer Computer Science eBooks 2022 English/International.

Elektronik Ekitap

7

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

Baskı/Yayın Bilgisi 2012

Available in Springer Computer Science eBooks 2012 English/International.

Elektronik Ekitap

8

Leveraging Applications of Formal Methods, Verification and Validation 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I /

Baskı/Yayın Bilgisi 2012

Available in Springer Computer Science eBooks 2012 English/International.

Elektronik Ekitap

9

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 /

Baskı/Yayın Bilgisi 2016

Available in Springer Computer Science eBooks 2016 English/International.

Elektronik Ekitap

10

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 /

Baskı/Yayın Bilgisi 2020

Available in Springer Computer Science eBooks 2020 English/International.

Elektronik Ekitap

11

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 /

Baskı/Yayın Bilgisi 2020

Available in Springer Computer Science eBooks 2020 English/International.

Elektronik Ekitap

12

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

Baskı/Yayın Bilgisi 2018

Available in Springer Computer Science eBooks 2018 English/International.

Elektronik Ekitap

13

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

Baskı/Yayın Bilgisi 2018

Available in Springer Computer Science eBooks 2018 English/International.

Elektronik Ekitap

14

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

Baskı/Yayın Bilgisi 2018

Available in Springer Computer Science eBooks 2018 English/International.

Elektronik Ekitap

15

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

Baskı/Yayın Bilgisi 2018

Available in Springer Computer Science eBooks 2018 English/International.

Elektronik Ekitap

16

Computing and Software Science State of the Art and Perspectives /

Baskı/Yayın Bilgisi 2019

Available in Springer Computer Science eBooks 2019 English/International.

Elektronik Ekitap

Aramayı Daralt