×

zbMATH — the first resource for mathematics

Found 11 Documents (Results 1–11)

100
MathJax
Cambridge Tracts in Theoretical Computer Science 54. Cambridge: Cambridge University Press (ISBN 978-0-521-16932-5/pbk). xxii, 776 p. (2011).
PDF BibTeX XML Cite
Cambridge Tracts in Theoretical Computer Science. 54. Cambridge: Cambridge University Press. xxii, 776 p. (2001).
PDF BibTeX XML Cite
Ciancarini, Paolo (ed.) et al., Formal methods for open object-based distributed systems. FMOODS, IFIP TC6/ WG6.1 3rd international conference, Florence, Italy, February 15–18, 1999. Boston: Kluwer Academic Publishers. IFIP, International Federation for Information Processing. 10, 35-49 (1999).
MSC:  68T15 68Q10
PDF BibTeX XML Cite
Lecture Notes in Computer Science, 321. Berlin etc.: Springer-Verlag. VI, 272 p. DM 42.00 (1989).
Reviewer: T.Balanescu
PDF BibTeX XML Cite