Algebraic methodology and software technology: 8th international conference, AMAST 2000, Iowa City, Iowa, USA, May 20 - 27, 2000 ; proceedings
Saved in:
| Format: | Conference Proceeding Book |
|---|---|
| Language: | English |
| Published: |
Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong ; London
Springer
2000
|
| Series: | Lecture notes in computer science
1816 |
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Item Description: | Literaturangaben. |
| Physical Description: | XI, 544 S. |
| ISBN: | 3540675302 |
Staff View
MARC
| LEADER | 00000nam a22000008cb4500 | ||
|---|---|---|---|
| 001 | BV013121620 | ||
| 003 | DE-604 | ||
| 005 | 20000629 | ||
| 007 | t| | ||
| 008 | 000418s2000 gw |||| 10||| eng d | ||
| 016 | 7 | |a 958831653 |2 DE-101 | |
| 020 | |a 3540675302 |9 3-540-67530-2 | ||
| 035 | |a (OCoLC)44045563 | ||
| 035 | |a (DE-599)BVBBV013121620 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 044 | |a gw |c DE | ||
| 049 | |a DE-91G |a DE-739 |a DE-384 |a DE-83 |a DE-706 |a DE-188 | ||
| 050 | 0 | |a QA76.758. | |
| 082 | 0 | |a 005.1/01/512 |2 21 | |
| 084 | |a DAT 335f |2 stub | ||
| 084 | |a MAT 110f |2 stub | ||
| 245 | 1 | 0 | |a Algebraic methodology and software technology |b 8th international conference, AMAST 2000, Iowa City, Iowa, USA, May 20 - 27, 2000 ; proceedings |c Teodor Rus (ed.) |
| 264 | 1 | |a Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong ; London |b Springer |c 2000 | |
| 300 | |a XI, 544 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Lecture notes in computer science |v 1816 | |
| 500 | |a Literaturangaben. | ||
| 650 | 7 | |a Fundamentele informatica |2 gtt | |
| 650 | 4 | |a Génie logiciel - Congrès | |
| 650 | 7 | |a Génie logiciel - Congrès |2 ram | |
| 650 | 4 | |a Types abstraits de données (Informatique) - Congrès | |
| 650 | 7 | |a Types abstraits de données (informatique) - Congrès |2 ram | |
| 650 | 7 | |a conception logiciel |2 inriac | |
| 650 | 7 | |a développement logiciel |2 inriac | |
| 650 | 7 | |a logiciel mathématique |2 inriac | |
| 650 | 7 | |a machine abstraite |2 inriac | |
| 650 | 7 | |a méthode algébrique |2 inriac | |
| 650 | 7 | |a méthode formelle |2 inriac | |
| 650 | 7 | |a processus algébrique |2 inriac | |
| 650 | 7 | |a sémantique programme |2 inriac | |
| 650 | 4 | |a Abstract data types (Computer science) |v Congresses | |
| 650 | 4 | |a Software engineering |v Congresses | |
| 650 | 0 | 7 | |a Software Engineering |0 (DE-588)4116521-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Algebraische Methode |0 (DE-588)4141841-4 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2000 |z Iowa City Iowa |2 gnd-content | |
| 689 | 0 | 0 | |a Software Engineering |0 (DE-588)4116521-4 |D s |
| 689 | 0 | 1 | |a Algebraische Methode |0 (DE-588)4141841-4 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Rus, Teodor |e Sonstige |4 oth | |
| 711 | 2 | |a AMAST |n 8 |d 2000 |c Iowa City, Iowa |j Sonstige |0 (DE-588)2183017-4 |4 oth | |
| 830 | 0 | |a Lecture notes in computer science |v 1816 |w (DE-604)BV000000607 |9 1816 | |
| 856 | 4 | 2 | |m DNB Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=008939977&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-008939977 | |
Record in the Search Index
| _version_ | 1820874889664397312 |
|---|---|
| adam_text |
CONTENTS
EDUCATION
DAY
INVITED
TALK:
A
SOFTWARE
ENGINEERING
PROGRAM
OF
LASTING
VALUE
:
:
:
:
:
:
:
:
1
DAVID
L.
PARNAS
INVITED
TALK:
WEAVING
FORMAL
METHODS
INTO
THE
UNDERGRATUATE
COMPUTER
SCIENCE
CURRICULUM
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
2
JEANNETTE
M.
WING
TECHNICAL
MEETINGS
SESSION
1
INVITED
TALK:
MAKING
MATHEMATICAL
METHODS
MORE
PRACTICAL
FOR
THE
SOFTWARE
DEVELOPERS
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
9
DAVID
L.
PARNAS
STEP
BY
STEP
TO
HISTORIES
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
11
MAX
BREITLING,
JAN
PHILIPPS
DISTANCE
FUNCTIONS
FOR
DEFAULTS
IN
REACTIVE
SYSTEMS
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
26
SOYYA
GUERRA
GENERALIZING
THE
MODAL
AND
TEMPORAL
LOGIC
OF
LINEAR
TIME
:
:
:
:
:
:
:
:
:
:
:
:
:
41
BERNHARD
HEINEMANN
PROCESS
ALGEBRA
VERSUS
AXIOMATIC
SPECIYYCATION
OF
A
REAL-TIME
PROTOCOL
:
:
57
ANTONIO
CERONE
PRACTICAL
APPLICATION
OF
FUNCTIONAL
AND
RELATIONAL
METHODS
FOR
THE
SPECIYYCATION
AND
VERIYYCATION
OF
SAFETY
CRITICAL
SOFTWARE
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
73
MARK
LAWFORD,
JEYY
MCDOUGALL,
PETER
FROEBEL,
GREG
MOUM
SESSION
2
INVITED
TALK:
ALGEBRAIC
STATE
MACHINES
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
89
MANFRED
BROY,
MARTIN
WIRSING
META
LANGUAGES
IN
ALGEBRAIC
COMPILERS
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
119
ERIC
VAN
WYK
RANDOM
ACCESS
TO
ABSTRACT
DATA
TYPES
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
135
MARTIN
ERWIG
X
C
O
N
TE
N
TS
A
MONAD
FOR
BASIC
JAVA
SEMANTICS
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
150
BART
JACOBS,
ERIK
POLL
A
GLOBAL
SEMANTICS
FOR
VIEWS
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
165
CHRISTINE
CHOPPY,
PASCAL
POIZAT,
JEAN-CLAUDE
ROYER
ANALYSIS
OF
DOWNWARD
CLOSED
PROPERTIES
OF
LOGIC
PROGRAMS
:
:
:
:
:
:
:
:
:
:
:
:
:
181
PATRICIA
M.
HILL,
FAUSTO
SPOTO
SESSION
3
INVITED
TALK
:
ASM
FORMALWARE
IN
THE
SOFTWARE
ENGINEERING
CYCLE
:
:
:
:
:
:
197
YURI
GUREVICH
PROCESS
CALCULI
FOR
COORDINATION:
FROM
LINDA
TO
JAVASPACES
:
:
:
:
:
:
:
:
:
:
:
:
:
198
NADIA
BUSI,
ROBERTO
GORRIERI,
GIANLUIGI
ZAVATTARO
THE
ALGEBRA
OF
MULTI-TASKING
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
213
COLIN
J.
FIDGE
A
CAUSAL
SEMANTICS
FOR
TIMED
DEFAULT
CONCURRENT
CONSTRAINT
PROGRAMMING
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
228
SIMONE
TINI,
ANDREA
MAGGIOLO-SCHETTINI
CASL-CHART
:
A
COMBINATION
OF
STATECHARTS
AND
OF
THE
ALGEBRAIC
SPECIYYCATION
LANGUAGE
CASL
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
243
GIANNA
REGGIO,
LORENZO
REPETTO
MESSAGE
AUTHENTICATION
THROUGH
NON
INTERFERENCE
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
258
RICCARDO
FOCARDI,
ROBERTO
GORRIERI,
FABIO
MARTINELLI
SESSION
4
INVITED
TALK:
PLUGGING
DATA
CONSTRUCTS
INTO
PARADIGM-SPECIYYC
LANGUAGES:
TOWARDS
AN
APPLICATION
TO
UML
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
273
EGIDIO
ASTESIANO,
MAURA
CERIOLI,
GIANNA
REGGIO
AN
ASM
SEMANTICS
FOR
UML
ACTIVITY
DIAGRAMS
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
293
EGON
B¨ORGER,
ALESSANDRA
CAVARRA,
ELVINIA
RICCOBENE
APPROXIMATE
BISIMILARITY
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
309
MINGSHENG
YING,
MARTIN
WIRSING
TIME
AND
PROBABILITY
IN
PROCESS
ALGEBRA
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
323
SUZANA
ANDOVA
A
MODAL
LOGIC
FOR
KLAIM
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
339
ROCCO
DE
NICOLA,
MICHELE
LORETI
CONTENTS
XI
KLEENE
UNDER
A
DEMONIC
STAR
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
355
JULES
DESHARNAIS,
BERNHARD
M¨OLLER,
FAIROUZ
TCHIER
SESSION
5
INVITED
TALK:
POINTWISE
RELATIONAL
PROGRAMMING
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
371
OEGE
DE
MOOR,
JEREMY
GIBBONS
TOWARDS
A
TOOLKIT
FOR
ACTOR
SYSTEM
SPECIYYCATION
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
391
CAROLYN
L.
TALCOTT
MAUDE
ACTION
TOOL:
USING
REYYECTION
TO
MAP
ACTION
SEMANTICS
TO
REWRITING
LOGIC
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
407
CHRISTIANO
DE
O.
BRAGA,
E.
HERMANN
HAEUSLER,
JOSYYE
MESEGUER,
PETER
D.
MOSSES
THE
EXTENSIBILITY
OF
MAUDE'S
MODULE
ALGEBRA
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
422
FRANCISCO
DURYYAN
A
REUSE-ORIENTED
FRAMEWORK
FOR
HIERARCHICAL
SPECIYYCATIONS
:
:
:
:
:
:
:
:
:
:
:
:
:
438
SOPHIE
COUDERT,
PASCALE
LE
GALL
MIX(FL):
A
KERNEL
LANGUAGE
OF
MIXIN
MODULES
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
454
DAVIDE
ANCONA
BEHAVIOURAL
SUBTYPING
RELATIONS
FOR
OBJECT-ORIENTED
FORMALISMS
:
:
:
:
:
:
:
:
469
CLEMENS
FISCHER,
HEIKE
WEHRHEIM
SESSION
6
INVITED
TALK:
APPLYING
CATEGORY
THEORY
TO
DERIVE
ENGINEERING
SOFTWARE
FROM
ENCODED
KNOWLEDGE
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
484
MICHAEL
HEALY,
KEITH
WILLIAMSON
A
NEW
LOGIC
FOR
ELECTRONIC
COMMERCE
PROTOCOLS
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
499
KAMEL
ADI,
MOURAD
DEBBABI,
MOHAMED
MEJRI
EXTENDED
INSTITUTIONS
FOR
TESTING
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
514
MARIELLE
DOCHE,
VIRGINIE
WIELS
TESTING
FROM
STRUCTURED
ALGEBRAIC
SPECIYYCATIONS
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
529
PATRYYYYCIA
D.
L.
MACHADO
AUTHOR
INDEX
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
545 |
| any_adam_object | 1 |
| building | Verbundindex |
| bvnumber | BV013121620 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.758. |
| callnumber-search | QA76.758. |
| callnumber-sort | QA 276.758 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | SS 4800 |
| classification_tum | DAT 335f MAT 110f |
| ctrlnum | (OCoLC)44045563 (DE-599)BVBBV013121620 |
| dewey-full | 005.1/01/512 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.1/01/512 |
| dewey-search | 005.1/01/512 |
| dewey-sort | 15.1 11 3512 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik Mathematik |
| format | Conference Proceeding Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a22000008cb4500</leader><controlfield tag="001">BV013121620</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20000629</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">000418s2000 gw |||| 10||| eng d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">958831653</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540675302</subfield><subfield code="9">3-540-67530-2</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)44045563</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV013121620</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">DE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91G</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-188</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.758.</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.1/01/512</subfield><subfield code="2">21</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 335f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">MAT 110f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Algebraic methodology and software technology</subfield><subfield code="b">8th international conference, AMAST 2000, Iowa City, Iowa, USA, May 20 - 27, 2000 ; proceedings</subfield><subfield code="c">Teodor Rus (ed.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong ; London</subfield><subfield code="b">Springer</subfield><subfield code="c">2000</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XI, 544 S.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">1816</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Literaturangaben.</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Fundamentele informatica</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Génie logiciel - Congrès</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Génie logiciel - Congrès</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Types abstraits de données (Informatique) - Congrès</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Types abstraits de données (informatique) - Congrès</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">conception logiciel</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">développement logiciel</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">logiciel mathématique</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">machine abstraite</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">méthode algébrique</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">méthode formelle</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">processus algébrique</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">sémantique programme</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Abstract data types (Computer science)</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Software engineering</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Software Engineering</subfield><subfield code="0">(DE-588)4116521-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Algebraische Methode</subfield><subfield code="0">(DE-588)4141841-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">2000</subfield><subfield code="z">Iowa City Iowa</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Software Engineering</subfield><subfield code="0">(DE-588)4116521-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Algebraische Methode</subfield><subfield code="0">(DE-588)4141841-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Rus, Teodor</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">AMAST</subfield><subfield code="n">8</subfield><subfield code="d">2000</subfield><subfield code="c">Iowa City, Iowa</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)2183017-4</subfield><subfield code="4">oth</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">1816</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">1816</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">DNB Datenaustausch</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=008939977&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-008939977</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2000 Iowa City Iowa gnd-content |
| genre_facet | Konferenzschrift 2000 Iowa City Iowa |
| id | DE-604.BV013121620 |
| illustrated | Not Illustrated |
| indexdate | 2025-01-10T15:06:55Z |
| institution | BVB |
| institution_GND | (DE-588)2183017-4 |
| isbn | 3540675302 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-008939977 |
| oclc_num | 44045563 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM DE-739 DE-384 DE-83 DE-706 DE-188 |
| owner_facet | DE-91G DE-BY-TUM DE-739 DE-384 DE-83 DE-706 DE-188 |
| physical | XI, 544 S. |
| publishDate | 2000 |
| publishDateSearch | 2000 |
| publishDateSort | 2000 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | Algebraic methodology and software technology 8th international conference, AMAST 2000, Iowa City, Iowa, USA, May 20 - 27, 2000 ; proceedings Teodor Rus (ed.) Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong ; London Springer 2000 XI, 544 S. txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 1816 Literaturangaben. Fundamentele informatica gtt Génie logiciel - Congrès Génie logiciel - Congrès ram Types abstraits de données (Informatique) - Congrès Types abstraits de données (informatique) - Congrès ram conception logiciel inriac développement logiciel inriac logiciel mathématique inriac machine abstraite inriac méthode algébrique inriac méthode formelle inriac processus algébrique inriac sémantique programme inriac Abstract data types (Computer science) Congresses Software engineering Congresses Software Engineering (DE-588)4116521-4 gnd rswk-swf Algebraische Methode (DE-588)4141841-4 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2000 Iowa City Iowa gnd-content Software Engineering (DE-588)4116521-4 s Algebraische Methode (DE-588)4141841-4 s DE-604 Rus, Teodor Sonstige oth AMAST 8 2000 Iowa City, Iowa Sonstige (DE-588)2183017-4 oth Lecture notes in computer science 1816 (DE-604)BV000000607 1816 DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=008939977&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Algebraic methodology and software technology 8th international conference, AMAST 2000, Iowa City, Iowa, USA, May 20 - 27, 2000 ; proceedings Lecture notes in computer science Fundamentele informatica gtt Génie logiciel - Congrès Génie logiciel - Congrès ram Types abstraits de données (Informatique) - Congrès Types abstraits de données (informatique) - Congrès ram conception logiciel inriac développement logiciel inriac logiciel mathématique inriac machine abstraite inriac méthode algébrique inriac méthode formelle inriac processus algébrique inriac sémantique programme inriac Abstract data types (Computer science) Congresses Software engineering Congresses Software Engineering (DE-588)4116521-4 gnd Algebraische Methode (DE-588)4141841-4 gnd |
| subject_GND | (DE-588)4116521-4 (DE-588)4141841-4 (DE-588)1071861417 |
| title | Algebraic methodology and software technology 8th international conference, AMAST 2000, Iowa City, Iowa, USA, May 20 - 27, 2000 ; proceedings |
| title_auth | Algebraic methodology and software technology 8th international conference, AMAST 2000, Iowa City, Iowa, USA, May 20 - 27, 2000 ; proceedings |
| title_exact_search | Algebraic methodology and software technology 8th international conference, AMAST 2000, Iowa City, Iowa, USA, May 20 - 27, 2000 ; proceedings |
| title_full | Algebraic methodology and software technology 8th international conference, AMAST 2000, Iowa City, Iowa, USA, May 20 - 27, 2000 ; proceedings Teodor Rus (ed.) |
| title_fullStr | Algebraic methodology and software technology 8th international conference, AMAST 2000, Iowa City, Iowa, USA, May 20 - 27, 2000 ; proceedings Teodor Rus (ed.) |
| title_full_unstemmed | Algebraic methodology and software technology 8th international conference, AMAST 2000, Iowa City, Iowa, USA, May 20 - 27, 2000 ; proceedings Teodor Rus (ed.) |
| title_short | Algebraic methodology and software technology |
| title_sort | algebraic methodology and software technology 8th international conference amast 2000 iowa city iowa usa may 20 27 2000 proceedings |
| title_sub | 8th international conference, AMAST 2000, Iowa City, Iowa, USA, May 20 - 27, 2000 ; proceedings |
| topic | Fundamentele informatica gtt Génie logiciel - Congrès Génie logiciel - Congrès ram Types abstraits de données (Informatique) - Congrès Types abstraits de données (informatique) - Congrès ram conception logiciel inriac développement logiciel inriac logiciel mathématique inriac machine abstraite inriac méthode algébrique inriac méthode formelle inriac processus algébrique inriac sémantique programme inriac Abstract data types (Computer science) Congresses Software engineering Congresses Software Engineering (DE-588)4116521-4 gnd Algebraische Methode (DE-588)4141841-4 gnd |
| topic_facet | Fundamentele informatica Génie logiciel - Congrès Types abstraits de données (Informatique) - Congrès Types abstraits de données (informatique) - Congrès conception logiciel développement logiciel logiciel mathématique machine abstraite méthode algébrique méthode formelle processus algébrique sémantique programme Abstract data types (Computer science) Congresses Software engineering Congresses Software Engineering Algebraische Methode Konferenzschrift 2000 Iowa City Iowa |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=008939977&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT rusteodor algebraicmethodologyandsoftwaretechnology8thinternationalconferenceamast2000iowacityiowausamay20272000proceedings AT amastiowacityiowa algebraicmethodologyandsoftwaretechnology8thinternationalconferenceamast2000iowacityiowausamay20272000proceedings |