Structured object-oriented formal language and method: Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012 ; revised selected papers
Gespeichert in:
| Weitere Verfasser: | |
|---|---|
| Format: | Elektronisch Tagungsbericht E-Book |
| Sprache: | English |
| Veröffentlicht: |
Berlin [u.a.]
Springer
2013
|
| Schriftenreihe: | Lecture notes in computer science
7787 |
| Online-Zugang: | Volltext Inhaltsverzeichnis Abstract |
| Beschreibung: | 1 Online-Ressource (X, 147 S.) Ill., graph. Darst. |
| ISBN: | 9783642392764 9783642392771 |
| DOI: | 10.1007/978-3-642-39277-1 |
Internformat
MARC
| LEADER | 00000nmm a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV041417658 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 131115s2013 |||| o||u| ||||||eng d | ||
| 020 | |a 9783642392764 |c Print |9 978-3-642-39276-4 | ||
| 020 | |a 9783642392771 |c Online |9 978-3-642-39277-1 | ||
| 024 | 7 | |a 10.1007/978-3-642-39277-1 |2 doi | |
| 035 | |a (OCoLC)864484707 | ||
| 035 | |a (DE-599)BVBBV041417658 | ||
| 040 | |a DE-604 |b ger |e rakwb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-473 |a DE-M347 |a DE-20 |a DE-703 |a DE-Aug4 |a DE-92 |a DE-29 |a DE-859 |a DE-91 |a DE-706 |a DE-739 |a DE-384 |a DE-634 |a DE-355 | ||
| 082 | 0 | |a 004 | |
| 084 | |a SS 4800 |0 (DE-625)143528: |2 rvk | ||
| 084 | |a DAT 000 |2 stub | ||
| 245 | 1 | 0 | |a Structured object-oriented formal language and method |b Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012 ; revised selected papers |c Shaoying Liu (ed.) |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 2013 | |
| 300 | |a 1 Online-Ressource (X, 147 S.) |b Ill., graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 1 | |a Lecture notes in computer science |v 7787 | |
| 700 | 1 | |a Liu, Shaoying |d 1960- |0 (DE-588)128995440 |4 edt | |
| 711 | 2 | |a SOFL |n 2. |d 2012 |c Kyōto |j Sonstige |0 (DE-588)1041262914 |4 oth | |
| 830 | 0 | |a Lecture notes in computer science |v 7787 |w (DE-604)BV014880109 |9 7787 | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-642-39277-1 |x Verlag |3 Volltext |
| 856 | 4 | 2 | |m Springer Fremddatenuebernahme |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026864806&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 856 | 4 | 2 | |m Springer Fremddatenuebernahme |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026864806&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |3 Abstract |
| 912 | |a ZDB-2-SCS |a ZDB-2-LNC | ||
| 999 | |a oai:aleph.bib-bvb.de:BVB01-026864806 | ||
Datensatz im Suchindex
| _version_ | 1804151532823773184 |
|---|---|
| adam_text | STRUCTURED OBJECT-ORIENTED FORMAL LANGUAGE AND METHOD
/
: 2013
TABLE OF CONTENTS / INHALTSVERZEICHNIS
TESTING AND TOOLS
TOOLS FOR SPECIFICATION
MODEL CHECKING
APPLICATION AND PROTOTYPING
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
STRUCTURED OBJECT-ORIENTED FORMAL LANGUAGE AND METHOD
/
: 2013
ABSTRACT / INHALTSTEXT
THIS BOOK CONSTITUTES THE THOROUGHLY REFEREED POST-CONFERENCE
PROCEEDINGS OF THE SECOND INTERNATIONAL WORKSHOP ON STRUCTURED
OBJECT-ORIENTED FORMAL LANGUAGE, SOFL 2012, HELD IN KYOTO, JAPAN, IN
NOVEMBER 2012. THE 10 FULL PAPERS PRESENTED WERE CAREFULLY REVIEWED AND
SELECTED FOR INCLUSION IN THIS BOOK AND ADDRESS THE FOLLOWING TOPICS OF
INTEREST: TESTING AND TOOLS; TOOLS FOR SPECIFICATION; MODEL CHECKING;
AND APPLICATION AND PROTOTYPING
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
|
| any_adam_object | 1 |
| author2 | Liu, Shaoying 1960- |
| author2_role | edt |
| author2_variant | s l sl |
| author_GND | (DE-588)128995440 |
| author_facet | Liu, Shaoying 1960- |
| building | Verbundindex |
| bvnumber | BV041417658 |
| classification_rvk | SS 4800 |
| classification_tum | DAT 000 |
| collection | ZDB-2-SCS ZDB-2-LNC |
| ctrlnum | (OCoLC)864484707 (DE-599)BVBBV041417658 |
| dewey-full | 004 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 004 - Computer science |
| dewey-raw | 004 |
| dewey-search | 004 |
| dewey-sort | 14 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| doi_str_mv | 10.1007/978-3-642-39277-1 |
| format | Electronic Conference Proceeding eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02024nmm a2200397 cb4500</leader><controlfield tag="001">BV041417658</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">131115s2013 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642392764</subfield><subfield code="c">Print</subfield><subfield code="9">978-3-642-39276-4</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642392771</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-642-39277-1</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-642-39277-1</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)864484707</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV041417658</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-473</subfield><subfield code="a">DE-M347</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-Aug4</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-859</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-355</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SS 4800</subfield><subfield code="0">(DE-625)143528:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 000</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Structured object-oriented formal language and method</subfield><subfield code="b">Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012 ; revised selected papers</subfield><subfield code="c">Shaoying Liu (ed.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2013</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (X, 147 S.)</subfield><subfield code="b">Ill., 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">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</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">7787</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Liu, Shaoying</subfield><subfield code="d">1960-</subfield><subfield code="0">(DE-588)128995440</subfield><subfield code="4">edt</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">SOFL</subfield><subfield code="n">2.</subfield><subfield code="d">2012</subfield><subfield code="c">Kyōto</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)1041262914</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">7787</subfield><subfield code="w">(DE-604)BV014880109</subfield><subfield code="9">7787</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-642-39277-1</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Springer Fremddatenuebernahme</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=026864806&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Springer Fremddatenuebernahme</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=026864806&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Abstract</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-SCS</subfield><subfield code="a">ZDB-2-LNC</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-026864806</subfield></datafield></record></collection> |
| id | DE-604.BV041417658 |
| illustrated | Illustrated |
| indexdate | 2024-07-10T00:56:19Z |
| institution | BVB |
| institution_GND | (DE-588)1041262914 |
| isbn | 9783642392764 9783642392771 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-026864806 |
| oclc_num | 864484707 |
| open_access_boolean | |
| owner | DE-473 DE-BY-UBG DE-M347 DE-20 DE-703 DE-Aug4 DE-92 DE-29 DE-859 DE-91 DE-BY-TUM DE-706 DE-739 DE-384 DE-634 DE-355 DE-BY-UBR |
| owner_facet | DE-473 DE-BY-UBG DE-M347 DE-20 DE-703 DE-Aug4 DE-92 DE-29 DE-859 DE-91 DE-BY-TUM DE-706 DE-739 DE-384 DE-634 DE-355 DE-BY-UBR |
| physical | 1 Online-Ressource (X, 147 S.) Ill., graph. Darst. |
| psigel | ZDB-2-SCS ZDB-2-LNC |
| publishDate | 2013 |
| publishDateSearch | 2013 |
| publishDateSort | 2013 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | Structured object-oriented formal language and method Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012 ; revised selected papers Shaoying Liu (ed.) Berlin [u.a.] Springer 2013 1 Online-Ressource (X, 147 S.) Ill., graph. Darst. txt rdacontent c rdamedia cr rdacarrier Lecture notes in computer science 7787 Liu, Shaoying 1960- (DE-588)128995440 edt SOFL 2. 2012 Kyōto Sonstige (DE-588)1041262914 oth Lecture notes in computer science 7787 (DE-604)BV014880109 7787 https://doi.org/10.1007/978-3-642-39277-1 Verlag Volltext Springer Fremddatenuebernahme application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026864806&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis Springer Fremddatenuebernahme application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026864806&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA Abstract |
| spellingShingle | Structured object-oriented formal language and method Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012 ; revised selected papers Lecture notes in computer science |
| title | Structured object-oriented formal language and method Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012 ; revised selected papers |
| title_auth | Structured object-oriented formal language and method Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012 ; revised selected papers |
| title_exact_search | Structured object-oriented formal language and method Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012 ; revised selected papers |
| title_full | Structured object-oriented formal language and method Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012 ; revised selected papers Shaoying Liu (ed.) |
| title_fullStr | Structured object-oriented formal language and method Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012 ; revised selected papers Shaoying Liu (ed.) |
| title_full_unstemmed | Structured object-oriented formal language and method Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012 ; revised selected papers Shaoying Liu (ed.) |
| title_short | Structured object-oriented formal language and method |
| title_sort | structured object oriented formal language and method second international workshop sofl 2012 kyoto japan november 13 2012 revised selected papers |
| title_sub | Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012 ; revised selected papers |
| url | https://doi.org/10.1007/978-3-642-39277-1 http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026864806&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026864806&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV014880109 |
| work_keys_str_mv | AT liushaoying structuredobjectorientedformallanguageandmethodsecondinternationalworkshopsofl2012kyotojapannovember132012revisedselectedpapers AT soflkyoto structuredobjectorientedformallanguageandmethodsecondinternationalworkshopsofl2012kyotojapannovember132012revisedselectedpapers |