Refinement calculus : a systematic introduction

このページのQRコード

種類:

図書

責任表示:

Ralph-Johan Back, Joakim von Wright

出版情報:

New York : Springer, c1998

著者名:

シリーズ名:

Graduate texts in computer science <BA23711271>

ISBN:

9780387984179 [0387984178]

注記:

Includes bibliographical references (p. [501]-508) and index

所蔵情報

子書誌情報

タイトルが類似している資料

詳細

主題:	Calculus; Computer logic; Electronic digital computers--Programming
分類・件名:	NDC9 : 007.6 LCSH : Electronic digital computers -- Programming LCSH : Calculus LCSH : Computer logic
LCCN:	97047336
TTLL:	eng
言語:	英語
形態:	xv, 519 p. : ill. ; 25 cm
書誌ID:	BA38911569

内容紹介

目次情報

1

2

3

4

5

6

7

8

9

10

11

12

1 図書 Advanced calculus : an introduction to analysis Fulks, Watson J. Wiley	7 図書 Calculus in vector spaces Corwin, Lawrence J., 1943-, Szczarba, Robert Henry, 1932- M. Dekker
2 図書 Introduction to calculus and analysis Courant, Richard, 1888-1972, John, Fritz, 1910- Springer-Verlag	8 図書 Commutator calculus and groups of homotopy classes Baues, Hans J., 1943- Cambridge University Press
3 図書 Multivariable calculus Corwin, Lawrence J., 1943-, Szczarba, Robert Henry, 1932- M. Dekker	9 図書 Handbook of calculus, difference, and differential equations Cogan, Edward J. (Edward Jack), 1925-, Norman, Robert Z. (Robert Zane), 1924- Prentice-Hall
4 図書 Advanced calculus : an introduction to modern analysis Voxman, William L., Goetschel, Roy, 1930- M. Dekker	10 図書 Calculus Moise, Edwin E. Addison-Wesley Pub. Co
5 図書 Ultrametric calculus : an introduction to p-adic analysis Schikhof, Wilhelmus Hendricus Cambridge University Press	11 図書 The calculus Oakley, Cletus O. (Cletus Odia), 1899- Barnes & Noble
6 図書 Calculus in vector spaces Corwin, Lawrence J., 1943-, Szczarba, Robert Henry, 1932- M. Dekker	12 図書 Calculus Sprague, Atherton Hall, 1897- Ronald