×

zbMATH — the first resource for mathematics

Found 5 Documents (Results 1–5)

100
MathJax
Gorrieri, Roberto (ed.) et al., Formal methods for open object-based distributed systems. 8th IFIP WG 6.1 international conference, FMOODS 2006, Bologna, Italy, June 14–16, 2006. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 4037, 218-232 (2006).
MSC:  68N19 68Q55
PDF BibTeX Cite
Full Text: DOI
Beckmann, Arnold (ed.) et al., Logical approaches to computational barriers. Second conference on computability in Europe, CiE 2006, Swansea, UK, June 30–July 5, 2006. Proceedings. Berlin: Springer (ISBN 3-540-35466-2/pbk). Lecture Notes in Computer Science 3988, 1-10 (2006).
MSC:  68N30 68Q55
PDF BibTeX Cite
Full Text: DOI
de Boer, Frank S. (ed.) et al., Formal methods for components and objects. Third international symposium, FMCO 2004, Leiden, The Netherlands, November 2–5, 2004. Revised lectures. Berlin: Springer (ISBN 3-540-29131-8/pbk). Lecture Notes in Computer Science 3657, 296-316 (2005).
MSC:  68N30 68N19
PDF BibTeX Cite
Full Text: DOI

Filter Results by …

Document Type
Year of Publication
Classification
all top 3
Software