Bockarova, Mariana (ed.); Danesi, Marcel (ed.); Núñez, Rafael (ed.) Semiotic and cognitive science essays on the nature of mathematics. (English) Zbl 1314.00079 Interdisciplinary Studies on the Nature of Mathematics 1. München: LINCOM Europa (ISBN 978-3-86288-332-5/hbk). 339 p. (2012). Reviewer: Haim Kilov (Millington) MSC: 00A30 00B15 03A05 03-06 68N30 18C99 PDF BibTeX XML Cite \textit{M. Bockarova} (ed.) et al., Semiotic and cognitive science essays on the nature of mathematics. München: LINCOM Europa (2012; Zbl 1314.00079)
Kourie, Derrick G.; Watson, Bruce W. The correctness-by-construction approach to programming. (English) Zbl 1278.68006 Berlin: Springer (ISBN 978-3-642-27918-8/hbk; 978-3-642-27919-5/ebook). xiii, 264 p. (2012). Reviewer: Haim Kilov (Millington) MSC: 68-01 68-02 68N30 68W05 PDF BibTeX XML Cite \textit{D. G. Kourie} and \textit{B. W. Watson}, The correctness-by-construction approach to programming. Berlin: Springer (2012; Zbl 1278.68006) Full Text: DOI
Bird, Richard Pearls of functional algorithm design. (English) Zbl 1229.68026 Cambridge: Cambridge University Press (ISBN 978-0-521-51338-8/hbk; 978-0-511-79588-6/ebook). xii, 277 p. (2010). Reviewer: Haim Kilov (Millington) MSC: 68N18 68-02 68N30 68W40 68W05 PDF BibTeX XML Cite \textit{R. Bird}, Pearls of functional algorithm design. Cambridge: Cambridge University Press (2010; Zbl 1229.68026)
Meyer, Bertrand Touch of class. Learning to program well with objects and contracts. (English) Zbl 1188.68098 Berlin: Springer (ISBN 978-3-540-92144-8/hbk). lxiv, 876 p. (2009). Reviewer: Haim Kilov (Millington) MSC: 68N01 68N15 68N99 68-01 PDF BibTeX XML Cite \textit{B. Meyer}, Touch of class. Learning to program well with objects and contracts. Berlin: Springer (2009; Zbl 1188.68098)
Manin, Yuri I. [Dyson, Freeman J.] Mathematics as metaphor. Selected essays of Yuri I. Manin. With foreword by Freeman J. Dyson. (English) Zbl 1172.00003 Providence, RI: American Mathematical Society (AMS) (ISBN 978-0-8218-4331-4/hbk). xvii, 232 p. (2007). Reviewer: Haim Kilov (Millington) MSC: 00A05 00A30 00A71 00A79 00B10 00B15 01A60 01A05 01-06 PDF BibTeX XML Cite \textit{Y. I. Manin}, Mathematics as metaphor. Selected essays of Yuri I. Manin. With foreword by Freeman J. Dyson. Providence, RI: American Mathematical Society (AMS) (2007; Zbl 1172.00003)
Hurd, Joe; McIver, Annabelle; Morgan, Carroll Probabilistic guarded commands mechanized in HOL. (English) Zbl 1272.68258 Cerone, A. (ed.) et al., Proceedings of the second workshop on quantitative aspects of programming languages (QAPL 2004), Barcelona, Spain, March 27–28, 2004. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 112, 95-111 (2005). MSC: 68Q60 68N30 68T15 PDF BibTeX XML Cite \textit{J. Hurd} et al., Electron. Notes Theor. Comput. Sci. 112, 95--111 (2005; Zbl 1272.68258) Full Text: Link
Dahl, Ole-Johan Verifiable programming. (English) Zbl 0790.68005 New York, NY etc.: Prentice Hall. IX, 269 p. (1992). Reviewer: H.Kilov (Millington) MSC: 68-02 68N01 68Q60 68Q65 PDF BibTeX XML Cite \textit{O.-J. Dahl}, Verifiable programming. New York, NY etc.: Prentice Hall (1992; Zbl 0790.68005)
Potter, Ben; Sinclair, Jane; Till, David An introduction to formal specification and Z. (English) Zbl 0745.68028 New York, NY etc.: Prentice-Hall. XIII, 304 p. (1991). Reviewer: H.Kilov (Morristown) MSC: 68N01 68Q45 68Q65 68-01 PDF BibTeX XML Cite \textit{B. Potter} et al., An introduction to formal specification and Z. New York, NY etc.: Prentice-Hall (1991; Zbl 0745.68028)
Diller, Antoni Z. An introduction to formal methods. (English) Zbl 0729.68044 Chichester etc.: John Wiley & Sons. XXI, 309 p. (1990). Reviewer: H.Kilov (Morristown) MSC: 68Q60 68Q45 68N01 68-01 PDF BibTeX XML Cite \textit{A. Diller}, Z. An introduction to formal methods. Chichester etc.: John Wiley \&| Sons (1990; Zbl 0729.68044)
Manes, Ernie Assertional categories. (English) Zbl 0678.68082 Mathematical foundations of programming language semantics, Proc. Workshop, New Orleans/La. 1987, Lect. Notes Comput. Sci. 298, 85-120 (1988). Reviewer: C.Dimitrovicí MSC: 68Q55 68Q60 PDF BibTeX XML
Er, M. C. The weakest liberal preconditions of nondeterministic machines and robust programs. (English) Zbl 0662.68055 J. Inf. Optim. Sci. 9, No. 3, 415-420 (1988). MSC: 68Q45 68Q60 PDF BibTeX XML Cite \textit{M. C. Er}, J. Inf. Optim. Sci. 9, No. 3, 415--420 (1988; Zbl 0662.68055) Full Text: DOI
Aspray, William The mathematical reception of the modern computer: John von Neumann and the Institute for Advanced Study computer. (English) Zbl 0643.01008 Studies in the history of mathematics, MAA Stud. Math. 26, 166-194 (1987). Reviewer: Haim Kilov (Millington) MSC: 01A60 68-03 PDF BibTeX XML
Hoare, C. A. R.; He, Jifeng; Sanders, J. W. Prespecification in data refinement. (English) Zbl 0624.68027 Inf. Process. Lett. 25, 71-76 (1987). MSC: 68P05 PDF BibTeX XML Cite \textit{C. A. R. Hoare} et al., Inf. Process. Lett. 25, 71--76 (1987; Zbl 0624.68027) Full Text: DOI
Kac, Mark Enigmas of chance. An autobiography. (English) Zbl 0604.01008 Alfred P. Sloan Foundation Series. New York etc.: Harper & Row, Publishers. XXVII, 163 p. $ 18.95; Dfl. 56.85 (1985). Reviewer: H.Kilov MSC: 01A70 01A80 PDF BibTeX XML
Oporowski, Bogdan Correctness of nondeterministic programs. (English) Zbl 0584.68027 Numerical methods and their applications, Proc. 8th Sess. Poznań Circle, Zesz. Nauk., Ser. I, Akad. Ekon. Poznań 132, 120-128 (1985). Reviewer: J.Albrycht MSC: 68Q60 PDF BibTeX XML
Horowitz, Ellis Fundamentals of programming languages. 2nd ed. (English) Zbl 0545.68002 Computer Software Engineering Series. Rockville, Maryland: Computer Science Press, Inc. XV, 446 p. $ 26.95 (1984). Reviewer: H.Kilov MSC: 68-01 68N01 PDF BibTeX XML
Makarov, V. P. On theory of abstract algorithms. (English. Russian original) Zbl 0539.68020 Autom. Doc. Math. Linguist. 16, No. 5, 61-75 (1982); translation from Nauchno-Tekh. Inf., Ser. 2 1982, No. 9, 35-40 (1982). Reviewer: A.Leitsch MSC: 68W99 68Q60 68Q55 PDF BibTeX XML Cite \textit{V. P. Makarov}, Autom. Doc. Math. Linguist. 16, No. 5, 61--75 (1982; Zbl 0539.68020); translation from Nauchno-Tekh. Inf., Ser. 2 1982, No. 9, 35--40 (1982)
Gries, David A note on a standard strategy for developing loop invariants and loops. (English) Zbl 0516.68008 Sci. Comput. Program. 2, 207-214 (1982). MSC: 68N01 PDF BibTeX XML Cite \textit{D. Gries}, Sci. Comput. Program. 2, 207--214 (1982; Zbl 0516.68008) Full Text: DOI Link
Abramov, S. A. Relationships in sets of semantic mappings and binary relations. (English) Zbl 0503.68019 U.S.S.R. Comput. Math. Math. Phys. 22, No. 1, 205-215 (1982). MSC: 68Q60 PDF BibTeX XML Cite \textit{S. A. Abramov}, U.S.S.R. Comput. Math. Math. Phys. 22, No. 1, 205--215 (1982; Zbl 0503.68019) Full Text: DOI
Constable, R. L.; Johnson, S. D.; Eichenlaub, C. D. An introduction to the PL/CV2 programming logic. (English) Zbl 0496.68008 Lecture Notes in Computer Science, 135. Berlin-Heidelberg-New York: Springer-Verlag. X, 292 p. DM 32.80; $ 14.60 (1982). MSC: 68-01 68N01 68Q65 PDF BibTeX XML
Abramov, S. A. Relationships in sets of semantic mappings and binary relations. (Russian) Zbl 0492.68022 Zh. Vychisl. Mat. Mat. Fiz. 22, 196-207 (1982). MSC: 68Q60 PDF BibTeX XML Cite \textit{S. A. Abramov}, Zh. Vychisl. Mat. Mat. Fiz. 22, 196--207 (1982; Zbl 0492.68022)
Boom, H. J. A weaker precondition for loops. (English) Zbl 0492.68014 ACM Trans. Program. Lang. Syst. 4, 668-677 (1982). MSC: 68N01 68Q60 PDF BibTeX XML Cite \textit{H. J. Boom}, ACM Trans. Program. Lang. Syst. 4, 668--677 (1982; Zbl 0492.68014) Full Text: DOI
Steiner, Juraj Axiomatic semantics of indirect addressing. (English) Zbl 0518.68011 Mathematical foundations of computer science 1981, Proc. 10th Symp., Strbske Pleso/Czech. 1981, Lect. Notes Comput. Sci. 118, 515-523 (1981). MSC: 68N01 68Q60 PDF BibTeX XML
Kobzev, M. S.; Gorbachev, N. A. Outstanding physicists and mathematicians about education and instruction. Textbook. (Выдающиеся физики и математики о воспитании и обучении. Учебное пособие.) (Russian) Zbl 0487.00017 Saratov: Izdatel’stvo Saratvoskogo Universiteta. 80 p. R. 0.15 (1981). Reviewer: H. Kilov MSC: 00A99 01A05 01A74 PDF BibTeX XML
Gries, David Basic axiomatic definitions. (English) Zbl 0401.68001 Program construction, int. Summer Sch., Marktoberdorf 1978, Lect. Notes Comput. Sci. 69, 94-99 (1979). MSC: 68Q60 68N01 PDF BibTeX XML
Horowitz, Ellis; Sahni, Sartaj Fundamentals of computer algorithms. (English) Zbl 0442.68022 Computer Software Engineering Series. Potomac, Maryland: Computer Science Press, Inc. XIV, 626 p. $ 19.95 (1978). MSC: 68W99 68-01 68N01 68Q25 PDF BibTeX XML