A theory of programming language semantics

著者

書誌事項

Robert Milne and Christopher Strachey

Chapman and Hall , Wiley : Distributed in the U.S.A. by Halsted Press, 1976

Pt. A
Pt. B

大学図書館所蔵件 / 全40件

愛知教育大学附属図書館図

Pt. A007||M57||177009426, Pt. B007||M57||277009427

OPAC
秋田大学附属図書館

Pt. A801||Mi28||v.1117707621, Pt. B801||Mi28||v.2117707622

OPAC
茨城大学附属図書館工学部分館分

Pt. A549:420:1000448788, Pt. B549:420:2000448790

OPAC
宇都宮大学附属図書館陽東分館

Pt. A549.59|| 81||12270093913, Pt. B549.59|| 81||22270093921

OPAC
追手門学院大学附属図書館図

Pt. A004385183, Pt. B003822517

OPAC
大阪大学附属図書館総合図書館

Pt. B07726018737

OPAC
大島商船高等専門学校図書館

Pt. A418.6||M7||1-1A000026568, Pt. B418.6||M7||1-2A000026569

OPAC
小樽商科大学附属図書館

Pt. A064659, Pt. B064660

OPAC
鹿児島大学附属図書館

OPAC
九州大学理系図書館

Pt. A068222480110531, Pt. B068222480110543

OPAC
京都産業大学図書館

Pt. A418.6||MIL||A00328924, Pt. B418.6||MIL||B00328925

OPAC
京都大学数理解析研究所図書室数研

Pt. AMIL||27||1a2294774, Pt. BMIL||27||1b||複本2556589

OPAC
京都大学大学院情報学研究科

Pt. AI,1976||5.1||2482347940, Pt. BI,1976||5.1||2512308960

OPAC
京都大学吉田南総合図書館研究室

Pt. A730||||1342303655, Pt. B730||||1342303656

OPAC
群馬大学総合情報メディアセンター理工学図書館図書館

Pt. A549.92:Mi28:(1)207227530, Pt. B549.92:Mi28:(2)207227531

OPAC
神戸市外国語大学図書館図

Pt. AN007.6-39350060110

OPAC
静岡大学附属図書館浜松分館浜図

Pt. A549.92/2018900038202, Pt. B549.92/2018900038210

OPAC
仙台高等専門学校名取キャンパス図書館

Pt. A900066807, Pt. B900066808

OPAC
千葉大学附属図書館図

Pt. A548.964||THE0007700788, Pt. B548.964||THE0007700789

OPAC
筑波大学附属図書館中央図書館

Pt. B一括登録

OPAC
東京工業大学大岡山図書館

Pt. A007.6/M/1F書庫113889926, Pt. B007.6/M/1F書庫113889934

OPAC
東京工業大学すずかけ台図書館

Pt. A007.6/M/1213780255, Pt. B007.6/M/2213780263

OPAC
東京大学工学部・工学系研究科図書

Pt. A007.6:Mi28:11000334985, Pt. B007.6:Mi28:21000334993

OPAC
東京大学数理科学研究科保存基数

Pt. A8001338915, Pt. B8001338923

OPAC
東京大学大学院情報理工学系研究科CS図

Pt. B25:M:7.22006029330, Pt. A25:M:7.12006029322

OPAC
東京大学大学院人文社会系研究科・文学部図書室言語

Pt. A3号館A17:Mil:14845880386, Pt. B3号館A17:Mil:24845880394

OPAC
東北大学附属図書館本館

Pt. A07850040900, Pt. B07850040918

OPAC
東北大学附属図書館工学分館図

Pt. A04840018153, Pt. B04840018161

OPAC
徳島大学附属図書館

Pt. A549.92||Mi||182100630, Pt. B549.92||Mi||282100631

OPAC
名古屋工業大学図書館

Pt. A410.1||Mi 28||a, Pt. B410.1||Mi 28||b

OPAC
名古屋大学工学図書室工中央書庫

Pt. A418.6||M40610509, Pt. B418.6||M40599682

OPAC
名古屋大学工学図書室工情報

Pt. A418.6||M40616213, Pt. B418.6||M40616214

OPAC
兵庫県立大学神戸商科学術情報館

Pt. A549.9||598||A2082301, Pt. B549.9||598||B2082302

OPAC
広島大学図書館東図書館

Pt. A549.9:M6000107261

OPAC
北陸先端科学技術大学院大学附属図書館図

Pt. AC41 / M / 11:6951201, Pt. BC41 / M / 21:6951202

OPAC
北海道大学大学院工学研究科・工学部図書室図書

Pt. ADC16:001.6/m6353520828910, Pt. BDC16:001.6/m6353520828921

OPAC
北海道大学附属図書館図

Pt. ADC16:006/M635/0521059427, Pt. BDC16:006/M635/0521059438

OPAC
山梨大学附属図書館

Pt. A4181081019157, Pt. B4181081020810

OPAC
立教大学図書館

Pt. A84-30445, Pt. B84-30446

OPAC
和歌山大学附属図書館

Pt. A219890071870, Pt. B219890071871

OPAC
該当する所蔵館はありません
すべての絞り込み条件を解除する

この図書・雑誌をさがす

注記

Bibliography: p. v. 1, p. 36-43

A theory of programming language semantics

著者

書誌事項

大学図書館所蔵件 / 全40件

この図書・雑誌をさがす

注記

詳細情報

書き出し

A theory of programming language semantics

著者

書誌事項

大学図書館所蔵 件 / 全40件

この図書・雑誌をさがす

注記

詳細情報

書き出し

大学図書館所蔵件 / 全40件