Zobrazeno 1 - 10
of 129
pro vyhledávání: '"Schwartz, J. T."'
Autor:
Coppage, Samuel, Schwartz, J. T.
Publikováno v:
The American Mathematical Monthly, 1976 Nov 01. 83(9), 711-718.
Externí odkaz:
https://www.jstor.org/stable/2318951
Publikováno v:
Transactions of the American Mathematical Society, 1963 Jun 01. 107(3), 466-484.
Externí odkaz:
https://www.jstor.org/stable/1993814
Autor:
Beck, Anatole, Schwartz, J. T.
Publikováno v:
Proceedings of the American Mathematical Society, 1957 Dec 01. 8(6), 1049-1059.
Externí odkaz:
https://www.jstor.org/stable/2032681
Autor:
Gorn, Saul, Schwartz, J. T.
Publikováno v:
Communications of the ACM. Nov75, Vol. 18 Issue 11, p661-664. 4p.
Autor:
Schwartz, J. T.1
Publikováno v:
Communications of the ACM. Dec1975, Vol. 18 Issue 12, p722-728. 7p.
Publikováno v:
Zeitschrift für Morphologie und Anthropologie, 1977 Jul 01. 68(2), 220-225.
Externí odkaz:
https://www.jstor.org/stable/25756316
Autor:
DUNFORD, NELSON, SCHWARTZ, J. T.
Publikováno v:
Journal of Rational Mechanics and Analysis, 1956 Jan 01. 5(1), 129-178.
Externí odkaz:
https://www.jstor.org/stable/24900246
Autor:
Schwartz, J. T.
Publikováno v:
Journal of the ACM; Oct1980, Vol. 27 Issue 4, p701-717, 17p
As computer software becomes more complex, the question of how its correctness can be assured grows ever more critical. Formal logic embodied in computer programs is an important part of the answer to this problem. This must-read text presents the pi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::dfb5241a523cdce13e5631c30cdf69b5
http://hdl.handle.net/20.500.11769/101397
http://hdl.handle.net/20.500.11769/101397