Algebraic methodology and software technology: 4th international conference, AMAST '95, Montreal, Canada, July 3 - 7, 1995 ; proceedings
Saved in:
| Format: | Conference Proceeding Book |
|---|---|
| Language: | English |
| Published: |
Berlin u.a.
Springer
1995
|
| Series: | Lecture notes in computer science
936 |
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Physical Description: | XIV, 591 S. graph. Darst. |
| ISBN: | 3540600434 |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV010211179 | ||
| 003 | DE-604 | ||
| 005 | 19950829 | ||
| 007 | t| | ||
| 008 | 950530s1995 gw d||| |||| 10||| eng d | ||
| 016 | 7 | |a 944479847 |2 DE-101 | |
| 020 | |a 3540600434 |9 3-540-60043-4 | ||
| 035 | |a (OCoLC)32665092 | ||
| 035 | |a (DE-599)BVBBV010211179 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 044 | |a gw |c DE | ||
| 049 | |a DE-739 |a DE-91G |a DE-384 |a DE-19 |a DE-20 |a DE-634 |a DE-83 |a DE-706 |a DE-11 |a DE-188 | ||
| 050 | 0 | |a QA76.758.I5713 1995 | |
| 082 | 0 | |a 005.1/01/512 |2 20 | |
| 082 | 0 | |a 005.1/01/512 20 | |
| 084 | |a ST 230 |0 (DE-625)143617: |2 rvk | ||
| 084 | |a MAT 110f |2 stub | ||
| 084 | |a DAT 310f |2 stub | ||
| 084 | |a 28 |2 sdnb | ||
| 245 | 1 | 0 | |a Algebraic methodology and software technology |b 4th international conference, AMAST '95, Montreal, Canada, July 3 - 7, 1995 ; proceedings |c V. S. Alagar ... (eds.) |
| 264 | 1 | |a Berlin u.a. |b Springer |c 1995 | |
| 300 | |a XIV, 591 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 936 | |
| 650 | 4 | |a Génie logiciel - Congrès | |
| 650 | 7 | |a Génie logiciel |2 ram | |
| 650 | 7 | |a Informatica |2 gtt | |
| 650 | 7 | |a Informatique |2 ram | |
| 650 | 7 | |a Logica |2 gtt | |
| 650 | 7 | |a Logique algébrique |2 ram | |
| 650 | 4 | |a Types de données abstraites (Informatique) - Congrès | |
| 650 | 7 | |a algèbre relation |2 inriac | |
| 650 | 7 | |a concurrence |2 inriac | |
| 650 | 7 | |a génie logiciel |2 inriac | |
| 650 | 7 | |a logique algébrique |2 inriac | |
| 650 | 7 | |a programmation en logique |2 inriac | |
| 650 | 7 | |a programmation par objets |2 inriac | |
| 650 | 7 | |a spécification algébrique |2 inriac | |
| 650 | 7 | |a sémantique 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 1995 |z Montréal |2 gnd-content | |
| 689 | 0 | 0 | |a Algebraische Methode |0 (DE-588)4141841-4 |D s |
| 689 | 0 | 1 | |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 Alagar, Vangalur S. |e Sonstige |4 oth | |
| 711 | 2 | |a AMAST |n 4 |d 1995 |c Montréal |j Sonstige |0 (DE-588)2147225-7 |4 oth | |
| 830 | 0 | |a Lecture notes in computer science |v 936 |w (DE-604)BV000000607 |9 936 | |
| 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=006785698&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-006785698 | |
Record in the Search Index
| _version_ | 1820868263325728768 |
|---|---|
| adam_text |
TABLE
OF
CONTENTS
INVITED
LECTURES
EQUATIONAL
LOGIC
AS
A
TOOL
.
1
DAVID
GRIES
TEACHING
MATHEMATICS
TO
SOFTWARE
ENGINEERS
.
.
18
JEANNETTE
M.
WING
THE
ROLE
OF
EDUCATION
AND
TRAINING
IN
THE
INDUSTRIAL
APPLICATION
OF
FORMAL
METHODS
.
41
TED
RALSTON,
SUSAN
GERHART
AND
DAN
CRAIGEN
INFORMATION
ALGEBRAS
.
;
.
50
EWA
ORLOWSKA
VERIFICATION
OF
LOGIC
PROGRAMS
WITH
DELAY
DECLARATIONS
.
66
KRZYSZTOF
R.
APT
AND
INGRID
LUITJES
AN
INTRODUCTION
TO
CATEGORY-BASED
EQUATIONAL
LOGIC
.
91
JOSEPH
A.
GOGUEN
AND
RAZ
VAN
DIACONESCU
KNOWLEDGE-BASED
COMPUTATION
(EXTENDED
ABSTRACT)
.
127
ROHIT
PARIKH
REFEREED
CONTRIBUTIONS
ALGEBRAIC
AND
LOGICAL
FOUNDATIONS
ORDER-SORTED
ALGEBRAIC
SPECIFICATIONS
WITH
HIGHER-ORDER
FUNCTIONS
.
133
ANNE
ELISABETH
HAXTHAUSEN
'
PROVING
THE
CORRECTNESS
OF
BEHAVIOURAL
IMPLEMENTATIONS
.
152
MICHEL
BIDOIT
AND
ROLF
HENNICKER
ON
THE
DECIDABILITY
OF
PROCESS
EQUIVALENCES
FOR
THE
IR-CALCULUS
.
169
MADS
DAM
DETECTING
ISOMORPHISMS
OF
MODULAR
SPECIFICATIONS
WITH
DIAGRAMS
.
184
CATHERINE
ORIAT
HIGHER-ORDER
NARROWING
WITH
CONVERGENT
SYSTEMS
.
199
CHRISTIAN
PREHOFER
XII
CONTEXT-FREE
EVENT
DOMAINS
ARE
RECOGNIZABLE
.
214
ERIC
BADOUEL,
PHILIPPE
DARONDEAU,
JEAN-CLAUDE
RAOULT
ENCODING
NATURAL
SEMANTICS
IN
COQ
.
230
DELPHINE
TERRASSE
MONGRUENCES
AND
COFREE
COALGEBRAS
.
245
BART
JACOBS
SEMANTIC
TYPING
FOR
PARAMETRIC
ALGEBRAIC
SPECIFICATIONS
.
261
MARIA
VICTORIA
CENGARLE
CONCURRENT
AND
REACTIVE
SYSTEMS
CAUSALITY
AND
TRUE
CONCURRENCY:
A
DATA-FLOW
ANALYSIS
OF
THE
PI-CALCULUS
(EXTENDED
ABSTRACT)
.
277
LALITA
JATEGAONKAR
JAGADEESAN
AND
RADHA
JAGADEESAN
VERIFICATION
IN
CONTINUOUS
TIME
BY
DISCRETE
REASONING
.
292
LUCA
DE
ALFARO
AND
ZOHAR
MANNA
DYNAMIC
MATRICES
AND
THE
COST
ANALYSIS
OF
CONCURRENT
PROGRAMS
.
307
GIANLUIGI
FERRARI
AND
UGO
MONTANARI
PETRI
NETS,
TRACES,
AND
LOCAL
MODEL
CHECKING
.
322
ALLAN
CHENG
AN
ALGEBRAIC
FRAMEWORK
FOR
DEVELOPING
AND
MAINTAINING
REAL-TIME
SYSTEMS
.
,.
.338
ELIZABETH
I.
LEONARD
AND
AMY
E.
ZWARICO
LOGICAL
FOUNDATIONS
FOR
COMPOSITIONAL
VERIFICATION
AND
DEVELOPMENT
OF
CONCURRENT
PROGRAMS
IN
UNITY
.
353
PIERRE
COLLETTE
AND
EDGAR
KNAPP
CPO
MODELS
FOR
INFINITE
TERM
REWRITING
.
368
ANDREA
CORRADINI
AND
FABIO
GADDUCCI
COMPLETENESS
RESULTS
FOR
TWO-SORTED
METRIC
TEMPORAL
LOGICS
.
385
ANGELO
MONTANARI
AND
MAARTEN
DE
RIJKE
SOFTWARE
TECHNOLOGY
ON
MECHANIZING
PROOFS
WITHIN
A
COMPLETE
PROOF
SYSTEM
FOR
UNITY
.
400
NAIMA
BROWN
AND
ABDELILLAH
MOKKEDEM
XIII
AUTOMATED
REASONING
ABOUT
PARALLEL
ALGORITHMS
USING
POWERLISTS
.
416
DEEPAK
KAPUR
AND
M.
SUBRAMANIAM
REPRESENTING,
VERIFYING
AND
APPLYING
SOFTWARE
DEVELOPMENT
STEPS
USING
THE
PVS
SYSTEM
.
431
AXEL
DOLD
AN
ALGEBRAIC
DEVELOPMENT
TECHNIQUE
FOR
INFORMATION
SYSTEMS
.
446
MARTIN
GOGOLLA
AND
RUDOLF
HERZIG
A
FRAMEWORK
FOR
MACHINE-ASSISTED
USER
INF
ERF
ACE
VERIFICATION
.
461
PETER
BUMBULIS,
P.S.C.
ALENCAR,
D.D.
COWAN
AND
C.J.P.
LUCENA
SPECIFICATION
OF
THE
UNIX
FILE
SYSTEM:
A
COMPARATIVE
CASE
STUDY
.
475
MARITTA
HEISEI
A
CALCULUS
OF
COUNTABLE
BROADCASTING
SYSTEMS
.
489
YOSHINAO
ISOBE,
YUTAKA
SATO,
KAZUHITO
OHMAKI
SYMBOLIC
TIMING
DEVICES
.
504
ANNE
BERGERON
LOGIC
PROGRAMMING
AND
DATABASES
AN
ALGEBRAIC
CONSTRUCTION
OF
THE
WELL-FOUNDED
MODEL
.
518
RAJIV
BAGAI
AND
RAJSHEKHAR
SUNDERRAMAN
CONFLUENCE
IN
CONCURRENT
CONSTRAINT
PROGRAMMING
.
531
MORENO
FALASCHI,
MAURIZIO
GABBRIELLI,
KIM
MARRIOTT
AND
CATUSCIA
PALAMIDESSI
A
GENERIC
ALGEBRA
FOR
DATA
COLLECTIONS
BASED
ON
CONSTRUCTIVE
LOGIC
.
546
P.
RAJAGOPALAN
AND
C.P.
TSANG
PARTIAL
ORDER
PROGRAMMING
(REVISITED)
.
561
BHARAT
JAYARAMAN,
MAURICIO
OSORIO
AND
KYONGHEE
MOON
RESEARCH
PROTOTYPE
REPORTS
SPIKE:
A
SYSTEM
FOR
AUTOMATIC
INDUCTIVE
PROOFS
.
576
ADEL
BOUHOULA
AND
MICHAEL
RUSINOWITCH
SEAMLESS:
KNOWLEDGE
BASED
EVOLUTIONARY
SYSTEM
SYNTHESIS
.
578
JUTTA
EUSTERBROCK
XIV
AN
OBJECT-ORIENTED
FRONT-END
FOR
DEDUCTIVE
DATABASES
.
.
.
581
HASAN
M.
JAMIL
AND
LAKS
V.S.
LAKSHMANAN
THE
SURE
PROGRAMMING
FRAMEWORK
.
585
BHARAT
JAYARAMAN
AND
KYONGHEE
MOON
A
DECLARATIVE
SYSTEM
FOR
MULTI-DATABASE
INTEROPERABILITY
.
586
LAKS
V.S.
LAKSHMANAN,
IYER
N
SUBRAMANIAN,
DESPINA
PAPOULIS
AND
NEMATOLLAAH
SHIRI
THE
METAGEN
SYSTEM
.
590
HOUARI
A.
SAHRAOUI |
| any_adam_object | 1 |
| building | Verbundindex |
| bvnumber | BV010211179 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.758.I5713 1995 |
| callnumber-search | QA76.758.I5713 1995 |
| callnumber-sort | QA 276.758 I5713 41995 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | ST 230 |
| classification_tum | MAT 110f DAT 310f |
| ctrlnum | (OCoLC)32665092 (DE-599)BVBBV010211179 |
| dewey-full | 005.1/01/512 005.1/01/51220 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.1/01/512 005.1/01/512 20 |
| dewey-search | 005.1/01/512 005.1/01/512 20 |
| 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 a2200000 cb4500</leader><controlfield tag="001">BV010211179</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">19950829</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">950530s1995 gw d||| |||| 10||| eng d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">944479847</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540600434</subfield><subfield code="9">3-540-60043-4</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)32665092</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV010211179</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-91G</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-188</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.758.I5713 1995</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.1/01/512</subfield><subfield code="2">20</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.1/01/512 20</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 230</subfield><subfield code="0">(DE-625)143617:</subfield><subfield code="2">rvk</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">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">Algebraic methodology and software technology</subfield><subfield code="b">4th international conference, AMAST '95, Montreal, Canada, July 3 - 7, 1995 ; proceedings</subfield><subfield code="c">V. S. Alagar ... (eds.)</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">XIV, 591 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">936</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</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">Informatique</subfield><subfield code="2">ram</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">Logique algébrique</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Types de données abstraites (Informatique) - Congrès</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">algèbre relation</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">concurrence</subfield><subfield code="2">inriac</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">programmation en logique</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">programmation par objets</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">sémantique 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">1995</subfield><subfield code="z">Montréal</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><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="1"><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">Alagar, Vangalur S.</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">4</subfield><subfield code="d">1995</subfield><subfield code="c">Montréal</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)2147225-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">936</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">936</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=006785698&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-006785698</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 1995 Montréal gnd-content |
| genre_facet | Konferenzschrift 1995 Montréal |
| id | DE-604.BV010211179 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T13:21:34Z |
| institution | BVB |
| institution_GND | (DE-588)2147225-7 |
| isbn | 3540600434 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-006785698 |
| oclc_num | 32665092 |
| open_access_boolean | |
| owner | DE-739 DE-91G DE-BY-TUM DE-384 DE-19 DE-BY-UBM DE-20 DE-634 DE-83 DE-706 DE-11 DE-188 |
| owner_facet | DE-739 DE-91G DE-BY-TUM DE-384 DE-19 DE-BY-UBM DE-20 DE-634 DE-83 DE-706 DE-11 DE-188 |
| physical | XIV, 591 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 | Algebraic methodology and software technology 4th international conference, AMAST '95, Montreal, Canada, July 3 - 7, 1995 ; proceedings V. S. Alagar ... (eds.) Berlin u.a. Springer 1995 XIV, 591 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 936 Génie logiciel - Congrès Génie logiciel ram Informatica gtt Informatique ram Logica gtt Logique algébrique ram Types de données abstraites (Informatique) - Congrès algèbre relation inriac concurrence inriac génie logiciel inriac logique algébrique inriac programmation en logique inriac programmation par objets inriac spécification algébrique inriac sémantique 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 1995 Montréal gnd-content Algebraische Methode (DE-588)4141841-4 s Software Engineering (DE-588)4116521-4 s DE-604 Softwareentwicklung (DE-588)4116522-6 s Alagar, Vangalur S. Sonstige oth AMAST 4 1995 Montréal Sonstige (DE-588)2147225-7 oth Lecture notes in computer science 936 (DE-604)BV000000607 936 DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006785698&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Algebraic methodology and software technology 4th international conference, AMAST '95, Montreal, Canada, July 3 - 7, 1995 ; proceedings Lecture notes in computer science Génie logiciel - Congrès Génie logiciel ram Informatica gtt Informatique ram Logica gtt Logique algébrique ram Types de données abstraites (Informatique) - Congrès algèbre relation inriac concurrence inriac génie logiciel inriac logique algébrique inriac programmation en logique inriac programmation par objets inriac spécification algébrique inriac sémantique 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 4th international conference, AMAST '95, Montreal, Canada, July 3 - 7, 1995 ; proceedings |
| title_auth | Algebraic methodology and software technology 4th international conference, AMAST '95, Montreal, Canada, July 3 - 7, 1995 ; proceedings |
| title_exact_search | Algebraic methodology and software technology 4th international conference, AMAST '95, Montreal, Canada, July 3 - 7, 1995 ; proceedings |
| title_full | Algebraic methodology and software technology 4th international conference, AMAST '95, Montreal, Canada, July 3 - 7, 1995 ; proceedings V. S. Alagar ... (eds.) |
| title_fullStr | Algebraic methodology and software technology 4th international conference, AMAST '95, Montreal, Canada, July 3 - 7, 1995 ; proceedings V. S. Alagar ... (eds.) |
| title_full_unstemmed | Algebraic methodology and software technology 4th international conference, AMAST '95, Montreal, Canada, July 3 - 7, 1995 ; proceedings V. S. Alagar ... (eds.) |
| title_short | Algebraic methodology and software technology |
| title_sort | algebraic methodology and software technology 4th international conference amast 95 montreal canada july 3 7 1995 proceedings |
| title_sub | 4th international conference, AMAST '95, Montreal, Canada, July 3 - 7, 1995 ; proceedings |
| topic | Génie logiciel - Congrès Génie logiciel ram Informatica gtt Informatique ram Logica gtt Logique algébrique ram Types de données abstraites (Informatique) - Congrès algèbre relation inriac concurrence inriac génie logiciel inriac logique algébrique inriac programmation en logique inriac programmation par objets inriac spécification algébrique inriac sémantique 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 | Génie logiciel - Congrès Génie logiciel Informatica Informatique Logica Logique algébrique Types de données abstraites (Informatique) - Congrès algèbre relation concurrence génie logiciel logique algébrique programmation en logique programmation par objets spécification algébrique sémantique algébrique technologie logiciel Logik Software engineering -- Congresses Abstract data types (Computer science) -- Congresses Softwareentwicklung Software Engineering Algebraische Methode Konferenzschrift 1995 Montréal |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006785698&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT alagarvangalurs algebraicmethodologyandsoftwaretechnology4thinternationalconferenceamast95montrealcanadajuly371995proceedings AT amastmontreal algebraicmethodologyandsoftwaretechnology4thinternationalconferenceamast95montrealcanadajuly371995proceedings |