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

Formal models and semantics

種類:
図書
責任表示:
edited by Jan van Leeuwen
出版情報:
Amsterdam ; Tokyo : Elsevier
Cambridge, Mass. : MIT Press, 1990
著者名:
Leeuwen, Jan van <DA00983632>  
シリーズ名:
Handbook of theoretical computer science / editor, Jan van Leeuwen ; v. B <BA11256054>
ISBN:
9780444880741 [0444880747] (: Elsevier)  CiNii Books  Calil
9780262220392 [0262220393] (: MIT Press)  CiNii Books  Calil
注記:
Includes bibliographical references and subject index (p. 1243-1273)
所蔵情報
Loading availability information
子書誌情報
Loading
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 Handbook of theoretical computer science

Leeuwen, Jan van

Elsevier, MIT Press
7 図書 Formal syntax and semantics of Java

Alves-Foss, James, 1964-

Springer
2 図書 Computer science today : recent trends and developments

Leeuwen, Jan van

Springer
8 図書 Computational linguistics and formal semantics

Rosner, Michael, Johnson, D. R. (David Roderick)

Cambridge University Press
3 図書 Algorithms and complexity

Leeuwen, Jan van

Elsevier, MIT Press
9 図書 Formal semantics : an introduction

Cann, Ronnie

Cambridge University Press
4 図書 Models of computation : exploring the power of computing

Savage, John E., 1939-

Addison Wesley
10 図書 Compositionality in formal semantics : selected papers

Partee, Barbara Hall

Blackwell Pub.
5 図書 Structures in logic and computer science : a selection of essays in honor of A. Ehrenfeucht

Ehrenfeucht, Andrzej, Mycielski, Jan, 1932-, Rozenberg, Grzegorz, Salomaa, Arto, 1934-

Springer
11 図書 The formal semantics of programming languages : an introduction

Winskel, Glynn

MIT Press
6 図書 Formal semantics and proof techniques for optimizing VHDL models

Umamageswaran, Kothanda, 1974-, Pandey, Sheetanshu L., 1972-, Wilsey, Philip A., 1958-

Kluwer Academic Publishers
12 図書 Models of computation and formal languages

Taylor, Ralph Gregory

Oxford University Press