×

Found 4 Documents (Results 1–4)

Unifying theories of programming. 6th international symposium, UTP 2016, Reykjavik, Iceland, June 4–5, 2016. Revised selected papers. (English) Zbl 1355.68010

Lecture Notes in Computer Science 10134. Cham: Springer (ISBN 978-3-319-52227-2/pbk; 978-3-319-52228-9/ebook). ix, 217 p. (2017).
MSC:  68-06 68N30 00B25
PDFBibTeX XMLCite
Full Text: DOI

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. (English) Zbl 1320.68021

Lecture Notes in Computer Science 8050. Berlin: Springer (ISBN 978-3-642-39720-2/pbk; 978-3-642-39721-9/ebook). xi, 283 p. (2013).
PDFBibTeX XMLCite
Full Text: DOI

Theoretical aspects of computing – ICTAC 2013. 10th international colloquium, Shanghai, China, September 4–6, 2013. Proceedings. (English) Zbl 1271.68048

Lecture Notes in Computer Science 8049. Berlin: Springer (ISBN 978-3-642-39717-2/pbk). xii, 445 p. (2013).
MSC:  68-06 68Qxx 00B25
PDFBibTeX XMLCite
Full Text: DOI

Theories of programming and formal methods. Essays dedicated to Jifeng He on the occasion of his 70th birthday. (English) Zbl 1269.68023

Lecture Notes in Computer Science 8051. Berlin: Springer (ISBN 978-3-642-39697-7/pbk). xii, 413 p. (2013).
MSC:  68-06 68Nxx 00B30
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Year of Publication

Main Field

Biographic Reference