×

zbMATH — the first resource for mathematics

Found 17 Documents (Results 1–17)

100
MathJax
Wolff, Burkhart (ed.) et al., Unifying theories of programming. Fourth international symposium, UTP 2012, Paris, France, August 27–28, 2012. Revised selected papers. Berlin: Springer. Lect. Notes Comput. Sci. 7681, 204-223 (2013).
MSC:  68N30 68N19 68Q55
PDF BibTeX XML Cite
Full Text: DOI
Liu, Zhiming (ed.) et al., Unifying theories of programming and formal engineering methods. International training school on software engineering, held at ICTAC 2013, Shanghai, China, August 26–30, 2013. Advanced lectures. Berlin: Springer. Lect. Notes Comput. Sci. 8050, 1-66 (2013).
MSC:  68N30
PDF BibTeX XML Cite
Full Text: DOI
Liu, Zhiming (ed.) et al., Theories of programming and formal methods. Essays dedicated to Jifeng He on the occasion of his 70th birthday. Berlin: Springer (ISBN 978-3-642-39697-7/pbk). Lecture Notes in Computer Science 8051, 374-393 (2013).
PDF BibTeX XML Cite
Full Text: DOI
Liu, Zhiming (ed.) et al., Theories of programming and formal methods. Essays dedicated to Jifeng He on the occasion of his 70th birthday. Berlin: Springer (ISBN 978-3-642-39697-7/pbk). Lecture Notes in Computer Science 8051, 136-150 (2013).
MSC:  68N30 68Q45
PDF BibTeX XML Cite
Full Text: DOI
Cerone, Antonio (ed.) et al., Theoretical aspects of computing – ICTAC 2011. 8th international colloquium, Johannesburg, South Africa, August 31 – September 2, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-23282-4/pbk). Lecture Notes in Computer Science 6916, 154-172 (2011).
MSC:  68Q60 68N19 68Q55
PDF BibTeX XML Cite
Full Text: DOI
Davies, Jim (ed.) et al., Formal methods: foundations and applications. 13th Brazilian symposium on formal methods, SBMF 2010, Natal, Brazil, November 8–11, 2010. Revised selected papers. Berlin: Springer (ISBN 978-3-642-19828-1/pbk). Lecture Notes in Computer Science 6527, 258-273 (2011).
MSC:  68N30 68T15
PDF BibTeX XML Cite
Full Text: DOI
Moreira, Anamaria Martins (ed.) et al., Proceedings of the Brazilian symposium on formal methods (SBMF 2006), Natal, Rio Grande de Norte, Brazil, September 17–23, 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 195, 151-170 (2008).
MSC:  68Q55 68N30
PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

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