Blank Cover Image
このページのQRコード

Mathematical theory of computation

種類:
図書
責任表示:
by Zohar Manna
出版情報:
Tokyo : McGraw-Hill Kogakusha, c1974
著者名:
Manna, Zohar <DA00026434>  
シリーズ名:
McGraw-Hill computer science series <BA00039928>
注記:
International student ed.
所蔵情報
Loading availability information
子書誌情報
Loading
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 Program style, design, efficiency, debugging, and testing

Van Tassel, Dennie, 1939-

Prentice-Hall
7 図書 Computational structures : an introduction to non-numerical computing

Hall, Patrick A. V.

Macdonald and Jane's, American Elsevier
2 図書 The temporal logic of reactive and concurrent systems

Manna, Zohar, Pnueli, A. (Amir)

Springer-Verlag
8 図書 Genetic and evolutionary computation - GECCO 2003 : Genetic and Evolutionary Computation Conference, Chicago, IL, USA, July 12-16, 2003 : proceedings

Genetic and Evolutionary Computation Conference, Cantú-Paz, Erick

Springer
3 図書 Computational category theory

Rydeheard, D. E. (David E.), Burstall, Rod M., 1934-

Prentice Hall
9 図書 Mathematical methods in program development

NATO Advanced Study Institute on Mathematical Methods in Program Development, Broy, M., 1949-, Schieder, Birgit

Springer
4 図書 Temporal logic : mathematical foundations and computational aspects

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

Clarendon Press, Oxford University Press
10 図書 Programming and mathematical method

Broy, M., 1949-

Springer-Verlag
5 図書 The calculus of computation : decision procedures with applications to verification

Bradley, Aaron R., Manna, Zohar

Springer
11 図書 Data processing mathematics

Gleim, George A., Farina, Mario V.

Prentice-Hall
6 図書 Discrete computational structures

Korfhage, Robert R.

Academic Press
12 図書 Introduction to scientific programming : computational problem solving using Maple and C

Zachary, Joseph L.

Springer, TELOS