×

zbMATH — the first resource for mathematics

Found 3 Documents (Results 1–3)

100
MathJax
Voronkov, Andrei (ed.) et al., Programming logics. Essays in memory of Harald Ganzinger. Berlin: Springer (ISBN 978-3-642-37650-4/pbk). Lecture Notes in Computer Science 7797, 414-445 (2013).
MSC:  68N30 03B70 68Q55
PDF BibTeX XML Cite
Full Text: DOI
D’Souza, Deepak (ed.) et al., Modern applications of automata theory. Dedicated to the memory of Professor Priti Shankar. Foreword by Reinhard Wilhelm. Hackensack, NJ: World Scientific; Bangalore: IISc Press (ISBN 978-981-4271-04-2/hbk; 978-981-4271-05-9/ebook). IISc Research Monographs Series 2, 373-414 (2012).
MSC:  68Q60 68Q45
PDF BibTeX XML Cite
Full Text: DOI
Barthe, Gilles (ed.) et al., Verification, model checking, and abstract interpretation. 11th international conference, VMCAI 2010, Madrid, Spain, January 17–19, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-11318-5/pbk). Lecture Notes in Computer Science 5944, 214-230 (2010).
MSC:  68N30 68P05
PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

Year of Publication
Classification
all top 3
Software