Formal methods pacific '97: proceedings of FMP '97, 9 - 11 July 1997, Wellington, New Zealand
Gespeichert in:
| Format: | Tagungsbericht Buch |
|---|---|
| Sprache: | German |
| Veröffentlicht: |
Singapore ; Berlin ; Heidelberg ; New York ; Barcelona ; Budapes
Springer
1997
|
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | VIII, 320 S. graph. Darst. |
| ISBN: | 981308331X |
Internformat
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 | |
| 084 | |a SS 1997 |0 (DE-625)143434: |2 rvk | ||
| 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 Verfeinerung |0 (DE-588)4267759-2 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Softwareentwicklung |0 (DE-588)4116522-6 |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 |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-008024575 | ||
Datensatz im Suchindex
| _version_ | 1804126463945867264 |
|---|---|
| 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>02724nam a2200637 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="084" ind1=" " ind2=" "><subfield code="a">SS 1997</subfield><subfield code="0">(DE-625)143434:</subfield><subfield code="2">rvk</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">Verfeinerung</subfield><subfield code="0">(DE-588)4267759-2</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="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="999" ind1=" " 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 | 2024-07-09T18:17:52Z |
| 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 Verfeinerung (DE-588)4267759-2 gnd rswk-swf Softwareentwicklung (DE-588)4116522-6 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 Verfeinerung (DE-588)4267759-2 gnd Softwareentwicklung (DE-588)4116522-6 gnd |
| subject_GND | (DE-588)4333722-3 (DE-588)4267759-2 (DE-588)4116522-6 (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 Verfeinerung (DE-588)4267759-2 gnd Softwareentwicklung (DE-588)4116522-6 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 Verfeinerung Softwareentwicklung 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 |