Holdings: Structured object-oriented formal language and method

Structured object-oriented formal language and method: Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012 ; revised selected papers

Saved in:

Bibliographic Details
Other Authors:	Liu, Shaoying 1960- (Editor)
Format:	Electronic Conference Proceeding eBook
Language:	English
Published:	Berlin [u.a.] Springer 2013
Series:	Lecture notes in computer science 7787
Online Access:	Volltext Inhaltsverzeichnis Abstract
Physical Description:	1 Online-Ressource (X, 147 S.) Ill., graph. Darst.
ISBN:	9783642392764 9783642392771
DOI:	10.1007/978-3-642-39277-1

Staff View

MARC


LEADER	00000nam a2200000 cb4500
001	BV041417658
003	DE-604
007	cr\|uuu---uuuuu
008	131115s2013 xx ad\|\| o\|\|\|\| 00\|\|\| 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 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
912			\|a ZDB-2-LNC
943	1		\|a oai:aleph.bib-bvb.de:BVB01-026864806

Record in the Search Index

_version_	1820875524609671168
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>00000nam a2200000 cb4500</leader><controlfield tag="001">BV041417658</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="007">cr\|uuu---uuuuu</controlfield><controlfield tag="008">131115s2013 xx ad\|\| o\|\|\|\| 00\|\|\| 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">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></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-LNC</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-026864806</subfield></datafield></record></collection>
id	DE-604.BV041417658
illustrated	Illustrated
indexdate	2025-01-10T15:17:00Z
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

Holdings

There is no print copy available.

Interlibrary loan Place Request Caution: Not in THWS collection! Get full text

MARC

Record in the Search Index

There is no print copy available.

Similar Items