×

zbMATH — the first resource for mathematics

Found 113 Documents (Results 1–100)

100
MathJax
Ábrahám, Erika (ed.) et al., Theory and practice of formal methods. Essays dedicated to Frank de Boer on the occasion of his 60th birthday. Cham: Springer (ISBN 978-3-319-30733-6/pbk; 978-3-319-30734-3/ebook). Lecture Notes in Computer Science 9660, 173-193 (2016).
MSC:  68N30 68Q60
PDF BibTeX XML Cite
Full Text: DOI
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
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
Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’10, Madrid, Spain, January 17–23, 2010. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-60558-479-9). 377-388 (2010).
MSC:  68N20 68N15
PDF BibTeX XML Cite
Full Text: DOI
Bowman, Howard (ed.) et al., Formal methods for distributed processing. A survey of object-oriented approaches. Cambridge: Cambridge University Press (ISBN 978-0-521-16875-5/pbk). 105-125 (2010).
MSC:  68N30 68N19 68Q60
PDF BibTeX XML Cite
Undergraduate Topics in Computer Science. London: Springer (ISBN 978-1-84882-913-8/pbk; 978-1-84882-914-5/ebook). xix, 440 p. (2010).
PDF BibTeX XML Cite
Full Text: DOI
Xpert.press. Berlin: Springer (ISBN 978-3-540-23869-0/hbk; 978-3-540-68844-0/ebook). xxiv, 1335 p. (2009).
PDF BibTeX XML Cite
Full Text: DOI
Furbach, Ulrich (ed.) et al., Automated reasoning. Third international joint conference, IJCAR 2006, Seattle, WA, USA, August 17–20, 2006. Proceedings. Berlin: Springer (ISBN 978-3-540-37187-8/pbk). Lecture Notes in Computer Science 4130. Lecture Notes in Artificial Intelligence, 266-280 (2006).
MSC:  03B70 68N30
PDF BibTeX XML Cite
Full Text: DOI
Dang Van Hung (ed.) et al., Theoretical aspects of computing – ICTAC 2005. Second international colloquium, Hanoi, Vietnam, October 17–21, 2005. Proceedings. Berlin: Springer (ISBN 3-540-29107-5/pbk). Lecture Notes in Computer Science 3722, 485-500 (2005).
MSC:  68N19
PDF BibTeX XML Cite
Full Text: DOI
de Boer, Frank S. (ed.) et al., Formal methods for components and objects. Third international symposium, FMCO 2004, Leiden, The Netherlands, November 2–5, 2004. Revised lectures. Berlin: Springer (ISBN 3-540-29131-8/pbk). Lecture Notes in Computer Science 3657, 183-221 (2005).
MSC:  68N30 68N19
PDF BibTeX XML Cite
Full Text: DOI
Treharne, Helen (ed.) et al., ZB 2005: Formal specification and development in Z and B. 4th international conference of B and Z users, Guildford, UK, April 13–15, 2005. Proceedings. Berlin: Springer (ISBN 3-540-25559-1/pbk). Lecture Notes in Computer Science 3455, 262-278 (2005).
MSC:  68Q60
PDF BibTeX XML Cite
Full Text: DOI
New York, NY: ACM Press (ISBN 1-59593-090-6). 251 p., electronic. (2005).
PDF BibTeX XML Cite
Full Text: Link
Chin, Wei-Ngan (ed.), Programming languages and systems. Second Asian symposium, APLAS 2004, Taipei, Taiwan, November 4–6, 2004. Proceedings. Berlin: Springer (ISBN 3-540-23724-0/pbk). Lecture Notes in Computer Science 3302, 415-436 (2004).
MSC:  68N15 68N19
PDF BibTeX XML Cite
Full Text: DOI
van der Aalst, Wil (ed.) et al., Applications and theory of Petri nets 2003. 24th international conference, ICATPN 2003, Einhoven, The Netherlands, June 23–27, 2003. Proceedings. Berlin: Springer (ISBN 3-540-40334-5/pbk). Lecture Notes in Computer Science 2679, 44-63 (2003).
MSC:  68Q85
PDF BibTeX XML Cite
Full Text: DOI
Najm, Elie (ed.) et al., Formal methods for open object-based distributed systems. 6th IFIP WG 6.1 international conference, FMOODS 2003, Paris, France, November 19–21, 2003. Proceedings. Berlin: Springer (ISBN 3-540-20491-1/pbk). Lect. Notes Comput. Sci. 2884, 155-169 (2003).
MSC:  68N15 03B70 68N19
PDF BibTeX XML Cite
Full Text: DOI
Wiesbaden: Vieweg (ISBN 3-528-35355-4/pbk). viii, 465 S. (2003).
MSC:  68N99 68-01
PDF BibTeX XML Cite
Bert, Didier (ed.) et al., ZB 2003: Formal specification and development in Z and B. Third international conference of B and Z users, Turku, Finland, June 4-6, 2003. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2651, 528-545 (2003).
MSC:  68Q60 68N30
PDF BibTeX XML Cite
Full Text: Link
Eriksson, Lars-Henrik (ed.) et al., FME 2002: Formal methods - getting IT right. International symposium of formal methods Europe, Copenhagen, Denmark, July 22–24, 2002. Proceedings. Berlin: Springer (ISBN 3-540-43928-5). Lect. Notes Comput. Sci. 2391, 471-490 (2002).
MSC:  68N30
PDF BibTeX XML Cite
Full Text: Link
Bosch, Jan (ed.) et al., Software architecture. System design, development and maintenance. IFIP 17th world computer congress – TC2 stream / 3rd working IEEE/IFIP conference on software architecture (WICSA3), August 25–30, 2002, Montréal, Québec, Canada. Boston, MA: Kluwer Academic Publishers (ISBN 1-4020-7176-0/hbk). IFIP, Int. Fed. Inf. Process. 97, 221-235 (2002).
MSC:  68N99
PDF BibTeX XML Cite
George, Chris (ed.) et al., Formal methods and software engineering. 4th international conference on formal engineering methods, ICFEM 2002, Shanghai, China, October 21-25, 2002. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2495, 535-547 (2002).
MSC:  68U99 68N99 68N19
PDF BibTeX XML Cite
Full Text: Link
Jacobs, Bart (ed.) et al., Formal methods for open object-based distributed systems V. IFIP TC6/ WG6.1 5th international conference, FMOODS 2002, Enschede, the Netherlands, March 20–22, 2002. Boston: Kluwer Academic Publishers (ISBN 0-7923-7683-8). IFIP, Int. Fed. Inf. Process. 81, 95-110 (2002).
MSC:  68N19 68Q85
PDF BibTeX XML Cite
Jacobs, Bart (ed.) et al., Formal methods for open object-based distributed systems V. IFIP TC6/ WG6.1 5th international conference, FMOODS 2002, Enschede, the Netherlands, March 20–22, 2002. Boston: Kluwer Academic Publishers (ISBN 0-7923-7683-8). IFIP, Int. Fed. Inf. Process. 81, 45-60 (2002).
MSC:  68Q65 68M14
PDF BibTeX XML Cite
Bjørner, Dines (ed.) et al., Perspectives of system informatics. 4th international Andrei Ershov memorial conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2–6, 2001. Revised papers. Berlin: Springer (ISBN 3-540-43075-X). Lect. Notes Comput. Sci. 2244, 279-286 (2001).
MSC:  68Q85 68N30
PDF BibTeX XML Cite
Full Text: Link
Cambridge: Cambridge University Press. New York, NY: SIGS Books, xxix, 476 p. (1998).
PDF BibTeX XML Cite
Full Text: DOI
Berichte der Gesellschaft für Mathematik und Datenverarbeitung (GMD-Berichte). 252. München: Oldenbourg. 138 p. (1995).
MSC:  68N25 68-02
PDF BibTeX XML Cite

Filter Results by …

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