formalmethods | Booky.fi

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 €

User-Level Workflow Design - A Bioinformatics Perspective

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

47,20 €

Structured Object-Oriented Formal Language and Method : 7th International Workshop, SOFL+MSVL 2017, Xi'an, China, November

Tian, Cong; Nagoya, Fumiko; Liu, Shaoying; Duan, Zhenhua
Springer
2018
Pehmeäkantinen kirja

51,10 €

From Programs to Systems - The Systems Perspective in Computing - ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble

Bensalem, Saddek; Lakhnech, Yassine; Legay, Axel
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2014
Pehmeäkantinen kirja

49,20 €

Security Standardisation Research : 4th International Conference, SSR 2018, Darmstadt, Germany, November 26-27, 2018,

Cremers, Cas; Lehmann, Anja
Springer
2018
Pehmeäkantinen kirja

51,10 €

Quantitative Evaluation of Systems : 17th International Conference, QEST 2020, Vienna, Austria, August 31 – September 3,

Gribaudo, Marco; Jansen, David N.; Remke, Anne
Springer
2020
Pehmeäkantinen kirja

51,10 €

Theoretical Aspects of Computing – ICTAC 2020 - 17th International Colloquium, Macau, China, November 30 – December 4, 2020, Pro

Pun, Violet Ka I; Stolz, Volker; Simao, Adenilso
Springer Nature Switzerland AG
2020
Pehmeäkantinen kirja

51,10 €

Tools and Methods of Program Analysis : 5th International Conference, TMPA 2019, Tbilisi, Georgia, November 7–9, 2019,

Kalenkova, Anna; Lozano, Jose A.; Yavorskiy, Rostislav
Springer
2021
Pehmeäkantinen kirja

51,10 €

Application and Theory of Petri Nets and Concurrency - 35th International Conference, PETRI NETS 2014, Tunis, Tunisia, June 23-2

Ciardo, Gianfranco; Kindler, Ekkart
Springer International Publishing AG
2014
Pehmeäkantinen kirja

51,10 €

Formal Techniques for Distributed Objects, Components, and Systems - 34th IFIP WG 6.1 International Conference, FORTE 2014, Held

Ábrahám, Erika; Palamidessi, Catuscia
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2014
Pehmeäkantinen kirja

51,10 €

Tools and Algorithms for the Construction and Analysis of Systems - 20th International Conference, TACAS 2014, Held as Part of t

Abraham, Erika; Havelund, Klaus
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2014
Pehmeäkantinen kirja

51,10 €

Interactive Theorem Proving : 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014,

Klein, Gerwin; Gamboa, Ruben
Springer
2014
Pehmeäkantinen kirja

51,10 €

Computer Aided Verification - 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part

Chaudhuri, Swarat; Farzan, Azadeh
Springer International Publishing AG
2016
Pehmeäkantinen kirja

51,10 €

Understanding Programming Languages

Jones, Cliff B.
Springer
2020
Kovakantinen kirja

71,10 €

Monotonicity in Logic and Language - Second Tsinghua Interdisciplinary Workshop on Logic, Language and Meaning, TLLM 2020, Beiji

Deng, Dun; Liu, Fenrong; Liu, Mingming; Westerståhl, Dag
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2020
Pehmeäkantinen kirja

71,10 €

Verification and Evaluation of Computer and Communication Systems - 14th International Conference, VECoS 2020, Xi'an, China, Oct

Ben Hedia, Belgacem; Chen, Yu-Fang; Liu, Gaiyun; Yu, Zhenhua
Springer Nature Switzerland AG
2020
Pehmeäkantinen kirja

51,10 €

Operating Rules and Interoperability in Trans-National High-Speed Rail

Collart-Dutilleul, Simon
Springer Nature Switzerland AG
2021
Kovakantinen kirja

155,50 €

Understanding Programming Languages

Jones, Cliff B.
Springer
2021
Pehmeäkantinen kirja

51,10 €

Engineering of Complex Computer Systems

Zhou, Yuan; Teo, Sin G.; Xie, Xiaofei; Ding, Zuohua; Liu, Yang
Springer
2025
Pehmeäkantinen kirja

141,40 €