>> Google Books
所蔵情報QRコード

Module specifications and constraints / Ehrig, Hartmut ; Mahr, Bernd

資料種別:
図書
出版情報:
Berlin ; Tokyo : Springer-Verlag, c1990
形態:
xi, 427 p. ; 24 cm
シリーズ名:
EATCS monographs on theoretical computer science ; v. 21 . Fundamentals of algebraic specification / Hartmut Ehrig, Bernd Mahr ; v. 2 <BA00007320>
著者名:
ISBN:
9780387517995 [0387517995] (: us)
9783540517993 [3540517995] (: gw)
書誌ID:
BA0792476X
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information
他の版・巻

類似資料:

1 図書 Equations and initial semantics (: U.S. ; : Germany)

Ehrig, Hartmut, Mahr, Bernd

Springer-Verlag
7 図書 Algebra : an approach via module theory (: us ; : gw)

Adkins, William A, Weintraub, Steven H.

Springer-Verlag
2 電子ブック Recent Trends in Data Type Specification

Workshop on Specification of Abstract Data Types, Ehrig, Hartmut

SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
8 電子ブック Integration of Software Specification Techniques for Applications in Engineering

Hartmut Ehrig, Ehrig, Hartmut, Deutsche Forschungsgemeinschaft., Damm, Werner, Desel, Jörg, Große-Rhode, Martin, Reif, …

SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
3 図書 Algebraic specification techniques and tools for software development : the ACT approach

Claßen, Ingo, Ehrig, Hartmut, Wolz, Dietmar

World Scientific
9 電子ブック Graph and Model Transformation

Ehrig, Hartmut

Springer eBooks Computer Science, Springer Berlin Heidelberg
4 図書 Recent trends in data type specification : 7th Workshop on Specification of Abstract Data Types, Wusterhausen/Dosse, Germany, April 17-20, 1990 : proceedings (: gw ; : us)

Workshop on Specification of Abstract Data Types, Ehrig, Hartmut

Springer-Verlag
10 図書 Model theoretic algebra : with particular emphasis on fields, rings, modules

Jensen, Christian U., Lenzing, Helmut

Gordon and Breach Science Publishers
5 図書 Algebra and trigonometry modules (v. 1 - v. 5)

Hall, James E., Smith, Marion Bush, 1929-

Cummings Pub. Co.
11 図書 Recent trends in data type specification : 9th Workshop on Specification of Abstract Data Types, joint with the 4th COMPASS Workshop, Caldes de Malavella, … (: gw ; : us)

Workshop on Specification of Abstract Data Types, Ehrig, Hartmut, Orejas, Fernando, COMPASS Workshop

Springer-Verlag
6 電子ブック Recent Trends in Data Type Specification

Workshop on Specification of Abstract Data Types, Ehrig, Hartmut, Orejas, Fernando

SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
12 電子ブック Graph Transformations

ICGT 2004, Ehrig, Hartmut

SpringerLink Books - AutoHoldings, Springer Berlin / Heidelberg
1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12