MARC 닫기

• LDR

  01283nam a2200277 u 4500

• 001

  000000367749

• 005

  20120928045520

• 008

  000419s2000 gw a b 101 eng

• 010

  ▼a  00032203

• 020

  ▼a  3540675302 (softcover : alk. paper):
  ▼c  DM122.00

• 022

  ▼a  0302-9743

• 042

  ▼a  pcc

• 049

  ▼a  KMAL
  ▼l  AZ0000204093

• 082

  ▼a  005.101
  ▼2  21

• 090

  ▼a  005.101
  ▼b  R89a

• 245

  ▼a  Algebraic methodology and software technology:
  ▼b  8th International Conference, AMAST 2000, Iowa City, Iowa, USA, May 20-27, 2000, proceedings/
  ▼d  Teodor Rus (ed.).

• 246

  ▼a  AMAST 2000, algebraic methodlogy and software technology

• 260

  ▼a  Berlin;.
  ▼a  New York:
  ▼b  Springer,
  ▼c  c2000.

• 300

  ▼a  xi, 544 p.:
  ▼b  ill.;
  ▼c  24 cm.

• 440

  ▼a  Lecture notes in computer science;
  ▼v  1816

• 504

  ▼a  Includes bibliographical references and index.

• 650

  ▼a  Software engineering
  ▼x  Congresses.

• 650

  ▼a  Abstract data types(Computer science)
  ▼x  Congresses.

• 653

  ▼a  ALGEBRAIC
  ▼a  METHODOLOGY
  ▼a  AND
  ▼a  SOFTWARE
  ▼a  TECHNOLOGY
  ▼a  8TH
  ▼a  INTERNATIONAL
  ▼a  CONFERENCE
  ▼a  AMAST
  ▼a  2000
  ▼a  IOWA
  ▼a  CITY
  ▼a  USA
  ▼a  MAY
  ▼a  2027
  ▼a  PROCEEDINGS
  ▼a  LECTURE
  ▼a  NOTES
  ▼a  IN
  ▼a  COMPUTER
  ▼a  SCIENCE

• 700

  ▼a  Rus, Teodor,

• 711

  ▼a  International Conference on Algebraic Methodology and Software Technology:
  ▼c  Iowa City, Iowa)
  ▼d  2000
  ▼n  (8th :

• 991

  ▼a  단행본

• 090

  ▼a  005.101
  ▼b  R89a