Language:
English
繁體中文
Help
回圖書館首頁
手機版館藏查詢
Login
Back
Switch To:
Labeled
|
MARC Mode
|
ISBD
Fundamentals of algebraic specificat...
~
Mahr, B.
Linked to FindBook
Google Book
Amazon
博客來
Fundamentals of algebraic specification /
Record Type:
Language materials, printed : Monograph/item
Title/Author:
Fundamentals of algebraic specification // H. Ehrig, B. Mahr.
Author:
Ehrig, Hartmut.
other author:
Mahr, B.
Published:
Berlin ;Springer-Verlag, : c1985-
,
Description:
v. <1-2 > :ill. ;25 cm.
Notes:
Reprinted by World Publishing Co., Beijing, 1993.
[NT 15003449]:
v. 1. Equations and initial semantics -- v. 2. Module specifications and constraints.
Subject:
Algebra. -
ISBN:
0387137181 (v. 1 : New York)
Fundamentals of algebraic specification /
Ehrig, Hartmut.
Fundamentals of algebraic specification /
H. Ehrig, B. Mahr. - Berlin ;Springer-Verlag,c1985-<c1990 > - v. <1-2 > :ill. ;25 cm. - EATCS monographs on theoretical computer science ;v. 6, 21. - EATCS monographs on theoretical computer science ;v. 6, etc..
Reprinted by World Publishing Co., Beijing, 1993.
Includes bibliographies and indexes.
v. 1. Equations and initial semantics -- v. 2. Module specifications and constraints.
ISBN: 0387137181 (v. 1 : New York)
LCCN: 85004784Subjects--Topical Terms:
516203
Algebra.
LC Class. No.: QA76.9.D35 / E37 1985
Dewey Class. No.: 001.64/2
Fundamentals of algebraic specification /
LDR
:00967cam a2200253 a 45
001
676821
005
20000421091937.0
008
000420m19859999wb a b 00110 eng
010
$a
85004784
020
$a
0387137181 (v. 1 : New York)
020
$a
3540137181 (v. 1 : Berlin)
020
$a
7506216485 (v. 1 : Beijing : pbk.) :
$c
REM23.00
035
$a
as-be-89-1
040
$a
DLC
$c
DLC
$d
DLC
$d
DH
050
0 0
$a
QA76.9.D35
$b
E37 1985
082
0 0
$a
001.64/2
$2
19
100
$a
Ehrig, Hartmut.
$3
714563
245
1 0
$a
Fundamentals of algebraic specification /
$c
H. Ehrig, B. Mahr.
260
0
$a
Berlin ;
$a
New York :
$c
c1985-<c1990 >
$b
Springer-Verlag,
300
$a
v. <1-2 > :
$b
ill. ;
$c
25 cm.
490
1
$a
EATCS monographs on theoretical computer science ;
$v
v. 6, 21
500
$a
Reprinted by World Publishing Co., Beijing, 1993.
504
$a
Includes bibliographies and indexes.
505
1
$a
v. 1. Equations and initial semantics -- v. 2. Module specifications and constraints.
650
$a
Algebra.
$3
516203
650
$a
Data structures (Computer science)
$3
527210
700
$a
Mahr, B.
$q
(Bernd)
$3
714562
740
0 0
$a
代數規範基礎
740
0 1
$a
Algebraic specification.
830
$a
EATCS monographs on theoretical computer science ;
$v
v. 6, etc.
$3
714564
based on 0 review(s)
Location:
ALL
罕用書庫221室(美崙校區,調書請點預約)(RU_221)
Year:
Volume Number:
Items
1 records • Pages 1 •
1
Inventory Number
Location Name
Item Class
Material type
Call number
Usage Class
Loan Status
No. of reservations
Opac note
Attachments
W0003336
罕用書庫221室(美崙校區,調書請點預約)(RU_221)
01.外借(書)_YB
一般圖書
QA76.9.D35 E37 1985 v.1
一般使用(Normal)
On shelf
0
Reserve
1 records • Pages 1 •
1
Reviews
Add a review
and share your thoughts with other readers
Export
pickup library
Processing
...
Change password
Login