Theory and practice of software development: proceedings
Gespeichert in:
| Format: | Tagungsbericht Buch |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Berlin u.a.
Springer
1995
|
| Schriftenreihe: | Lecture notes in computer science
915 |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | XV, 810 S. graph. Darst. |
| ISBN: | 3540592938 0387592938 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV010124762 | ||
| 003 | DE-604 | ||
| 005 | 20181011 | ||
| 007 | t| | ||
| 008 | 950327s1995 gw d||| |||| 10||| eng d | ||
| 016 | 7 | |a 943930553 |2 DE-101 | |
| 020 | |a 3540592938 |9 3-540-59293-8 | ||
| 020 | |a 0387592938 |9 0-387-59293-8 | ||
| 035 | |a (OCoLC)832656046 | ||
| 035 | |a (DE-599)BVBBV010124762 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 044 | |a gw |c DE | ||
| 049 | |a DE-739 |a DE-384 |a DE-91G |a DE-19 |a DE-20 |a DE-706 |a DE-634 |a DE-83 |a DE-188 |a DE-11 | ||
| 050 | 0 | |a QA76.76.D47I58 1995 | |
| 082 | 0 | |a 005.1 20 | |
| 084 | |a DAT 310f |2 stub | ||
| 084 | |a 28 |2 sdnb | ||
| 245 | 1 | 0 | |a Theory and practice of software development |b proceedings |c TAPSOFT '95, 6th International Joint Conference CAAP/FASE Aarhus, Denmark, May 22 - 26, 1995. Peter D. Mosses ... (ed.) |
| 264 | 1 | |a Berlin u.a. |b Springer |c 1995 | |
| 300 | |a XV, 810 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 915 | |
| 650 | 4 | |a Computer software -- Development -- Congresses | |
| 650 | 0 | 7 | |a Softwareentwicklung |0 (DE-588)4116522-6 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 1995 |z Århus |2 gnd-content | |
| 689 | 0 | 0 | |a Softwareentwicklung |0 (DE-588)4116522-6 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Mosses, Peter D. |d 1948- |e Sonstige |0 (DE-588)1089492286 |4 oth | |
| 711 | 2 | |a TAPSOFT |n 6 |d 1995 |c Århus |j Sonstige |0 (DE-588)2145565-X |4 oth | |
| 830 | 0 | |a Lecture notes in computer science |v 915 |w (DE-604)BV000000607 |9 915 | |
| 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=006724149&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-006724149 | |
Datensatz im Suchindex
| _version_ | 1820868258721431552 |
|---|---|
| adam_text |
TABLE
OF
CONTENTS
I
INVITED
LECTURES
1
A
DECADE
OF
TAPSOFT:
ASPECTS
OF
PROGRESS
AND
PROSPECTS
IN
THEORY
AND
PRACTICE
OF
SOFTWARE
DEVELOPMENT
.
3
H.
EHRIG,
B.
MAHR
THEORY
AND
PRACTICE
OF
SOFTWARE
DEVELOPMENT
-
STAGES
IN
A
DEBATE
.
25
C.
FLOYD
RATIONAL
SPACES
AND
SET
CONSTRAINTS
.
42
D.
KOZEN
FORMAL
METHODS
AND
SOCIAL
CONTEXT
IN
SOFTWARE
DEVELOPMENT
.
62
J.A.
GOGUEN,
LUQI
TESTING
CAN
BE
FORMAL,
TOO
.
82
M.-C.
GAUDEL
ANATOMY
OF
THE
PENTIUM
BUG
.
97
V.
PRATT
RATIONAL
MECHANICS
AND
NATURAL
MATHEMATICS
.
108
V.
PRATT
II
CAAP
123
CAAP-L:
TREES
&
AUTOMATA
FIRST-ORDER
LOGIC
ON
FINITE
TREES
.
125
A.
POTTHOFF
DECIDABILITY
OF
EQUIVALENCE
FOR
DETERMINISTIC
SYNCHRONIZED
TREE
AUTOMATA
.
140
K.
SALOMAA
THE
EQUIVALENCE
PROBLEM
FOR
LETTER-TO-LETTER
BOTTOM-UP
TREE
TRANSDUCERS
IS
SOLVABLE
.
155
Y.
ANDRE,
F.
BOSSUT
CAAP-2:
CONCURRENCY
I
TT
I:
A
SYMMETRIC
CALCULUS
BASED
ON
INTERNAL
MOBILITY
.
172
D.
SANGIORGI
COMPLETE
INFERENCE
SYSTEMS
FOR
WEAK
BISIMULATION
EQUIVALENCES
IN
THE
7R-CALCULUS
.
187
H.
LIN
XII
REASONING
ABOUT
HIGHER-ORDER
PROCESSES
.
202
R.M.
AMADIO,
M.
DAM
CONFLUENCE
OF
PROCESSES
AND
SYSTEMS
OF
OBJECTS
.
217
X.
LIU,
D.
WALKER
CAAP-3:
LOGIC
&
SPECIFICATION
AN
ALGEBRAIC
APPROACH
TO
TEMPORAL
LOGIC
.
232
B.
V'ON
KARGER
ON
BEHAVIOURAL
ABSTRACTION
AND
BEHAVIOURAL
SATISFACTION
IN
HIGHER-ORDER
LOGIC
.
247
M.
HOFMANN,
D.
SANNELLA
ASSUMPTION/GUARANTEE
SPECIFICATIONS
IN
LINEAR-TIME
TEMPORAL
LOGIC
(EXTENDED
ABSTRACT)
.
262
B.
JONSSON,
Y.-K.
TSAY
CAAP-4:
FORMAL
LANGUAGES
FINE
HIERARCHY
OF
REGULAR
W-LANGUAGES
.
277
V.
SELIVANOV
COMPUTING
THE
WADGE
DEGREE,
THE
LIFSCHITZ
DEGREE,
AND
THE
RABIN
INDEX
OF
A
REGULAR
LANGUAGE
OF
INFINITE
WORDS
IN
POLYNOMIAL
TIME
.
288
T.
WILKE,
H.
YOO
SEMI-TRACE
MORPHISMS
AND
RATIONAL
TRANSDUCTIONS
.
303
P.-A.
WACRENIER
NONFINITE
AXIOMATIZABILITY
OF
SHUFFLE
INEQUALITIES
.
318
S.L.
BLOOM,
Z.
ESIK
CAAP-5:
CONCURRENCY
II
ON
THE
CATEGORY
OF
PETRI
NET
COMPUTATIONS
.
334
V.
SASSONE
HIGH
UNDECIDABILITY
OF
WEAK
BISIMILARITY
FOR
PETRI
NETS
.
349
P.
JANCAR
POLYNOMIAL
ALGORITHMS
FOR
THE
SYNTHESIS
OF
BOUNDED
NETS
.
364
E.
BADOUEL,
L.
BEMARDINELLO,
PH.
DARONDEAU
CAAP-6:
REWRITING
SYSTEMS
SEMI-COMPLETENESS
OF
HIERARCHICAL
AND
SUPER-HIERARCHICAL
COMBINATIONS
OF
TERM
REWRITING
SYSTEMS
.
379
M.R.K.
KRISHNA
RAO
LAZY
NARROWING:
STRONG
COMPLETENESS
AND
EAGER
VARIABLE
ELIMINATION
(EXTENDED
ABSTRACT)
.
394
S.
OKUI,
A.
MIDDELDORP,
T.
IDA
XIII
ON
THE
EXPRESSIVE
POWER
OF ALGEBRAIC
GRAPH
GRAMMARS
WITH
APPLICATION
CONDITIONS
.
409
A.
WAGNER
CAAP-7:
SEMANTICS
GENERATED
MODELS
AND
THE
W-RULE:
THE
NONDETERMINISTIC
CASE
.
424
M.
WALICKI,
S.
MELDAL
CPO
MODELS
FOR
A
CLASS
OF
GSOS
LANGUAGES
.
439
L.
ACETO,
A.
INGOLFSDOTTIR
STATECHARTS,
TRANSITION
STRUCTURES
AND
TRANSFORMATIONS
.
454
A.
PERON
III
FASE
469
FASE-1:
TYPES
AN
IMPERATIVE
OBJECT
CALCULUS
.
471
M.
ABADI,
L.
CARDELLI
A
REFINEMENT
OF
IMPORT/EXPORT
DECLARATIONS
IN
MODULAR
LOGIC
PROGRAMMING
AND
ITS
SEMANTICS
.
486
I.
KARALI,
C.
HALATSIS
STRICTNESS
AND
TOTALITY
ANALYSIS
WITH
CONJUNCTION
.
501
K.L.
SOLBERG
FASE-2:
TOOLS
GENERIC
TECHNIQUES
FOR
SOURCE-LEVEL
DEBUGGING
AND
DYNAMIC
PROGRAM
SLICING
.
516
F.
TIP
REASONING
WITH
EXECUTABLE
SPECIFICATIONS
.
531
Y.
BERTOT,
R.
FRAER
CALCULATING
SOFTWARE
GENERATORS
FROM
SOLUTION
SPECIFICATIONS
.
546
R.B.
KIEBURTZ,
F.
BELLEGARDE,
J.
BELL,
J.
HOOK,
J.
LEWIS,
D.
OLIVA,
T.
SHEARD,
L.
WALTON,
T.
ZHOU
FASE-3:
STATIC
ANALYSIS
COMPARING
FLOW-BASED
BINDING-TIME
ANALYSES
.
561
J.
PALSBERG
CAN
YOU
TRUST
YOUR
DATA?
.
575
P.
0RB EK
STATIC
AND
DYNAMIC
PROCESSOR
ALLOCATION
FOR
HIGHER-ORDER
CONCURRENT
LANGUAGES
.
590
H.R.
NIELSON,
F.
NIELSON
XIV
FASE-4:
CASE
STUDIES
MECHANIZED
INDUCTIVE
PROOF
OF
PROPERTIES
OF
A
SIMPLE
CODE
OPTIMIZER
.
.
605
A.
GESER
DESCRIBING
A
SIGNAL
ANALYZER
IN
THE
PROCESS
ALGEBRA
PMC
-
A
CASE
STUDY
.
620
H.R.
ANDERSEN,
M.
MENDLER
A
GENTLE
INTRODUCTION
TO
SPECIFICATION
ENGINEERING
USING
A
CASE
STUDY
IN
TELECOMMUNICATIONS
.
636
S.
KLEUKER
FASE-5:
TRANSFORMATIONS
PRECISE
INTERPROCEDURAL
DATAFLOW
ANALYSIS
WITH
APPLICATIONS
TO
CONSTANT
PROPAGATION
.
651
M.
SAGIV,
T.
REPS,
S.
HORWITZ
FORMAL
SPECIFICATION
AND
PROTOTYPING
OF
A
PROGRAM
SPECIALIZER
.
666
S.
BLAZY,
PH.
FACON
PROVING
THE
CORRECTNESS
OF
RECURSION-BASED
AUTOMATIC
PROGRAM
TRANSFORMATIONS
.
681
D.
SANDS
FASE-6:
CONCURRENCY
REACTIVE
SYSTEM
SPECIFICATION
AND
REFINEMENT
.
696
K.
LANO
MEASURING
CONCURRENCY
OF
REGULAR
DISTRIBUTED
COMPUTATIONS
.
711
C.
BAREAU,
B.
CAILLAUD,
C.
JARD,
R.
THORAVAL
NON-SPECULATIVE
AND
UPWARD
INVOCATION
OF
CONTINUATIONS
IN
A
PARALLEL
LANGUAGE
.
726
L.
MOREAU
FASE-7:
SPECIFICATIONS
A
MODEL
INFERENCE
SYSTEM
FOR
GENERIC
SPECIFICATION
WITH
APPLICATION
TO
CODE
SHARING
.
741
D.
BERT,
C.
ORIAT
RELATIONS
AS
ABSTRACT
DATATYPES:
AN
INSTITUTION
TO
SPECIFY
RELATIONS
BETWEEN
ALGEBRAS
.
756
H.
BAUMEISTER
PERFORMANCE-ORIENTED
FORMAL
SPECIFICATIONS
-
THE
LOTOTIS
APPROACH
.
.
.
772
I.
SCHIEFERDECKER
XV
IV
TOOLS
787
TOOLS-1
S
IGNAL
:
A
FORMAL
DESIGN
ENVIRONMENT
FOR
REAL-TIME
SYSTEMS
.
789
EP-ATR
PROJECT
THE
META-FRAME:
AN
ENVIRONMENT
FOR
FLEXIBLE
TOOL
MANAGEMENT
.
.
.
791
B.
STEFFEN,
T.
MARGARIA,
A.
CLAFLEN
STEP:
THE
STANFORD
TEMPORAL
PROVER
.
793
Z.
MANNA,
N.
BJ0MER,
A.
BROWNE,
E.
CHANG,
M.
COLON,
L.
DE
ALFARO,
H.
DEVARAJAN,
A.
KAPUR,
J.
LEE,
H.
SIPMA,
T.
URIBE
THE
HOL-UNITY
VERIFICATION
SYSTEM
.
795
F.
ANDERSEN,
U.
BINAU,
K.
NYBLAD,
K.D.
PETERSEN,
J.S.
PETTERSSON
PLATO:
A
TOOL
TO
ASSIST
PROGRAMMING
AS
TERM
REWRITING
AND
THEOREM
PROVING
.
797
A.
J.
SAMPAIO,
A.M.
HAEBERER,
C.T.
PRATES,
C.D.
URURAHY,
M.F.
FRIAS,
N.C.
ALBUQUERQUE
TOOLS-2
LOFT:
A
TOOL
FOR
ASSISTING
SELECTION
OF
TEST
DATA
SETS
FROM
ALGEBRAIC
SPECIFICATIONS
.
799
B.
MARRE
THE
SMOLCS
TOOLSET
.
801
E.
ASTESIANO,
G.
REGGIO,
F.
MORANDO
THE
ASF+SDF
META-ENVIRONMENT:
DOCUMENTATION
TOOLS
FOR
FREE!
.
803
M.G.J.
VAN
DEN
BRAND,
E.
VISSER
THE
B-TOOLKIT
DEMONSTRATION
.
805
B-CORE
(UK)
LTD.
TOOLS-3
OBJECT
ORIENTED
SEMANTICS
DIRECTED
COMPILER
GENERATION:
A
PROTOTYPE
.
807
L.C.C.
GUEDES,
E.H.
HAEUSLER,
J.L.
RANGEL
AUTHOR
INDEX
.
809 |
| any_adam_object | 1 |
| author_GND | (DE-588)1089492286 |
| building | Verbundindex |
| bvnumber | BV010124762 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.76.D47I58 1995 |
| callnumber-search | QA76.76.D47I58 1995 |
| callnumber-sort | QA 276.76 D47 I58 41995 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | SS 1995 SS 4800 |
| classification_tum | DAT 310f |
| ctrlnum | (OCoLC)832656046 (DE-599)BVBBV010124762 |
| dewey-full | 005.120 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.1 20 |
| dewey-search | 005.1 20 |
| dewey-sort | 15.1 220 |
| 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">BV010124762</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20181011</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">950327s1995 gw d||| |||| 10||| eng d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">943930553</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540592938</subfield><subfield code="9">3-540-59293-8</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0387592938</subfield><subfield code="9">0-387-59293-8</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)832656046</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV010124762</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-739</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-188</subfield><subfield code="a">DE-11</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.76.D47I58 1995</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.1 20</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 310f</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">Theory and practice of software development</subfield><subfield code="b">proceedings</subfield><subfield code="c">TAPSOFT '95, 6th International Joint Conference CAAP/FASE Aarhus, Denmark, May 22 - 26, 1995. Peter D. Mosses ... (ed.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin u.a.</subfield><subfield code="b">Springer</subfield><subfield code="c">1995</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XV, 810 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">915</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer software -- Development -- 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="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">1995</subfield><subfield code="z">Århus</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" 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="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Mosses, Peter D.</subfield><subfield code="d">1948-</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)1089492286</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">TAPSOFT</subfield><subfield code="n">6</subfield><subfield code="d">1995</subfield><subfield code="c">Århus</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)2145565-X</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">915</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">915</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=006724149&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-006724149</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 1995 Århus gnd-content |
| genre_facet | Konferenzschrift 1995 Århus |
| id | DE-604.BV010124762 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T13:21:31Z |
| institution | BVB |
| institution_GND | (DE-588)2145565-X |
| isbn | 3540592938 0387592938 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-006724149 |
| oclc_num | 832656046 |
| open_access_boolean | |
| owner | DE-739 DE-384 DE-91G DE-BY-TUM DE-19 DE-BY-UBM DE-20 DE-706 DE-634 DE-83 DE-188 DE-11 |
| owner_facet | DE-739 DE-384 DE-91G DE-BY-TUM DE-19 DE-BY-UBM DE-20 DE-706 DE-634 DE-83 DE-188 DE-11 |
| physical | XV, 810 S. graph. Darst. |
| publishDate | 1995 |
| publishDateSearch | 1995 |
| publishDateSort | 1995 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | Theory and practice of software development proceedings TAPSOFT '95, 6th International Joint Conference CAAP/FASE Aarhus, Denmark, May 22 - 26, 1995. Peter D. Mosses ... (ed.) Berlin u.a. Springer 1995 XV, 810 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 915 Computer software -- Development -- Congresses Softwareentwicklung (DE-588)4116522-6 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 1995 Århus gnd-content Softwareentwicklung (DE-588)4116522-6 s DE-604 Mosses, Peter D. 1948- Sonstige (DE-588)1089492286 oth TAPSOFT 6 1995 Århus Sonstige (DE-588)2145565-X oth Lecture notes in computer science 915 (DE-604)BV000000607 915 DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006724149&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Theory and practice of software development proceedings Lecture notes in computer science Computer software -- Development -- Congresses Softwareentwicklung (DE-588)4116522-6 gnd |
| subject_GND | (DE-588)4116522-6 (DE-588)1071861417 |
| title | Theory and practice of software development proceedings |
| title_auth | Theory and practice of software development proceedings |
| title_exact_search | Theory and practice of software development proceedings |
| title_full | Theory and practice of software development proceedings TAPSOFT '95, 6th International Joint Conference CAAP/FASE Aarhus, Denmark, May 22 - 26, 1995. Peter D. Mosses ... (ed.) |
| title_fullStr | Theory and practice of software development proceedings TAPSOFT '95, 6th International Joint Conference CAAP/FASE Aarhus, Denmark, May 22 - 26, 1995. Peter D. Mosses ... (ed.) |
| title_full_unstemmed | Theory and practice of software development proceedings TAPSOFT '95, 6th International Joint Conference CAAP/FASE Aarhus, Denmark, May 22 - 26, 1995. Peter D. Mosses ... (ed.) |
| title_short | Theory and practice of software development |
| title_sort | theory and practice of software development proceedings |
| title_sub | proceedings |
| topic | Computer software -- Development -- Congresses Softwareentwicklung (DE-588)4116522-6 gnd |
| topic_facet | Computer software -- Development -- Congresses Softwareentwicklung Konferenzschrift 1995 Århus |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006724149&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT mossespeterd theoryandpracticeofsoftwaredevelopmentproceedings AT tapsoftarhus theoryandpracticeofsoftwaredevelopmentproceedings |