Recent trends in algebraic development techniques: 12th international workshop, WADT '97, Tarquinia, Italy, June 3 - 7, 1997 ; selected papers
Gespeichert in:
| Format: | Tagungsbericht Buch |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Berlin [u.a.]
Springer
1998
|
| Schriftenreihe: | Lecture notes in computer science
1376 |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | VIII, 433 S. graph. Darst. |
| ISBN: | 3540642994 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV011814820 | ||
| 003 | DE-604 | ||
| 005 | 19980806 | ||
| 007 | t| | ||
| 008 | 980303s1998 gw d||| |||| 10||| eng d | ||
| 016 | 7 | |a 953005925 |2 DE-101 | |
| 020 | |a 3540642994 |9 3-540-64299-4 | ||
| 035 | |a (OCoLC)38573151 | ||
| 035 | |a (DE-599)BVBBV011814820 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 044 | |a gw |c DE | ||
| 049 | |a DE-20 |a DE-91G |a DE-384 |a DE-739 |a DE-19 |a DE-521 |a DE-634 |a DE-83 |a DE-706 | ||
| 050 | 0 | |a QA76.76.D47W33 1997 | |
| 082 | 0 | |a 005.1 21 | |
| 082 | 0 | |a 005.1 |2 21 | |
| 084 | |a DAT 510f |2 stub | ||
| 084 | |a 28 |2 sdnb | ||
| 245 | 1 | 0 | |a Recent trends in algebraic development techniques |b 12th international workshop, WADT '97, Tarquinia, Italy, June 3 - 7, 1997 ; selected papers |c Francesco Parisi Presicce (ed.) |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 1998 | |
| 300 | |a VIII, 433 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Lecture notes in computer science |v 1376 | |
| 650 | 4 | |a Informatique - Mathématiques - Congrès | |
| 650 | 7 | |a Informatique - Mathématiques - Congrès |2 ram | |
| 650 | 4 | |a Logiciels - Développement - Congrès | |
| 650 | 7 | |a Logiciels - Développement - Congrès |2 ram | |
| 650 | 7 | |a Programmatuurtechniek |2 gtt | |
| 650 | 4 | |a Types abstraits de données (Informatique) | |
| 650 | 7 | |a Types abstraits de données (informatique) - Congrès |2 ram | |
| 650 | 7 | |a démonstration théorème |2 inriac | |
| 650 | 7 | |a ingénierie inverse |2 inriac | |
| 650 | 7 | |a langage spécification |2 inriac | |
| 650 | 7 | |a optimisation compilateur |2 inriac | |
| 650 | 7 | |a réécriture |2 inriac | |
| 650 | 7 | |a spécification algébrique |2 inriac | |
| 650 | 7 | |a structure algébrique |2 inriac | |
| 650 | 7 | |a système concurrent |2 inriac | |
| 650 | 7 | |a système objet |2 inriac | |
| 650 | 4 | |a Informatik | |
| 650 | 4 | |a Mathematik | |
| 650 | 4 | |a Computer software -- Development -- Congresses | |
| 650 | 4 | |a Computer science -- Mathematics -- Congresses | |
| 650 | 4 | |a Abstract data types (Computer science) -- Congresses | |
| 650 | 0 | 7 | |a Algebraische Spezifikation |0 (DE-588)4207192-6 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 1997 |z Tarquinia |2 gnd-content | |
| 689 | 0 | 0 | |a Algebraische Spezifikation |0 (DE-588)4207192-6 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Parisi-Presicce, Francesco |e Sonstige |0 (DE-588)112508537 |4 oth | |
| 711 | 2 | |a WADT |n 12 |d 1997 |c Tarquinia |j Sonstige |0 (DE-588)2168894-1 |4 oth | |
| 830 | 0 | |a Lecture notes in computer science |v 1376 |w (DE-604)BV000000607 |9 1376 | |
| 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=007978356&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-007978356 | |
Datensatz im Suchindex
| _version_ | 1820874872280055808 |
|---|---|
| adam_text |
TABLE
OF
CONTENTS
INVITED
PAPERS
H.
EHRIG,
M.
GAJEWSKY
AND
U.
WOLTER
FROM
ABSTRACT
DATA
TYPES
TO
ALGEBRAIC
DEVELOPMENT
TECHNIQUES:
A
SHIFT
OF
PARADIGMS
1
J.
MESEGUER
MEMBERSHIP
ALGEBRA
AS
A
LOGICAL
FRAMEWORK
FOR
EQUATIONAL
SPECIFICATION
18
J.
MESEGUER
AND
U.
MONTANARI
MAPPING
TILE
LOGIC
INTO
REWRITING
LOGIC
62
CONTRIBUTED
PAPERS
D.
ANCONA
AND
E.
ZUCCA
AN
ALGEBRA
OF
MIXIN
MODULES
92
T.
BORZYSZKOWSKI
CORRECTNESS
OF
A
LOGICAL
SYSTEM
FOR
STRUCTURED
SPECIFICATIONS
107
R.
BRUNI
AND
U.
MONTANARI
ZERO-SAFE
NETS:
THE
INDIVIDUAL
TOKEN
APPROACH
122
M.
CERIOLI
AND
E.
ZUCCA
IMPLEMENTATION
OF
DERIVED
PROGRAMS
(ALMOST)
FOR
FREE
141
S.
CHERKI
AND
C.
CHOPPY
A
METHOD
FOR
FORTRAN
PROGRAMS
REVERSE
ENGINEERING
USING
ALGEBRAIC
SPECIFICATIONS
156
C.
CIRSTEA
COALGEBRA
SEMANTICS
FOR
HIDDEN
ALGEBRA:
PARAMETERISED
OBJECTS
AND
INHERITANCE
174
A.
CORRADINI
A
COMPLETENESS
RESULT
FOR
EQUATIONAL
DEDUCTION
IN
COALGEBRAIC
SPECIFICATION
190
F.
M.
DIONISIO
AND
U.
W.
LIPECK
SPECIFYING
WITH
DEFAULTS:
COMPOSITIONAL
SEMANTICS
206
F.
GADDUCCI
AND
R.
HECKEL
AN
INDUCTIVE
VIEW
OF
GRAPH
TRANSFORMATION
223
M.
GOGOLLA
AND
M.
RICHTERS
ON
COMBINING
SEMIFORMAL
AND
FORMAL
OBJECT
SPECIFICATION
TECHNIQUES
238
B.
GRAMLICH
MODULAR
ASPECTS
OF
REWRITE-BASED
SPECIFICATIONS
253
M.
GROFIE-RHODE
FROM
ALGEBRA
TRANSFORMATION
TO
LABELLED
TRANSITION
SYSTEMS
269
VIII
S.
LASOTA
OPEN
MAPS
AS
A
BRIDGE
BETWEEN
ALGEBRAIC
OBSERVATIONAL
EQUIVALENCE
AND
BISIMILARITY
285
A.
MARTINI
AND
U.
WOLTER
A
SYSTEMATIC
STUDY
OF
MAPPINGS
BETWEEN
INSTITUTIONS
300
T.
MOSSAKOWSKI
COLIMITS
OF
ORDER-SORTED
SPECIFICATIONS
316
T.
MOSSAKOWSKI,
KOIYANG
AND
B.
KRIEG-BRUCKNER
STATIC
SEMANTIC
ANALYSIS
AND
THEOREM
PROVING
FOR
CASL
333
T.
MOSSAKOWSKI,
A.
TARLECKI
AND
W.
PAWLOWSKI
COMBINING
AND
REPRESENTING
LOGICAL
SYSTEMS
USING
MODEL-THEORETIC
PARCHMENTS
349
P.
PADAWITZ
TOWARDS
THE
ONE-TIERED
DESIGN
OF
DATA
TYPES
AND
TRANSITION
SYSTEMS
365
W.
PAWLOWSKI
CONTEXT
PARCHMENTS
381
B.
REUS,
A.
KNAPP,
P.
CENCIARELLI
AND
M.
WIRSING
VERIFYING
A
COMPILER
OPTIMIZATION
FOR
MULTI-THREADED
JAVA
402
M.
WALICKI
AND
M.
BIALASIK
CATEGORIES
OF
RELATIONAL
STRUCTURES
AUTHOR
INDEX
418
435 |
| any_adam_object | 1 |
| author_GND | (DE-588)112508537 |
| building | Verbundindex |
| bvnumber | BV011814820 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.76.D47W33 1997 |
| callnumber-search | QA76.76.D47W33 1997 |
| callnumber-sort | QA 276.76 D47 W33 41997 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | SS 1997 SS 4800 |
| classification_tum | DAT 510f |
| ctrlnum | (OCoLC)38573151 (DE-599)BVBBV011814820 |
| dewey-full | 005.121 005.1 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.1 21 005.1 |
| dewey-search | 005.1 21 005.1 |
| dewey-sort | 15.1 221 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| format | Conference Proceeding Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 cb4500</leader><controlfield tag="001">BV011814820</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">19980806</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">980303s1998 gw d||| |||| 10||| eng d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">953005925</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540642994</subfield><subfield code="9">3-540-64299-4</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)38573151</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV011814820</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-20</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-521</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-706</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.76.D47W33 1997</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.1 21</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.1</subfield><subfield code="2">21</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 510f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">28</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Recent trends in algebraic development techniques</subfield><subfield code="b">12th international workshop, WADT '97, Tarquinia, Italy, June 3 - 7, 1997 ; selected papers</subfield><subfield code="c">Francesco Parisi Presicce (ed.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">1998</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">VIII, 433 S.</subfield><subfield code="b">graph. Darst.</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">1376</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Informatique - Mathématiques - Congrès</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Informatique - Mathématiques - Congrès</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logiciels - Développement - Congrès</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Logiciels - Développement - Congrès</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Programmatuurtechniek</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Types abstraits de données (Informatique)</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">démonstration théorème</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">ingénierie inverse</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">langage spécification</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">optimisation compilateur</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">réécriture</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">spécification algébrique</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">structure algébrique</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">système concurrent</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">système objet</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Informatik</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematik</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer software -- Development -- Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer science -- Mathematics -- Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Abstract data types (Computer science) -- Congresses</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Algebraische Spezifikation</subfield><subfield code="0">(DE-588)4207192-6</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">1997</subfield><subfield code="z">Tarquinia</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Algebraische Spezifikation</subfield><subfield code="0">(DE-588)4207192-6</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">Parisi-Presicce, Francesco</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)112508537</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">WADT</subfield><subfield code="n">12</subfield><subfield code="d">1997</subfield><subfield code="c">Tarquinia</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)2168894-1</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">1376</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">1376</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=007978356&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-007978356</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 1997 Tarquinia gnd-content |
| genre_facet | Konferenzschrift 1997 Tarquinia |
| id | DE-604.BV011814820 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T15:06:38Z |
| institution | BVB |
| institution_GND | (DE-588)2168894-1 |
| isbn | 3540642994 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-007978356 |
| oclc_num | 38573151 |
| open_access_boolean | |
| owner | DE-20 DE-91G DE-BY-TUM DE-384 DE-739 DE-19 DE-BY-UBM DE-521 DE-634 DE-83 DE-706 |
| owner_facet | DE-20 DE-91G DE-BY-TUM DE-384 DE-739 DE-19 DE-BY-UBM DE-521 DE-634 DE-83 DE-706 |
| physical | VIII, 433 S. graph. Darst. |
| publishDate | 1998 |
| publishDateSearch | 1998 |
| publishDateSort | 1998 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | Recent trends in algebraic development techniques 12th international workshop, WADT '97, Tarquinia, Italy, June 3 - 7, 1997 ; selected papers Francesco Parisi Presicce (ed.) Berlin [u.a.] Springer 1998 VIII, 433 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 1376 Informatique - Mathématiques - Congrès Informatique - Mathématiques - Congrès ram Logiciels - Développement - Congrès Logiciels - Développement - Congrès ram Programmatuurtechniek gtt Types abstraits de données (Informatique) Types abstraits de données (informatique) - Congrès ram démonstration théorème inriac ingénierie inverse inriac langage spécification inriac optimisation compilateur inriac réécriture inriac spécification algébrique inriac structure algébrique inriac système concurrent inriac système objet inriac Informatik Mathematik Computer software -- Development -- Congresses Computer science -- Mathematics -- Congresses Abstract data types (Computer science) -- Congresses Algebraische Spezifikation (DE-588)4207192-6 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 1997 Tarquinia gnd-content Algebraische Spezifikation (DE-588)4207192-6 s DE-604 Parisi-Presicce, Francesco Sonstige (DE-588)112508537 oth WADT 12 1997 Tarquinia Sonstige (DE-588)2168894-1 oth Lecture notes in computer science 1376 (DE-604)BV000000607 1376 DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007978356&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Recent trends in algebraic development techniques 12th international workshop, WADT '97, Tarquinia, Italy, June 3 - 7, 1997 ; selected papers Lecture notes in computer science Informatique - Mathématiques - Congrès Informatique - Mathématiques - Congrès ram Logiciels - Développement - Congrès Logiciels - Développement - Congrès ram Programmatuurtechniek gtt Types abstraits de données (Informatique) Types abstraits de données (informatique) - Congrès ram démonstration théorème inriac ingénierie inverse inriac langage spécification inriac optimisation compilateur inriac réécriture inriac spécification algébrique inriac structure algébrique inriac système concurrent inriac système objet inriac Informatik Mathematik Computer software -- Development -- Congresses Computer science -- Mathematics -- Congresses Abstract data types (Computer science) -- Congresses Algebraische Spezifikation (DE-588)4207192-6 gnd |
| subject_GND | (DE-588)4207192-6 (DE-588)1071861417 |
| title | Recent trends in algebraic development techniques 12th international workshop, WADT '97, Tarquinia, Italy, June 3 - 7, 1997 ; selected papers |
| title_auth | Recent trends in algebraic development techniques 12th international workshop, WADT '97, Tarquinia, Italy, June 3 - 7, 1997 ; selected papers |
| title_exact_search | Recent trends in algebraic development techniques 12th international workshop, WADT '97, Tarquinia, Italy, June 3 - 7, 1997 ; selected papers |
| title_full | Recent trends in algebraic development techniques 12th international workshop, WADT '97, Tarquinia, Italy, June 3 - 7, 1997 ; selected papers Francesco Parisi Presicce (ed.) |
| title_fullStr | Recent trends in algebraic development techniques 12th international workshop, WADT '97, Tarquinia, Italy, June 3 - 7, 1997 ; selected papers Francesco Parisi Presicce (ed.) |
| title_full_unstemmed | Recent trends in algebraic development techniques 12th international workshop, WADT '97, Tarquinia, Italy, June 3 - 7, 1997 ; selected papers Francesco Parisi Presicce (ed.) |
| title_short | Recent trends in algebraic development techniques |
| title_sort | recent trends in algebraic development techniques 12th international workshop wadt 97 tarquinia italy june 3 7 1997 selected papers |
| title_sub | 12th international workshop, WADT '97, Tarquinia, Italy, June 3 - 7, 1997 ; selected papers |
| topic | Informatique - Mathématiques - Congrès Informatique - Mathématiques - Congrès ram Logiciels - Développement - Congrès Logiciels - Développement - Congrès ram Programmatuurtechniek gtt Types abstraits de données (Informatique) Types abstraits de données (informatique) - Congrès ram démonstration théorème inriac ingénierie inverse inriac langage spécification inriac optimisation compilateur inriac réécriture inriac spécification algébrique inriac structure algébrique inriac système concurrent inriac système objet inriac Informatik Mathematik Computer software -- Development -- Congresses Computer science -- Mathematics -- Congresses Abstract data types (Computer science) -- Congresses Algebraische Spezifikation (DE-588)4207192-6 gnd |
| topic_facet | Informatique - Mathématiques - Congrès Logiciels - Développement - Congrès Programmatuurtechniek Types abstraits de données (Informatique) Types abstraits de données (informatique) - Congrès démonstration théorème ingénierie inverse langage spécification optimisation compilateur réécriture spécification algébrique structure algébrique système concurrent système objet Informatik Mathematik Computer software -- Development -- Congresses Computer science -- Mathematics -- Congresses Abstract data types (Computer science) -- Congresses Algebraische Spezifikation Konferenzschrift 1997 Tarquinia |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007978356&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT parisipresiccefrancesco recenttrendsinalgebraicdevelopmenttechniques12thinternationalworkshopwadt97tarquiniaitalyjune371997selectedpapers AT wadttarquinia recenttrendsinalgebraicdevelopmenttechniques12thinternationalworkshopwadt97tarquiniaitalyjune371997selectedpapers |