×

zbMATH — the first resource for mathematics

Found 271 Documents (Results 1–100)

100
MathJax
Ribeiro, Pedro (ed.) et al., Unifying theories of programming. 7th international symposium, UTP 2019, dedicated to Tony Hoare on the occasion of his 85th birthday, Porto, Portugal, October 8, 2019. Proceedings. Cham: Springer (ISBN 978-3-030-31037-0/pbk; 978-3-030-31038-7/ebook). Lecture Notes in Computer Science 11885, 3-21 (2019).
Reviewer: Reviewer (Berlin)
MSC:  68N30
PDF BibTeX XML Cite
Full Text: DOI
Hackensack, NJ: World Scientific (ISBN 978-981-02-2566-7/hbk; 978-981-28-1402-9/ebook). xv, 245 p. (2010).
PDF BibTeX XML Cite
Full Text: Link
Machado, Patricia D. L. (ed.), Proceedings of the 11th Brazilian symposium on formal methods (SBMF 2008) Salvador, Brazil, August 26–29, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 240, 149-166 (2009).
Reviewer: Reviewer (Berlin)
MSC:  68Q85 68Q55 68Q60
PDF BibTeX XML Cite
Full Text: DOI
Chen, Yixiang (ed.) et al., Proceedings of the 1st international conference on foundations of informatics, computing and software (FICS 2008), East China Normal University, Shanghai, China, June 3–6, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 212, 3-25 (2008).
Reviewer: Reviewer (Berlin)
PDF BibTeX XML Cite
Full Text: DOI
Grumberg, Orna (ed.) et al., 25 years of model checking. History, achievements, perspectives. Berlin: Springer (ISBN 978-3-540-69849-4/pbk). Lecture Notes in Computer Science 5000, 216-230 (2008).
Reviewer: Reviewer (Berlin)
MSC:  68Q60 68Q85
PDF BibTeX XML Cite
Full Text: DOI
Barkaoui, Kamel (ed.) et al., Theoretical aspects of computing – ICTAC 2006. Third international colloquium, Tunis, Tunisia, November 20–24, 2006. Proceedings. Berlin: Springer (ISBN 978-3-540-48815-6/pbk). Lecture Notes in Computer Science 4281, 123-137 (2006).
Reviewer: Reviewer (Berlin)
MSC:  68Q85
PDF BibTeX XML Cite
Full Text: DOI
Fitzgerald, John (ed.) et al., FM 2005: Formal methods. International symposium of formal methods Europe, Newcastle, UK, July 18–22, 2005. Proceedings. Berlin: Springer (ISBN 3-540-27882-6/pbk). Lecture Notes in Computer Science 3582, 481-496 (2005).
Reviewer: Reviewer (Berlin)
MSC:  68Q60 68Q85
PDF BibTeX XML Cite
Full Text: DOI
Texts in Theoretical Computer Science. An EATCS Series. Berlin: Springer (ISBN 3-540-21150-0/hbk). xxiv, 777 p. (2006).
PDF BibTeX XML Cite
Full Text: DOI
Concurrent Systems Engineering Series 60. Amsterdam: IOS Press (ISBN 1-58603-268-2/pbk). 396 p. (2002).
Reviewer: Reviewer (Berlin)
MSC:  68Q10 68-06 68M99
PDF BibTeX XML Cite
Concurrent Systems Engineering Series 59. Amsterdam: IOS Press; Tokyo: Ohmsha (ISBN 1-58603-202-X/pbk; 4-274-90467-9/pbk). viii, 351 p. (2001).
Reviewer: Reviewer (Berlin)
MSC:  68M14
PDF BibTeX XML Cite
Oliveira, José Nuno (ed.) et al., FME 2001: Formal methods for increasing software productivity. International symposium of formal methods Europe, Berlin, Germany, March 12-16, 2001. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2021, 364-383 (2001).
Reviewer: Reviewer (Berlin)
MSC:  68U99 68Q65
PDF BibTeX XML Cite
Full Text: Link
Monographs in Computer Science. New York, NY: Springer. xv, 348 p. (2001).
PDF BibTeX XML Cite
Full Text: DOI
Grundy, Jim (ed.) et al., International refinement workshop and formal methods Pacific 1998. Proceedings of IRW/FMP ’98. Canberra, Australia, September 29 - October 2, 1998. Berlin: Springer. Springer Series in Discrete Mathematics and Theoretical Computer Science. 334-351 (1998).
Reviewer: Reviewer (Berlin)
MSC:  68Q60
PDF BibTeX XML Cite
Teubner-Reihe Wirtschaftsinformatik. Leipzig: Teubner. 260 S. DM 66.00; öS 482.00; sFr. 59.00 (1998).
PDF BibTeX XML Cite
Edalat, Abbas (ed.) et al., Comprox III. 3rd workshop on Computation and approximation. Birmingham, GB, September 11–13, 1997. Amsterdam: Elsevier, Electronic Notes in Theoretical Computer Science. 13, electronic paper No. 14 (1997).
Reviewer: Reviewer (Berlin)
MSC:  68Q55
PDF BibTeX XML Cite
Full Text: Link
Workshops in Computing. London: Springer-Verlag (in coll. with the British Computer Society). x, 359 p. (1995).
Reviewer: Reviewer (Berlin)
MSC:  68W30 68-06 00B25
PDF BibTeX XML Cite
Droste, Manfred (ed.) et al., Semantics of programming languages and model theory. Papers presented at the international conference and Research Center for Computer Science, Schloß Dägstuhl, Germany, June 23-29, 1991. Yverdon: Gordon and Breach Science Publishers. Algebra Log. Appl. 5, 213-243 (1993).
Reviewer: Reviewer (Berlin)
MSC:  68Q10 68Q55 06A06
PDF BibTeX XML Cite

Filter Results by …

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