Formal methods pacific '97: proceedings of FMP '97, 9 - 11 July 1997, Wellington, New Zealand
Saved in:
| Format: | Conference Proceeding Book |
|---|---|
| Language: | German |
| Published: |
Singapore ; Berlin ; Heidelberg ; New York ; Barcelona ; Budapes
Springer
1997
|
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Physical Description: | VIII, 320 S. graph. Darst. |
| ISBN: | 981308331X |
Staff View
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV011876351 | ||
| 003 | DE-604 | ||
| 005 | 20090511 | ||
| 007 | t| | ||
| 008 | 980331s1997 gw d||| |||| 10||| ger d | ||
| 016 | 7 | |a 953169073 |2 DE-101 | |
| 020 | |a 981308331X |c kart. : DM 122.00 |9 981-3083-31-X | ||
| 035 | |a (OCoLC)39286422 | ||
| 035 | |a (DE-599)BVBBV011876351 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a ger | |
| 044 | |a gw |c DE | ||
| 049 | |a DE-739 | ||
| 050 | 0 | |a QA76.9.C643 | |
| 082 | 0 | |a 005.1 |2 21 | |
| 245 | 1 | 0 | |a Formal methods pacific '97 |b proceedings of FMP '97, 9 - 11 July 1997, Wellington, New Zealand |c Lindsay Groves ... (eds.) |
| 264 | 1 | |a Singapore ; Berlin ; Heidelberg ; New York ; Barcelona ; Budapes |b Springer |c 1997 | |
| 300 | |a VIII, 320 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 650 | 7 | |a Génie logiciel - Congrès |2 ram | |
| 650 | 7 | |a Logiciels - Développement - Congrès |2 ram | |
| 650 | 7 | |a Méthodes formelles (informatique) - Congrès |2 ram | |
| 650 | 7 | |a Ordinateurs - Conception et construction - Congrès |2 ram | |
| 650 | 7 | |a Systèmes, Conception de - Congrès |2 ram | |
| 650 | 7 | |a calcul raffinement |2 inriac | |
| 650 | 7 | |a méthode formelle |2 inriac | |
| 650 | 7 | |a raffinement |2 inriac | |
| 650 | 7 | |a sémantique formelle |2 inriac | |
| 650 | 7 | |a sémantique langage programmation |2 inriac | |
| 650 | 4 | |a Computer organization |v Congresses | |
| 650 | 4 | |a Computer software |x Development |v Congresses | |
| 650 | 4 | |a Computers |x Design and construction |v Congresses | |
| 650 | 4 | |a System design |v Congresses | |
| 650 | 0 | 7 | |a Formale Methode |0 (DE-588)4333722-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Softwareentwicklung |0 (DE-588)4116522-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Verfeinerung |0 (DE-588)4267759-2 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 1997 |z Wellington |2 gnd-content | |
| 689 | 0 | 0 | |a Softwareentwicklung |0 (DE-588)4116522-6 |D s |
| 689 | 0 | 1 | |a Formale Methode |0 (DE-588)4333722-3 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Softwareentwicklung |0 (DE-588)4116522-6 |D s |
| 689 | 1 | 1 | |a Verfeinerung |0 (DE-588)4267759-2 |D s |
| 689 | 1 | |5 DE-604 | |
| 700 | 1 | |a Groves, Lindsay |e Sonstige |4 oth | |
| 710 | 2 | |a Centre for Discrete Mathematics & Theoretical Computer Science |e Sonstige |0 (DE-588)2164106-7 |4 oth | |
| 711 | 2 | |a FMP |d 1997 |c Wellington |j Sonstige |0 (DE-588)2169309-2 |4 oth | |
| 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=008024575&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-008024575 | |
Record in the Search Index
| _version_ | 1820882529915240448 |
|---|---|
| adam_text |
TABLE
OF
CONTENTS
INVITED
PAPERS
KAREN
SEIDEL,
CARROLL
MORGAN
AND
ANNABELLE
MCIVER
PROBABILISTIC
IMPERATIVE
PROGRAMMING:
A
RIGOROUS
APPROACH
.
1
ANNABELLE
MCIVER
AND
CARROLL
MORGAN
PROBABILISTIC
DATA
REFINEMENT
.
3
CARROLL
MORGAN
AND
ANNABELLE
MCIVER
A
PROBABILISTIC
TEMPORAL
CALCULUS
BASED
ON
EXPECTATIONS
.
4
COMPLETED
WORK:
REFEREED
PAPERS
PETER
BANCROFT
AND
IAN
HAYES
TYPE
EXTENSION
AND
REFINEMENT
.
23
MICHAEL
BUTLER,
JIM
GRUNDY,
THOMAS
LAENGBACKA,
RIMVYDAS
RUKSENAS
AND
JOAKIM
VON
WRIGHT
THE
REFINEMENT
CALCULATOR:
PROOF
SUPPORT
FOR
PROGRAM
REFINEMENT
.
.
40
STEVEN
BUTLER
A
MODULAR
APPROACH
TO
DEFINING
COMPOSITION
OPERATORS
.
62
ALENA
GRIFFITHS
A
SEMANTICS
FOR
RECURSIVE
OPERATIONS
IN
OBJECT-Z
.
81
DAVID
HEMER
AN
ALGORITHM
FOR
PATTERN-MATCHING
MATHEMATICAL
EXPRESSIONS
.
103
MARIA
M.
LARRONDO-PETRIE,
ROBERT
B.
FRANCE,
MONIKA
SAKSENA
AND
MALCOLM
SHROFF
TOWARDS
A
FORMAL
SEMANTIC
BASE
FOR
THE
TYPE
MODELS
OF
THE
UNIFIED
MODELING
LANGUAGE
.
124
KARL
LERMER
AND
COLIN
FIDGE
COMPILATION
AS
REFINEMENT
.
142
PETER
LINDSAY
AND
OWEN
TRAYNOR
VERSION
AND
CONFIGURATION
MANAGEMENT
OF
FORMAL
THEORIES
.
165
ANDREW
MARTIN,
RAY
NICKSON
AND
MARK
UTTING
A
TACTIC
LANGUAGE
FOR
ERGO
.
186
JAMIE
SHIELD,
RAY
NICKSON
AND
DAVID
CARRINGTON
SUPPORTING
DATA
REFINEMENT
IN
A
PROGRAM
REFINEMENT
TOOL
.
208
ANDREW
SIMPSON,
JIM
WOODCOCK
AND
JIM
DAVIES
THE
MECHANICAL
VERIFICATION
OF
SOLID
STATE
INTERLOCKING
GEOGRAPHICAL
DATA
.
223
MARK
UTTING
AND
COLIN
FIDGE
REFINEMENT
OF
INFEASIBLE
REAL-TIME
PROGRAMS
.
243
GEOFFREY
WATSON
A
COMPARISON
OF
MODULARITY
IN
B
AND
COGITO
.
263
WORK
IN
PROGRESS:
EXTENDED
ABSTRACTS
MICHAEL
BUTLER
ACTION
SYSTEM
ANALYSIS
OF
AN
AUTHENTICATION
PROTOCOL
.
287
ROBERT
COLVIN,
IAN
HAYES,
RAY
NICKSON
AND
PAUL
STROOPER
YY
A
TOOL
FOR
LOGIC
PROGRAM
REFINEMENT
.
289
JEAN-MARIE
CONDOM
AND
KHADIR
OURIACHI
TOWARDS
A
SPECIFICATION
OF
CONCURRENT
SYSTEMS
IN
Z
REFERRING
TO
A
TRUE
CONCURRENCY
SEMANTICS
.
291
MARTIN
DE
GROOT
AND
KEN
ROBINSON
SPECIFICATIONS
AND
FAULT
DETECTION
.
293
DAVID
EDMOND
EXPRESSIVENESS
AND
PARSIMONY
IN
Z
.
295
HARTMUT
EHRIG,
MAIKE
GAJEWSKY,
SABINE
LEMBKE
AND
JULIA
PADBERG
REVERSE
PETRI
NET
TECHNOLOGY
TRANSFER:
ON
THE
BOUNDARY
OF
THEORY
AND
APPLICATIONS
.
297
ALEX
GARCIA,
EDWARD
HAESLER
AND
ARMANDO
HAEBERER
A
SEMANTIC
APPROACH
TO
THE
SOLUTION
OF
THE
LEGACY
CODE
PROBLEM
.
.
.
299
LINDSAY
GROVES
AND
IVAN
TUCKWELL
AN
EDITOR
FOR
REFINEMENT
STRUCTURE
DIAGRAMS
.
301
JAN
HAVEMAN
TRANSACTION
DECOMPOSITION:
REFINEMENT
OF
TIMING
CONSTRAINTS
.
303
MARTIN
HENSON
AND
STEVE
REEVES
INTENSIONAL
Z
.
305
THOMAS
LAENGBACKA
REFINING
REACTIVE
SYSTEMS
USING
THE
REFINEMENT
CALCULATOR
.
307
J
M
POTTER,
J
R
ZIC
AND
A
YUN-WEN
LIU
TT-CALCULUS
MODELS
OF
SYNCHRONOUS
AND
ASYNCHRONOUS
MESSAGE
PASSING
309
STEVE
REEVES
SPECIFYING
A
COLLABORATIVE
EDITOR
. .
311
KEN
ROBINSON
SPECIFICATION
AND
IMPLEMENTATION
OF
A
RANDOM
ACCESS
DATA
TYPE:
A
CASE
STUDY
USING
THE
B-METHOD
.
313
KEN
ROBINSON
AND
MARTIN
DE
GROOT
MODULAR
REFINEMENT
DIAGRAMS
.
315
MARTIN
SCHWENKE
HIGH-LEVEL
REFINEMENT
OF
RANDOM
ACCESS
DATA
STRUCTURES
.
317
AUTHOR
INDEX
.
319 |
| any_adam_object | 1 |
| building | Verbundindex |
| bvnumber | BV011876351 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.9.C643 |
| callnumber-search | QA76.9.C643 |
| callnumber-sort | QA 276.9 C643 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | SS 1997 |
| ctrlnum | (OCoLC)39286422 (DE-599)BVBBV011876351 |
| dewey-full | 005.1 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.1 |
| dewey-search | 005.1 |
| dewey-sort | 15.1 |
| 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 c 4500</leader><controlfield tag="001">BV011876351</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20090511</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">980331s1997 gw d||| |||| 10||| ger d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">953169073</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">981308331X</subfield><subfield code="c">kart. : DM 122.00</subfield><subfield code="9">981-3083-31-X</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)39286422</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV011876351</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">ger</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></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.9.C643</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.1</subfield><subfield code="2">21</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Formal methods pacific '97</subfield><subfield code="b">proceedings of FMP '97, 9 - 11 July 1997, Wellington, New Zealand</subfield><subfield code="c">Lindsay Groves ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Singapore ; Berlin ; Heidelberg ; New York ; Barcelona ; Budapes</subfield><subfield code="b">Springer</subfield><subfield code="c">1997</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">VIII, 320 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="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">Logiciels - Développement - Congrès</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Méthodes formelles (informatique) - Congrès</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Ordinateurs - Conception et construction - Congrès</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Systèmes, Conception de - Congrès</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">calcul raffinement</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">raffinement</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">sémantique formelle</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">sémantique langage programmation</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer organization</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer software</subfield><subfield code="x">Development</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computers</subfield><subfield code="x">Design and construction</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">System design</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Formale Methode</subfield><subfield code="0">(DE-588)4333722-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</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">Verfeinerung</subfield><subfield code="0">(DE-588)4267759-2</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">Wellington</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="1"><subfield code="a">Formale Methode</subfield><subfield code="0">(DE-588)4333722-3</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">Verfeinerung</subfield><subfield code="0">(DE-588)4267759-2</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">Groves, Lindsay</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="710" ind1="2" ind2=" "><subfield code="a">Centre for Discrete Mathematics & Theoretical Computer Science</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)2164106-7</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">FMP</subfield><subfield code="d">1997</subfield><subfield code="c">Wellington</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)2169309-2</subfield><subfield code="4">oth</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=008024575&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-008024575</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 1997 Wellington gnd-content |
| genre_facet | Konferenzschrift 1997 Wellington |
| id | DE-604.BV011876351 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T17:08:21Z |
| institution | BVB |
| institution_GND | (DE-588)2164106-7 (DE-588)2169309-2 |
| isbn | 981308331X |
| language | German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-008024575 |
| oclc_num | 39286422 |
| open_access_boolean | |
| owner | DE-739 |
| owner_facet | DE-739 |
| physical | VIII, 320 S. graph. Darst. |
| publishDate | 1997 |
| publishDateSearch | 1997 |
| publishDateSort | 1997 |
| publisher | Springer |
| record_format | marc |
| spelling | Formal methods pacific '97 proceedings of FMP '97, 9 - 11 July 1997, Wellington, New Zealand Lindsay Groves ... (eds.) Singapore ; Berlin ; Heidelberg ; New York ; Barcelona ; Budapes Springer 1997 VIII, 320 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Génie logiciel - Congrès ram Logiciels - Développement - Congrès ram Méthodes formelles (informatique) - Congrès ram Ordinateurs - Conception et construction - Congrès ram Systèmes, Conception de - Congrès ram calcul raffinement inriac méthode formelle inriac raffinement inriac sémantique formelle inriac sémantique langage programmation inriac Computer organization Congresses Computer software Development Congresses Computers Design and construction Congresses System design Congresses Formale Methode (DE-588)4333722-3 gnd rswk-swf Softwareentwicklung (DE-588)4116522-6 gnd rswk-swf Verfeinerung (DE-588)4267759-2 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 1997 Wellington gnd-content Softwareentwicklung (DE-588)4116522-6 s Formale Methode (DE-588)4333722-3 s DE-604 Verfeinerung (DE-588)4267759-2 s Groves, Lindsay Sonstige oth Centre for Discrete Mathematics & Theoretical Computer Science Sonstige (DE-588)2164106-7 oth FMP 1997 Wellington Sonstige (DE-588)2169309-2 oth DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=008024575&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Formal methods pacific '97 proceedings of FMP '97, 9 - 11 July 1997, Wellington, New Zealand Génie logiciel - Congrès ram Logiciels - Développement - Congrès ram Méthodes formelles (informatique) - Congrès ram Ordinateurs - Conception et construction - Congrès ram Systèmes, Conception de - Congrès ram calcul raffinement inriac méthode formelle inriac raffinement inriac sémantique formelle inriac sémantique langage programmation inriac Computer organization Congresses Computer software Development Congresses Computers Design and construction Congresses System design Congresses Formale Methode (DE-588)4333722-3 gnd Softwareentwicklung (DE-588)4116522-6 gnd Verfeinerung (DE-588)4267759-2 gnd |
| subject_GND | (DE-588)4333722-3 (DE-588)4116522-6 (DE-588)4267759-2 (DE-588)1071861417 |
| title | Formal methods pacific '97 proceedings of FMP '97, 9 - 11 July 1997, Wellington, New Zealand |
| title_auth | Formal methods pacific '97 proceedings of FMP '97, 9 - 11 July 1997, Wellington, New Zealand |
| title_exact_search | Formal methods pacific '97 proceedings of FMP '97, 9 - 11 July 1997, Wellington, New Zealand |
| title_full | Formal methods pacific '97 proceedings of FMP '97, 9 - 11 July 1997, Wellington, New Zealand Lindsay Groves ... (eds.) |
| title_fullStr | Formal methods pacific '97 proceedings of FMP '97, 9 - 11 July 1997, Wellington, New Zealand Lindsay Groves ... (eds.) |
| title_full_unstemmed | Formal methods pacific '97 proceedings of FMP '97, 9 - 11 July 1997, Wellington, New Zealand Lindsay Groves ... (eds.) |
| title_short | Formal methods pacific '97 |
| title_sort | formal methods pacific 97 proceedings of fmp 97 9 11 july 1997 wellington new zealand |
| title_sub | proceedings of FMP '97, 9 - 11 July 1997, Wellington, New Zealand |
| topic | Génie logiciel - Congrès ram Logiciels - Développement - Congrès ram Méthodes formelles (informatique) - Congrès ram Ordinateurs - Conception et construction - Congrès ram Systèmes, Conception de - Congrès ram calcul raffinement inriac méthode formelle inriac raffinement inriac sémantique formelle inriac sémantique langage programmation inriac Computer organization Congresses Computer software Development Congresses Computers Design and construction Congresses System design Congresses Formale Methode (DE-588)4333722-3 gnd Softwareentwicklung (DE-588)4116522-6 gnd Verfeinerung (DE-588)4267759-2 gnd |
| topic_facet | Génie logiciel - Congrès Logiciels - Développement - Congrès Méthodes formelles (informatique) - Congrès Ordinateurs - Conception et construction - Congrès Systèmes, Conception de - Congrès calcul raffinement méthode formelle raffinement sémantique formelle sémantique langage programmation Computer organization Congresses Computer software Development Congresses Computers Design and construction Congresses System design Congresses Formale Methode Softwareentwicklung Verfeinerung Konferenzschrift 1997 Wellington |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=008024575&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT groveslindsay formalmethodspacific97proceedingsoffmp97911july1997wellingtonnewzealand AT centrefordiscretemathematicstheoreticalcomputerscience formalmethodspacific97proceedingsoffmp97911july1997wellingtonnewzealand AT fmpwellington formalmethodspacific97proceedingsoffmp97911july1997wellingtonnewzealand |