×

zbMATH — the first resource for mathematics

Found 14 Documents (Results 1–14)

100
MathJax
De Nicola, Rocco (ed.) et al., Software, services, and systems. Essays dedicated to Martin Wirsing on the occasion of his retirement from the chair of programming and software engineering, Munich, Germany, 2015. Essays. Cham: Springer. Lect. Notes Comput. Sci. 8950, 409-439 (2015).
MSC:  68N01
PDF BibTeX XML Cite
Full Text: DOI
Bensalem, Saddek (ed.) et al., From programs to systems. The systems perspective in computing. ETAPS workshop, FPS 2014, in honor of Joseph Sifakis, Grenoble, France, April 6, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8415, 249-266 (2014).
MSC:  68Q60
PDF BibTeX XML Cite
Full Text: DOI
de Boer, Frank S. (ed.) et al., Formal methods for components and objects. 6th international symposium, FMCO 2007, Amsterdam, The Netherlands, October 24–26, 2007. Revised lectures. Berlin: Springer (ISBN 978-3-540-92187-5/pbk). Lecture Notes in Computer Science 5382, 179-199 (2008).
MSC:  68N30 68Q55
PDF BibTeX XML Cite
Full Text: DOI