Simple Program Schemes and Formal Languages | 東京科学大学図書館　蔵書検索（大岡山図書館、すずかけ台図書館）

>> Google Books

Simple Program Schemes and Formal Languages / Engelfriet

資料種別:: 電子ブック
出版情報:: SpringerLink Books - AutoHoldings
Springer Berlin Heidelberg, 1974
著者名:: Engelfriet
ISBN:: 9783540069539 [3540069534]
9783540371977 [3540371974]
書誌ID:: OB00504616

子書誌情報

フルテキスト

Loading contents information

所蔵情報

Loading availability information

書誌詳細

その他の標題:	SIMPLE PROGRAM SCHEMES & FORMAL LANGUAGES
言語:	英語

ブックレビュー

Loading review information

類似資料:

1 電子ブック Simple Program Schemes and Formal Languages Engelfriet, J., SpringerLink (Online service)	7 図書 Formal language description languages for computer programming : proceedings of the IFIP Working Conference on Formal Language Description Languages IFIP Working Conference on Formal Language Description Languages, Steel, Thomas B., 1929-, IFIP Technical Committee … North-Holland
2 図書 Graph structure and monadic second-order logic : a language-theoretic approach (: hardback) Courcelle, B., Engelfriet, Joost Cambridge University Press	8 図書 Scheme and the art of programming Springer, George, 1924-, Friedman, Daniel P. MIT Press, McGraw-Hill
3 図書 The formal semantics of programming languages : an introduction (: pbk) Winskel, Glynn MIT Press	9 図書 Schemes : the language of modern algebraic geometry (: hard ; : pbk) Eisenbud, David, Harris, Joe Wadsworth & Brooks/Cole Advanced Books & Software
4 電子ブック Formal Methods for Quantitative Aspects of Programming Languages Aldini, Alessandro, Bernardo, Marco, Kanade, Takeo, Pierro, Alessandra, Wiklicky, Herbert Springer eBooks Computer Science, Springer Berlin Heidelberg	10 図書 Formal languages Salomaa, Arto, 1934- Academic Press
5 図書 Formal specification of interactive graphics programming languages Mallgren, William R. (William Roberts) MIT Press	11 電子ブック Error Estimates for Well-Balanced Schemes on Simple Balance Laws Amadori, Debora, Gosse, Laurent SpringerLink Books - AutoHoldings, Springer International Publishing
6 電子ブック Formal Methods for Quantitative Aspects of Programming Languages Aldini, Alessandro, Bernardo, Marco, Kanade, Takeo, Pierro, Alessandra, Wiklicky, Herbert, Di Pierro, Alessandra SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg	12 電子ブック Theory of Program Structures : Schemes, Semantics, Verification Greibach, Sheila A., SpringerLink (Online service)

1

2

3

4

5

6

7

8

9

10

11

12