×

zbMATH — the first resource for mathematics

Found 29 Documents (Results 1–29)

100
MathJax
Garrigue, Jacques (ed.) et al., Proceedings of the 21st ACM SIGPLAN international conference on functional programming, ICFP ’16, Nara, Japan, September 18–22, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4219-3). 298-310 (2016).
MSC:  68N18 68Q60 68T15
PDF BibTeX Cite
Full Text: DOI
Goldsmith, Michael (ed.) et al., Proceedings of the 7th international workshop on automated verification of critical systems (AVoCS 2007), Oxford, UK, September 10–12, 2007. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 250, No. 1, 105-122 (2009).
MSC:  68Q85 68Q45 68Q60
PDF BibTeX Cite
Full Text: DOI
de Alfaro, Luca (ed.), Foundations of software science and computational structures. 12th international conference, FOSSACS 2009, held as part of the joint European conferences on theory and practice of software, ETAPS 2009, York, UK, March 22–29, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-00595-4/pbk). Lecture Notes in Computer Science 5504, 48-62 (2009).
MSC:  68Q85 68Q60
PDF BibTeX Cite
Full Text: DOI
Brookes, Steven (ed.), Proceedings of the 19th conference on mathematical foundations of programming semantics (MFPS XIX), Montreal, Canada, March 19–22, 2003. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 83, 113-129, electronic only (2003).
MSC:  68Q85 68Q60
PDF BibTeX Cite
Full Text: DOI
Amadio, Roberto (ed.) et al., CONCUR 2003 – concurrency theory. 14th international conference, Marseille, France, September 3–5, 2003. Proceedings. Berlin: Springer (ISBN 3-540-40753-7/pbk). Lect. Notes Comput. Sci. 2761, 193-207 (2003).
PDF BibTeX Cite
Full Text: DOI
Lecture Notes in Computer Science. 458. Berlin etc.: Springer-Verlag. VII, 536 p. (1990).
PDF BibTeX Cite

Filter Results by …

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