Algebraic methodology and software technology: 6th international conference, AMAST '97, Sydney, Australia, December 13 - 17, 1997 ; proceedings
Gespeichert in:
| Format: | Tagungsbericht Buch |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Berlin [u.a.]
Springer
1997
|
| Schriftenreihe: | Lecture notes in computer science
1349 |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | X, 594 S. graph. Darst. |
| ISBN: | 3540638881 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV011637815 | ||
| 003 | DE-604 | ||
| 005 | 19981218 | ||
| 007 | t| | ||
| 008 | 971110s1997 gw d||| |||| 10||| eng d | ||
| 016 | 7 | |a 951992198 |2 DE-101 | |
| 020 | |a 3540638881 |9 3-540-63888-1 | ||
| 035 | |a (OCoLC)37947262 | ||
| 035 | |a (DE-599)BVBBV011637815 | ||
| 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-739 |a DE-384 |a DE-19 |a DE-898 |a DE-521 |a DE-83 |a DE-706 | ||
| 050 | 0 | |a QA76.758.A44 1997 | |
| 082 | 0 | |a 005.1/01/512 21 | |
| 082 | 0 | |a 005.1/01/512 |2 21 | |
| 084 | |a DAT 335f |2 stub | ||
| 084 | |a MAT 110f |2 stub | ||
| 084 | |a 28 |2 sdnb | ||
| 245 | 1 | 0 | |a Algebraic methodology and software technology |b 6th international conference, AMAST '97, Sydney, Australia, December 13 - 17, 1997 ; proceedings |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 1997 | |
| 300 | |a X, 594 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 1349 | |
| 650 | 7 | |a Engenharia de programacao (software) |2 larpcal | |
| 650 | 7 | |a Génie logiciel - Congrès |2 ram | |
| 650 | 7 | |a Informatica |2 gtt | |
| 650 | 7 | |a Logica |2 gtt | |
| 650 | 7 | |a Types abstraits de données (informatique) - Congrès |2 ram | |
| 650 | 7 | |a génie logiciel |2 inriac | |
| 650 | 7 | |a logique algébrique |2 inriac | |
| 650 | 7 | |a méthode formelle |2 inriac | |
| 650 | 7 | |a spécification algébrique |2 inriac | |
| 650 | 7 | |a technologie logiciel |2 inriac | |
| 650 | 4 | |a Logik | |
| 650 | 4 | |a Software engineering -- Congresses | |
| 650 | 4 | |a Abstract data types (Computer science) -- Congresses | |
| 650 | 0 | 7 | |a Softwareentwicklung |0 (DE-588)4116522-6 |2 gnd |9 rswk-swf |
| 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 1997 |z Sydney |2 gnd-content | |
| 689 | 0 | 0 | |a Software Engineering |0 (DE-588)4116521-4 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Softwareentwicklung |0 (DE-588)4116522-6 |D s |
| 689 | 1 | 1 | |a Algebraische Methode |0 (DE-588)4141841-4 |D s |
| 689 | 1 | |5 DE-604 | |
| 700 | 1 | |a Johnson, Michael K. |e Sonstige |4 oth | |
| 711 | 2 | |a AMAST |n 6 |d 1997 |c Sydney |j Sonstige |0 (DE-588)2166678-7 |4 oth | |
| 830 | 0 | |a Lecture notes in computer science |v 1349 |w (DE-604)BV000000607 |9 1349 | |
| 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=007843066&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-007843066 | |
Datensatz im Suchindex
| _version_ | 1820874870898032640 |
|---|---|
| adam_text |
TABLE
OF
CONTENTS
SOFTWARE
CONFIGURATION
WITH
INFORMATION
SYSTEMS
BY
SLIM
BEN
LAMINE
AND
JOHN
PLAICE
.
1
HEAD-TACTICS
SIMPLIFICATION
BY
YVES
BERTOT
.
16
ITERATION
2-THEORIES
BY
STEPHEN
L.
BLOOM,
ZOLTDN
ESIK,
ANNA
LABELLA
AND
ERNEST
G.
MANES
30
MODEL
CHECKING
AND
FAULT
TOLERANCE
BY
GLENN
BRUNS
AND
IAN
SUTHERLAND
.
45
DEADLOCK
ANALYSIS
FOR
A
FAULT-TOLERANT
SYSTEM
BY
BETTINA
BUTH,
MICHEL
KOUVARAS,
JAN
PELESKA
AND
HUI
SHI
.
60
FROM
SEQUENTIAL
TO
MULTI-THREADED
JAVA:
AN
EVENT-BASED
OPERATIONAL
SEMANTICS
BY
PIETRO
CENCIARELLI,
ALEXANDER
KNAPP,
BERNHARD
REUS
AND
MARTIN
WIRSING.
75
PERMISSIVE
SUBSORTED
PARTIAL
LOGIC
IN
CASL
BY
MAURA
CERIOLI,
ANNE
HAXTHAUSEN,
BERND
KRIEG-BRUCKNER
AND
TILL
MOSSAKOWSKI
.
91
SPECIFICATION
OF
TIMING
CONSTRAINTS
WITHIN
THE
CIRCAL
PROCESS
ALGEBRA
BY
ANTONIO
CERONE
AND
GEORGE
J.
MILNE
.
108
ON
THE
SPECIFICATION
AND
VERIFICATION
OF
PERFORMANCE
PROPERTIES
FOR
A
TIMED
PROCESS
ALGEBRA
BY
XIAO
JUN
CHEN
AND
FLAVIO
CORRADINI
.
123
ABSTRACT
INTERPRETATION
OF
ALGEBRAIC
POLYNOMIAL
SYSTEMS
BY
PATRICK
COUSOT
AND
RADHIA
COUSOT
.
138
MODULAR
REFINEMENT
AND
MODEL
BUILDING
BY
MARTIN
DE
GROOT
AND
KEN
ROBINSON
.
155
A
LINEAR
TEMPORAL
LOGIC
APPROACH
TO
OBJECTS
WITH
TRANSACTIONS
BY
GRIT
DENKER,
JAIME
RAMOS,
CARLOS
CALEIRO
AND
AMILCAR
SEMADAS
170
SOFTWARE
DESIGN,
SPECIFICATION,
AND
VERIFICATION:
LESSONS
LEARNED
FROM
THE
RETHER
CASE
STUDY
BY
XIAOQUN
DU,
KEVIN
T.
MCDONNELL,
EVANGELOS
NANOS,
Y.S.
RAMAKRISHNA
AND
SCOTT
A.
SMOLKA
.
185
REFINEMENT
RULES
FOR
REAL-TIME
MULTI-TASKING
PROGRAMS
BY
C.J.
FIDGE
.
199
VIII
RIGOROUS
OBJECT
ORIENTED-MODELING:
INTEGRATING
FORMAL
AND
INFORMAL
NOTATIONS
BY
R.B.
FRANCE,
J.-M.
BRUEL,
M.M.
LARRONDO-PETRIE
AND
E.
GRANT
.
.
216
COMPLETENESS
IN
ABSTRACT
INTERPRETATION:
A
DOMAIN
PERSPECTIVE
BY
ROBERTO
GIACOBAZZI
AND
FRANCESCO
RANZATO
.
231
FLOATING
POINT
VERIFICATION
IN
HOL
LIGHT:
THE
EXPONENTIAL
FUNCTION
BY
JOHN
HARRISON
.
246
VERIFICATION
OF
DISTRIBUTED
REAL-TIME
AND
FAULT-TOLERANT
PROTOCOLS
BY
JOZEF
HOOMAN
.
261
INVARIANTS,
BISIMULATIONS
AND
THE
CORRECTNESS
OF
COALGEBRAIC
REFINEMENTS
BY
BART
JACOBS
.
276
ON
BISIMULATION,
FAULT-MONOTONICITY
AND
PROVABLE
FAULT-TOLERANCE
BY
TOMASZ
JANOWSKI
.
292
SPAN(GRAPH):
A
CATEGORICAL
ALGEBRA
OF
TRANSITION
SYSTEMS
BY
PIERGIULIO
KATIS,
N.
SABADINI
AND
R.F.C.
WALTERS
.
307
REPRESENTING
PLACE/TRANSITION
NETS
IN
SPAN(GRAPH)
BY
PIERGIULIO
KATIS,
N.
SABADINI
AND
R.F.C.
WALTERS
.
322
INVARIANTS
OF
PARAMETERIZED
BINARY
TREE
NETWORKS
AS
GREATEST
FIXPOINTS
BY
DAVID
LESENS
.
337
MODELLING
SPECIFICATION
CONSTRUCTION
BY
SUCCESSIVE
APPROXIMATIONS
BY
NICOLE
LEVY
AND
JEANINE
SOUQUIERES
.
351
ON
PARTIAL
VALIDATION
OF
LOGIC
PROGRAMS
BY
SEBASTIEN
LIMET
AND
FREDERIC
SAUBION
.
365
PRESERVATION
AND
REFLECTION
IN
SPECIFICATION
BY
A.
LOPES
AND
J.L.
FIADEIRO
.
380
CASE
STUDIES
IN
USING
A
META-METHOD
FOR
FORMAL
METHOD
INTEGRATION
BY
RICHARD
F.
PAIGE
.
395
THE
UPDATE
CALCULUS
BY
JOACHIM
PARROW
AND
BJORN
VICTOR
.
409
SELECTIVE
ATTRIBUTE
ELIMINATION
FOR
CATEGORICAL
DATA
SPECIFICATIONS
BY
FRANK
PIESSENS
AND
ERIC
STEEGMANS
.
424
IX
ATM
SWITCH
DESIGN:
PARAMETRIC
HIGH-LEVEL
MODELING
AND
FORMAL
VERIFICATION
BY
SREERANGA
P.
RAJAN
AND
MASAHIRO
FUJITA
.
437
THE
HIDDEN
FUNCTION
QUESTION
REVISITED
BY
ARNO
SCHONEGGE
.
451
SYNCHRONIZATION
OF
LOGICS
WITH
MIXED
RULES:
COMPLETENESS
PRESERVATION
BY
AMILCAR
SERNADAS,
CRISTINA
SERNADAS
AND
CARLOS
CALEIRO
.
465
SYMBOLIC
BISIMULATION
FOR
FULL
LOTOS
BY
CARRON
SHANKLAND
AND
MUFFY
THOMAS
.
479
ALGEBRAIC
COMPOSITION
AND
REFINEMENT
OF
PROOFS
BY
MARTIN
SIMONS
AND
MICHEL
SINTZOFF
.
494
ENSURING
STREAMS
FLOW
BY
ALASTAIR
TELFORD
AND
DAVID
TURNER
.
509
EXTENDING
PROCESS
LANGUAGES
WITH
TIME
BY
IREK
ULIDOWSKI
AND
SHOJI
YUEN
.
524
PARAMETRIC
ANALYSIS
OF
COMPUTER
SYSTEMS
BY
FAM
WANG
AND
PAO-ANN
HSIUNG.
539
SYSTEMS
AND
TOOLS
DEMONSTRATIONS
CAMILA:
PROTOTYPING
AND
REFINEMENT
OF
CONSTRUCTIVE
SPECIFICATIONS
BY
J.
J.
ALMEIDA,
L.S.
BARBOSA,
F.L.
NEVES
AND
J.N.
OLIVEIRA
.
554
PAMELA+PVS
BY
BETTINA
BUTH
.
560
THE
CIRCAL
SYSTEM
BY
ANTONIO
CERONE,
ALEX
J.
COWIE
AND
GEORGE
J.
MILNE
.
563
A
REFINEMENT-TYPE
CHECKER
FOR
STANDARD
ML
BY
ROWAN
DAVIES
.
565
RECORDING
HOL
PROOFS
IN
A
STRUCTURED
BROWSABLE
FORMAT
BY
JIM
GRUNDY
AND
THOMAS
LDNGBACKA
.
567
ANALYSING
MULTI-AGENT
SYSTEM
TRACES
WITH
IDAF
BY
C.
K.
LOW
.
572
DOVE:
A
TOOL
FOR
DESIGN
ORIENTED
VERIFICATION
AND
EVALUATION
BY
M.A.
OZOLS,
K.A.
EASTAUGHFFE
AND
A.\CANT
.
574
THE
B
METHOD
AND
THE
B
TOOLKIT
BY
KEN
ROBINSON
.
576
X
AN
ALGEBRAIC
LANGUAGE
PROCESSING
ENVIRONMENT
BY
TEODOR
RUS,
TOM
HALVERSON,
ERIC
VAN
WYK
AND
ROBERT
KOOIMA
.
581
THE
COGITO
DEVELOPMENT
SYSTEM
BY
OWEN
TRAYNOR,
DAN
HAZEL,
PETER
KEARNEY,
ANDREW
MARTIN,
RAY
NICKSON
AND
LUKE
WILDMAN
.
586
AUTHOR
INDEX
.
593 |
| any_adam_object | 1 |
| building | Verbundindex |
| bvnumber | BV011637815 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.758.A44 1997 |
| callnumber-search | QA76.758.A44 1997 |
| callnumber-sort | QA 276.758 A44 41997 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | SS 1997 SS 4800 |
| classification_tum | DAT 335f MAT 110f |
| ctrlnum | (OCoLC)37947262 (DE-599)BVBBV011637815 |
| dewey-full | 005.1/01/51221 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 21 005.1/01/512 |
| dewey-search | 005.1/01/512 21 005.1/01/512 |
| dewey-sort | 15.1 11 3512 221 |
| 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 a2200000 cb4500</leader><controlfield tag="001">BV011637815</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">19981218</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">971110s1997 gw d||| |||| 10||| eng d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">951992198</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540638881</subfield><subfield code="9">3-540-63888-1</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)37947262</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV011637815</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-739</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-898</subfield><subfield code="a">DE-521</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-706</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.758.A44 1997</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.1/01/512 21</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="084" ind1=" " ind2=" "><subfield code="a">28</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Algebraic methodology and software technology</subfield><subfield code="b">6th international conference, AMAST '97, Sydney, Australia, December 13 - 17, 1997 ; proceedings</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">1997</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">X, 594 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">1349</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Engenharia de programacao (software)</subfield><subfield code="2">larpcal</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="7"><subfield code="a">Informatica</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Logica</subfield><subfield code="2">gtt</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">génie logiciel</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">logique 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">spécification algébrique</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">technologie logiciel</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logik</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Software engineering -- 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">Softwareentwicklung</subfield><subfield code="0">(DE-588)4116522-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</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">1997</subfield><subfield code="z">Sydney</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=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Softwareentwicklung</subfield><subfield code="0">(DE-588)4116522-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" 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="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Johnson, Michael K.</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">6</subfield><subfield code="d">1997</subfield><subfield code="c">Sydney</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)2166678-7</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">1349</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">1349</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=007843066&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-007843066</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 1997 Sydney gnd-content |
| genre_facet | Konferenzschrift 1997 Sydney |
| id | DE-604.BV011637815 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T15:06:37Z |
| institution | BVB |
| institution_GND | (DE-588)2166678-7 |
| isbn | 3540638881 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-007843066 |
| oclc_num | 37947262 |
| open_access_boolean | |
| owner | DE-20 DE-91G DE-BY-TUM DE-739 DE-384 DE-19 DE-BY-UBM DE-898 DE-BY-UBR DE-521 DE-83 DE-706 |
| owner_facet | DE-20 DE-91G DE-BY-TUM DE-739 DE-384 DE-19 DE-BY-UBM DE-898 DE-BY-UBR DE-521 DE-83 DE-706 |
| physical | X, 594 S. graph. Darst. |
| publishDate | 1997 |
| publishDateSearch | 1997 |
| publishDateSort | 1997 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | Algebraic methodology and software technology 6th international conference, AMAST '97, Sydney, Australia, December 13 - 17, 1997 ; proceedings Berlin [u.a.] Springer 1997 X, 594 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 1349 Engenharia de programacao (software) larpcal Génie logiciel - Congrès ram Informatica gtt Logica gtt Types abstraits de données (informatique) - Congrès ram génie logiciel inriac logique algébrique inriac méthode formelle inriac spécification algébrique inriac technologie logiciel inriac Logik Software engineering -- Congresses Abstract data types (Computer science) -- Congresses Softwareentwicklung (DE-588)4116522-6 gnd rswk-swf Software Engineering (DE-588)4116521-4 gnd rswk-swf Algebraische Methode (DE-588)4141841-4 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 1997 Sydney gnd-content Software Engineering (DE-588)4116521-4 s DE-604 Softwareentwicklung (DE-588)4116522-6 s Algebraische Methode (DE-588)4141841-4 s Johnson, Michael K. Sonstige oth AMAST 6 1997 Sydney Sonstige (DE-588)2166678-7 oth Lecture notes in computer science 1349 (DE-604)BV000000607 1349 DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007843066&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Algebraic methodology and software technology 6th international conference, AMAST '97, Sydney, Australia, December 13 - 17, 1997 ; proceedings Lecture notes in computer science Engenharia de programacao (software) larpcal Génie logiciel - Congrès ram Informatica gtt Logica gtt Types abstraits de données (informatique) - Congrès ram génie logiciel inriac logique algébrique inriac méthode formelle inriac spécification algébrique inriac technologie logiciel inriac Logik Software engineering -- Congresses Abstract data types (Computer science) -- Congresses Softwareentwicklung (DE-588)4116522-6 gnd Software Engineering (DE-588)4116521-4 gnd Algebraische Methode (DE-588)4141841-4 gnd |
| subject_GND | (DE-588)4116522-6 (DE-588)4116521-4 (DE-588)4141841-4 (DE-588)1071861417 |
| title | Algebraic methodology and software technology 6th international conference, AMAST '97, Sydney, Australia, December 13 - 17, 1997 ; proceedings |
| title_auth | Algebraic methodology and software technology 6th international conference, AMAST '97, Sydney, Australia, December 13 - 17, 1997 ; proceedings |
| title_exact_search | Algebraic methodology and software technology 6th international conference, AMAST '97, Sydney, Australia, December 13 - 17, 1997 ; proceedings |
| title_full | Algebraic methodology and software technology 6th international conference, AMAST '97, Sydney, Australia, December 13 - 17, 1997 ; proceedings |
| title_fullStr | Algebraic methodology and software technology 6th international conference, AMAST '97, Sydney, Australia, December 13 - 17, 1997 ; proceedings |
| title_full_unstemmed | Algebraic methodology and software technology 6th international conference, AMAST '97, Sydney, Australia, December 13 - 17, 1997 ; proceedings |
| title_short | Algebraic methodology and software technology |
| title_sort | algebraic methodology and software technology 6th international conference amast 97 sydney australia december 13 17 1997 proceedings |
| title_sub | 6th international conference, AMAST '97, Sydney, Australia, December 13 - 17, 1997 ; proceedings |
| topic | Engenharia de programacao (software) larpcal Génie logiciel - Congrès ram Informatica gtt Logica gtt Types abstraits de données (informatique) - Congrès ram génie logiciel inriac logique algébrique inriac méthode formelle inriac spécification algébrique inriac technologie logiciel inriac Logik Software engineering -- Congresses Abstract data types (Computer science) -- Congresses Softwareentwicklung (DE-588)4116522-6 gnd Software Engineering (DE-588)4116521-4 gnd Algebraische Methode (DE-588)4141841-4 gnd |
| topic_facet | Engenharia de programacao (software) Génie logiciel - Congrès Informatica Logica Types abstraits de données (informatique) - Congrès génie logiciel logique algébrique méthode formelle spécification algébrique technologie logiciel Logik Software engineering -- Congresses Abstract data types (Computer science) -- Congresses Softwareentwicklung Software Engineering Algebraische Methode Konferenzschrift 1997 Sydney |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007843066&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT johnsonmichaelk algebraicmethodologyandsoftwaretechnology6thinternationalconferenceamast97sydneyaustraliadecember13171997proceedings AT amastsydney algebraicmethodologyandsoftwaretechnology6thinternationalconferenceamast97sydneyaustraliadecember13171997proceedings |