Algebraic approaches to program semantics

このページのQRコード

種類:

図書

責任表示:

Ernest G. Manes, Michael A. Arbib

出版情報:

New York ; Tokyo : Springer-Verlag, c1986

著者名:

シリーズ名:

ISBN:

9780387963242 [0387963243] (: us)

9783540963240 [3540963243] (: gw)

注記:

Includes indexes

所蔵情報

子書誌情報

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

詳細

主題:	Algebra; Programming languages (Electronic computers)--Semantics
分類・件名:	LCC : QA76.7 DDC : 005.13/.1 LCSH : Programming languages (Electronic computers) -- Semantics LCSH : Algebra
LCCN:	86006563
TTLL:	eng
言語:	英語
形態:	xiii, 351 p. : ill. ; 25 cm
書誌ID:	BA00221138

内容紹介

目次情報

1

2

3

4

5

6

7

8

9

10

11

12

1 図書 Algebraic semantics of imperative programs Goguen, Joseph, Malcolm, Grant MIT Press	7 図書 Semantics of parallelism : non-interleaving representation of behaviour Shields, M. W. (Michael William), 1950- Springer
2 図書 Predicate transformer semantics Manes, Ernest G., 1943- Cambridge University Press	8 図書 Algebraic theories Manes, Ernest G., 1943- Springer-Verlag
3 図書 Denotational semantics : the Scott-Strachey approach to programming language theory Stoy, Joseph MIT Press	9 図書 Algebra Artin, Michael Prentice Hall
4 図書 Semantics of programming languages Tennent, R. D. Prentice Hall International	10 図書 A modern approach to intermediate algebra Patin, Henry A. G. P. Putnam
5 図書 Semantics of programming languages : structures and techniques Gunter, Carl A MIT Press	11 電子ブック An Algebraic Approach to Association Schemes Zieschang, Paul-Hermann., SpringerLink (Online service) Springer Berlin Heidelberg : Imprint: Springer
6 図書 The formal semantics of programming languages : an introduction Winskel, Glynn MIT Press	12 図書 Formal syntax and semantics of Java Alves-Foss, James, 1964- Springer