checking | Booky.fi

Formal Methods: Foundations and Applications : 28th Brazilian Symposium, SBMF 2025, Recife, Brazil, December 3–5, 2025,

ter Beek, Maurice H.; Teixeira, Leopoldo
Springer
2025
Pehmeäkantinen kirja

78,70 €

Testing Software and Systems - 27th IFIP WG 6.1 International Conference, ICTSS 2015, Sharjah and Dubai, United Arab Emirates, N

El-Fakih, Khaled; Barlas, Gerassimos; Yevtushenko, Nina
Springer International Publishing AG
2015
Pehmeäkantinen kirja

51,10 €

Graph Transformation - 9th International Conference, ICGT 2016, in Memory of Hartmut Ehrig, Held as Part of STAF 2016, Vienna, A

Echahed, Rachid; Minas, Mark
Springer International Publishing AG
2016
Pehmeäkantinen kirja

51,10 €

Concise Introduction to Alternating-Time Temporal Logics : A Guide for Understanding the Model-Checking Problem

Demri, Stéphane
Birkhäuser
2026
Kovakantinen kirja

51,10 €

Formal Methods for Industrial Critical Systems : 30th International Conference, FMICS 2025, Aarhus, Denmark, August

Remke, Anne; Steffen, Bernhard
Springer
2025
Pehmeäkantinen kirja

80,20 €

Deductive Software Verification: Future Perspectives - Reflections on the Occasion of 20 Years of KeY

Ahrendt, Wolfgang; Beckert, Bernhard; Bubel, Richard; Hähnle, Reiner; Ulbrich, Mattias
Springer Nature Switzerland AG
2020
Pehmeäkantinen kirja

51,10 €

Disinformation : A Multi-Disciplinary Analysis

Ginsborg, Lisa; Gori, Paula
Springer
2026
Kovakantinen kirja

190,90 €

Software Engineering and Formal Methods - 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings

Calinescu, Radu; Rumpe, Bernhard
Springer International Publishing AG
2015
Pehmeäkantinen kirja

51,10 €

Membrane Computing - 16th International Conference, CMC 2015, Valencia, Spain, August 17-21, 2015, Revised Selected Papers

Rozenberg, Grzegorz; Salomaa, Arto; Sempere, José M.; Zandron, Claudio
Springer International Publishing AG
2016
Pehmeäkantinen kirja

51,10 €

Verification, Model Checking, and Abstract Interpretation - 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA,

Jobstmann, Barbara; Leino, K. Rustan M.
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2015
Pehmeäkantinen kirja

51,10 €

User-Level Workflow Design - A Bioinformatics Perspective

Lamprecht, Anna-Lena
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2013
Pehmeäkantinen kirja

47,20 €

Formal Methods for Industrial Critical Systems - 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 20

Howar, Falk; Barnat, Jiří
Springer Nature Switzerland AG
2018
Pehmeäkantinen kirja

51,10 €

Software Technologies: Applications and Foundations - STAF 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018, Revise

Mazzara, Manuel; Ober, Iulian; Salaün, Gwen
Springer Nature Switzerland AG
2018
Pehmeäkantinen kirja

51,10 €

Automated Technology for Verification and Analysis - 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 20

Finkbeiner, Bernd; Pu, Geguang; Zhang, Lijun
Springer International Publishing AG
2015
Pehmeäkantinen kirja

51,10 €

Computational Methods in Systems Biology - 15th International Conference, CMSB 2017, Darmstadt, Germany, September 27–29, 2017,

Feret, Jérôme; Koeppl, Heinz
Springer International Publishing AG
2017
Pehmeäkantinen kirja

51,10 €

Principles and Practice of Constraint Programming - 26th International Conference, CP 2020, Louvain-la-Neuve, Belgium, September

Simonis, Helmut
Springer Nature Switzerland AG
2020
Pehmeäkantinen kirja

137,30 €

Data Integration in the Life Sciences - 11th International Conference, DILS 2015, Los Angeles, CA, USA, July 9-10, 2015, Proceed

Ashish, Naveen; Ambite, Jose-Luis
Springer International Publishing AG
2015
Pehmeäkantinen kirja

49,20 €

Programming Languages and Systems - 13th Asian Symposium, APLAS 2015, Pohang, South Korea, November 30 - December 2, 2015, Proce

Feng, Xinyu; Park, Sungwoo
Springer International Publishing AG
2015
Pehmeäkantinen kirja

51,10 €

Software Engineering and Formal Methods - 14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria,

De Nicola, Rocco; Kühn, Eva
Springer International Publishing AG
2016
Pehmeäkantinen kirja

51,10 €

Formal Methods: Foundations and Applications - 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceed

Ribeiro, Leila; Lecomte, Thierry
Springer International Publishing AG
2016
Pehmeäkantinen kirja

51,10 €