Die Inhalte dieser Webseite enthalten Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten.

Model Checking Software: 27th International Symposium, SPIN 2021, Virtual Event,

Ø 0.0

0 Bewertungen

69,60 €

This book constitutes the refereed proceedings of the 27th International Symposium on Model Checking Software, SPIN 2021, held virtually in July 2021. The 3 full papers, 4 tool papers, and 1 case study presented together with 2 invited talks were carefully reviewed and selected from 20 submissions.

Jetzt bei Ebay:

Zum Angebot *

ISBN-13:

9783030846282
Book Title:

Model Checking Software
ISBN:

9783030846282

None:

International Standard : tracked-no signature (7 to 15 business days) 17,76 EUR - Lieferung zwischen 20. May 2025 und 30. May 2025 (bei heutigem Zahlungseingang)
Versand nach:

Weltweit
Versand ausgeschlossen:

Amerikanisch-Samoa , Fidschi , Französisch-Polynesien , Neukaledonien , Papua-Neuguinea , Tonga , Tuvalu , Vanuatu , Samoa (Westsamoa) , Algerien , ... und weitere

Model Checking Software: 27th International Symposium, SPIN 2021, Virtual Event,

End-User Development: 8th International Symposium, IS-EUD 2021, Virtual Event, J

Search-Based Software Engineering: 13th International Symposium, SSBSE 2021, Bar

Static Analysis: 27th International Symposium, SAS 2020, Virtual Event, November

Model Checking Software: 26th International Symposium, SPIN 2019, Beijing, China

Ubiquitous Networking: 7th International Symposium, UNet 2021, Virtual Event, Ma

Business Modeling and Software Design: 11th International Symposium, BMSD 2021,

Model Checking Software : 9th International Spin Workshop, Grenoble, France, ...

Model Checking Software: 10th International SPIN Workshop. Portland, OR, USA, Ma

Model Checking Software: 11th International SPIN Workshop, Barcelona, Spain, Apr

Model Checking Software: 18th International SPIN Workshop, Snowbird, UT, USA, Ju

Model Checking Software: 14th International SPIN Workshop, Berlin, Germany, July

Business Modeling and Software Design: First International Symposium, BMSD 2011,

NASA Formal Methods: 13th International Symposium, NFM 2021, Virtual Event, May

Model Checking Software: 25th International Symposium, SPIN 2018, Malaga, Spain,

Model Checking Software: 28th International Symposium, Spin 2022, Virtual Event,

Model Checking Software: 19th International SPIN Workshop, Oxford, UK, July 23-2

Distributed Computing: 27th International Symposium, DISC 2013, Jerusalem, Israe

Model Checking Software: 20th International Symposium, SPIN 2013, Stony Brook, N

Model Checking Software: 9th International SPIN Workshop Grenoble, France, April

Intelligent Tutoring Systems: 17th International Conference, ITS 2021, Virtual E

Model Checking Software: 27th International Symposium, SPIN 2021, Virtual Event,

Ähnliche Artikel

End-User Development: 8th International Symposium, IS-EUD 2021, Virtual Event, J

Search-Based Software Engineering: 13th International Symposium, SSBSE 2021, Bar

Static Analysis: 27th International Symposium, SAS 2020, Virtual Event, November

Model Checking Software: 26th International Symposium, SPIN 2019, Beijing, China

Ubiquitous Networking: 7th International Symposium, UNet 2021, Virtual Event, Ma

Business Modeling and Software Design: 11th International Symposium, BMSD 2021,

Model Checking Software : 9th International Spin Workshop, Grenoble, France, ...

Model Checking Software: 10th International SPIN Workshop. Portland, OR, USA, Ma

Model Checking Software: 11th International SPIN Workshop, Barcelona, Spain, Apr

Model Checking Software: 18th International SPIN Workshop, Snowbird, UT, USA, Ju

Model Checking Software: 14th International SPIN Workshop, Berlin, Germany, July

Business Modeling and Software Design: First International Symposium, BMSD 2011,

NASA Formal Methods: 13th International Symposium, NFM 2021, Virtual Event, May

Model Checking Software: 25th International Symposium, SPIN 2018, Malaga, Spain,

Model Checking Software: 28th International Symposium, Spin 2022, Virtual Event,

Model Checking Software: 19th International SPIN Workshop, Oxford, UK, July 23-2

Distributed Computing: 27th International Symposium, DISC 2013, Jerusalem, Israe

Model Checking Software: 20th International Symposium, SPIN 2013, Stony Brook, N

Model Checking Software: 9th International SPIN Workshop Grenoble, France, April

Intelligent Tutoring Systems: 17th International Conference, ITS 2021, Virtual E

Cookie Hinweis