CiNii Books - Algebraic specifications in software engineering : an introduction

Author(s)

Bibliographic Information

Algebraic specifications in software engineering : an introduction

Ivo van Horebeek, Johan Lewi

Springer-Verlag, c1989

: U.S.
: G.W.

Available at 21 / 21 libraries

Any AreasAny LibrariesOPAC Links

会津大学情報センター (附属図書館)図

: G.W.QA76.758.H67 1989

OPAC
Osaka University, Main Library

: G.W.09026002882

OPAC
大阪大学附属図書館理工学図書館

08926036537

OPAC
Okayama University Library工情報

: U.S.007.6||HS016000056249*

OPAC
Science and Technology Library, Kyushu University

: G.W.C3/Ho/1989061232004041337

OPAC
Library, Research Institute for Mathematical Sciences, Kyoto University数研

HOR||16||189071492

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

: G.W.I,1989||5.5||13290067066

OPAC
公立はこだて未来大学情報ライブラリー

: U.S.007.63||Ho000072445

OPAC
札幌学院大学図書館

: G.W.0920105580

OPAC
University of Tsukuba Library

: U.S.10090380220

OPAC
The University of Electro-Communications Library研

: G.W.549.98||H872219202745

OPAC
The University of Electro-Communications Library開架

: G.W.549.98||H872219305847

OPAC
Tokai University Library12

: G.W.549.9363/H01377674

OPAC
東洋大学附属図書館川越図書館

: G.W.1306157726

OPAC
Kyoto University Library

: U.S.401||H 87

OPAC
Nagoya University Library工電気情報

007.63||H41017045

OPAC
日本大学工学部図書館図

: G.W.007.63||H 87E9201709

OPAC
広島市立大学附属図書館

: G.W.0000385602

OPAC
Hiroshima University Central Library, Interlibrary Loan

G.W.640220

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

: G.W.007.63:H-876000166548

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

: U.S.C45.2/ H /1:5922435

OPAC
No Libraries matched.
Remove all filters.

Show a Part

Search this Book/Journal

Note

Includes bibliographical references

Algebraic specifications in software engineering : an introduction

Author(s)

Bibliographic Information

Available at 21 / 21 libraries

Search this Book/Journal

Note

Details

Export