×

zbMATH — the first resource for mathematics

Found 10 Documents (Results 1–10)

100
MathJax
Wang, Farn (ed.), Formal techniques for networked and distributed systems – FORTE 2005. 25th IFIP WG 6.1 international conference, Taipei, Taiwan, October 2–5, 2005. Proceedings. Berlin: Springer (ISBN 3-540-29189-X/pbk). Lecture Notes in Computer Science 3731, 335-350 (2005).
MSC:  68Q85
PDF BibTeX XML Cite
Full Text: DOI
Walukiewicz, Igor (ed.), Foundations of software science and computation structures. 7th international conference, FOSSACS 2004, held as part of the joint European conferences on theory and practice of software, ETAPS 2004, Barcelona, Spain, March 29 – April 2, 2004. Procedings. Berlin: Springer (ISBN 3-540-21298-1/pbk). Lecture Notes in Computer Science 2987, 241-256 (2004).
MSC:  68Q85 68N30
PDF BibTeX XML Cite
Full Text: DOI
Gordon, Andrew D. (ed.), Foundations of software science and computations structure. 6th international conference, FOSSACS 2003, held as part of the joint European conferences on theory and practice of software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2620, 282-298 (2003).
MSC:  68Q85 68M14 03B70
PDF BibTeX XML Cite
Full Text: Link
Harland, James (ed.), CATS’02. Computing: the Australasian theory symposium. Proceedings of the 8th symposium, Monash, Australia, January 28 – February 1, 2002. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 61, 122-139 (2002).
MSC:  68Q85
PDF BibTeX XML Cite
Full Text: DOI
Abadi, MartĂ­n (ed.) et al., Theoretical aspects of computer software. 3rd international symposium, TACS ’97. Sendai, Japan, September 23–26, 1997. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1281, 250-266 (1997).
MSC:  03B45 03B80 68Q10
PDF BibTeX XML Cite

Filter Results by …

Document Type
all top 5
Year of Publication
Classification
all top 3
Software