>> Amazon.co.jp
このページのQRコード

Mathematical methods in program development

種類:
図書
責任表示:
edited by Manfred Broy, Birgit Schieder
出版情報:
Berlin : Springer, 1997
著者名:
シリーズ名:
NATO ASI series ; Series F, Computer and systems sciences ; v. 158 <BA0006594X>
ISBN:
9783540631958 [354063195X]  CiNii Books  Calil
注記:
'Proceedings of the NATO Advanced Study Institute on Mathematical Methods in Program Development, held in Marktoberdorf, Germany, July 30-August 11, 1996'--T.p. verso
Includes bibliographical references
所蔵情報
Loading availability information
子書誌情報
Loading
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 Programming and mathematical method

Broy, M., 1949-

Springer-Verlag
7 図書 Computer programs for spelling correction : an experiment in program design

Peterson, James Lyle, 1949-

Springer-Verlag
2 図書 Methods of programming : selected papers on the CIP-project

Broy, M., 1949-, Wirsing, M. (Martin)

Springer-Verlag
8 図書 The programming and proof systems ATES : advanced techniques integration into efficient scientific software

Puccetti, A. (Armand), 1961-

Springer-Verlag
3 図書 Formal methods in programming and their applications : International Conference, Academgorodok, Novosibirsk, Russia, June 28-July 2, 1993 : proceedings

Bjørner, D. (Dines), 1937-, Broy, M., 1949-, Pottosin, I. V.

Springer-Verlag
9 図書 Introduction to computer programming with the BASIC language

Deitel, Harvey M., 1945-

Prentice-Hall
4 図書 Advanced programming : a practical course

Barron, D. W. (David William), 1935-, Bishop, J. M. (Judith Mary), 1951-

Wiley
10 図書 Paradigms of artificial intelligence programming : case studies in common LISP

Norvig, Peter

Morgan Kaufman Publishers
5 図書 Artificial intelligence and heuristic programming

Findler, N. V. (Nicholas V.), 1930-, Meltzer, Bernard, 1916-, NATO Advanced Study Institute on Artificial Intelligence &hellip;

Edinburgh University Press
11 図書 Formal program development : IFIP TC 2/WG 2.1 state of the art report

Möller, Bernhard, 1953-, Partsch, Helmut A., 1950-, Schuman, Steve, 1950-, IFIP TC 2/WG 2.1

Springer-Verlag
6 図書 Mathematical studies of information processing : proceedings of the international conference, Kyoto, Japan, August 23-26, 1978

International Conference on Mathematical Studies of Information Processing, Blum, Edward K., 1923-, Paul, M. (Medford), &hellip;

Springer-Verlag
12 図書 Temporal logic : mathematical foundations and computational aspects

Gabbay, Dov M., 1945-, Hodkinson, Ian, Reynolds, Mark (Mark A.), Finger, Marcelo

Clarendon Press, Oxford University Press