Zoeken

U zocht naar: Type e-book Filter Type: e-book weghalen
| 168,241 - 168,250 van 173,163 |
Aantal zoekresultaten per pagina

Zoekresultaten

168241. Verified Software. Theories, Tools, and Experiments
thumbnail
Full text!
Auteur:
Chakraborty; Navas, Jorge A.
Uitgever:
Springer International Publishing 2020
Type:
e-book
168242. Verified Software. Theories, Tools, and Experiments
thumbnail
Full text!
Auteur:
Paskevich; Wies, Thomas
Uitgever:
Springer International Publishing 2017
Type:
e-book
168243. Verified Software: Theories, Tools, and Experiments
thumbnail
Full text!
Auteur:
Arie Gurfinkel, Sanjit A. Seshia; Seshia, Sanjit A.
Uitgever:
Springer International Publishing 2016
Type:
e-book
168244. Verified Software. Theories, Tools, and Experiments
thumbnail
Full text!
Auteur:
Piskac; Philipp Rümmer; Rümmer, Philipp
Uitgever:
Springer International Publishing 2018
Type:
e-book
168245. Verified Software. Theories, Tools and Experiments : 14th International Conference, VSTTE 2022, Trento, Italy, October 17-18, 2022, Revised Selected Papers
thumbnail
Full text!
Auteur:
Lal, Akash.; Tonetta, Stefano
Uitgever:
Cham Springer International Publishing AG 2023
Type:
e-book
168246. Verified Software. Theories, Tools and Experiments: 16th International Conference, VSTTE 2024, Prague, Czech Republic, October 14–15, 2024, Revised Selected Papers
thumbnail
Full text!
Auteur:
Jonathan Protzenko
Uitgever:
Springer Nature 2025
Type:
e-book
168247. Verified Software: Theories, Tools, Experiments
thumbnail
Full text!
Auteur:
Leavens, Gary T.; Kanade, Takeo; O'Hearn, Peter; Rajamani, Sriram K.
Uitgever:
Springer Berlin Heidelberg 2010
Type:
e-book
168248. Verified Software: Theories, Tools, Experiments
thumbnail
Full text!
Auteur:
Hutchison, David; Kanade, Takeo; Müller, Peter; Podelski, Andreas
Uitgever:
Springer Berlin Heidelberg 2012
Type:
e-book
168249. Verified Software: Theories, Tools, Experiments
thumbnail
Full text!
Auteur:
Meyer, Bertrand; Kanade, Takeo; Woodcock, Jim; Kittler, Josef
Uitgever:
Springer Berlin Heidelberg 2008
Type:
e-book
168250. Verified Software: Theories, Tools, Experiments
thumbnail
Full text!
Auteur:
Shankar, Natarajan; Kanade, Takeo; Woodcock, Jim; Kittler, Josef
Uitgever:
Springer Berlin Heidelberg 2008
Type:
e-book