×

zbMATH — the first resource for mathematics

Found 11 Documents (Results 1–11)

100
MathJax
Electronic Notes in Theoretical Computer Science 191. Amsterdam: Elsevier. 113 p., electronic only (2007).
MSC:  68-06 68Q60 00B25
PDF BibTeX XML Cite
Full Text: Link
Namjoshi, Kedar S. (ed.) et al., Automated technology for verification and analysis. 5th international symposium, ATVA 2007 Tokyo, Japan, October 22–25, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-75595-1/pbk). Lecture Notes in Computer Science 4762, 347-361 (2007).
MSC:  68Q60 68T15
PDF BibTeX XML Cite
Full Text: DOI
Johnson, Michael (ed.) et al., Algebraic methodology and software technology. 11th international conference, AMAST 2006, Kuressaare, Estonia, July 5–8, 2006. Proceedings. Berlin: Springer (ISBN 978-3-540-35633-2/pbk). Lecture Notes in Computer Science 4019, 248-262 (2006).
MSC:  68N30
PDF BibTeX XML Cite
Full Text: DOI
Lecture Notes in Computer Science 3771. Berlin: Springer (ISBN 978-3-540-30492-0/pbk). xi, 407 p. (2005).
MSC:  68-06 68Q60 00B25
PDF BibTeX XML Cite
Full Text: DOI
Cerioli, Maura (ed.), Fundamental approaches to software engineering. 8th international conference, FASE 2005, held as part of the joint European conferences on theory and practice of software, ETAPS 2005, Edinburgh, UK, April 4–8, 2005. Proceedings. Berlin: Springer (ISBN 3-540-25420-X/pbk). Lecture Notes in Computer Science 3442, 273-288 (2005).
MSC:  68Q60
PDF BibTeX XML Cite
Full Text: DOI
Margaria, Tiziana (ed.) et al., Tools and algorithms for the construction and analysis of systems. 7th international conference, TACAS 2001, held as part of the joint European conferences on theory and practice of software, ETAPS 2001, Genova, Italy, April 2-6, 2001. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2031, 189-203 (2001).
MSC:  68Q60 68Q85
PDF BibTeX XML Cite
Full Text: Link