Verfügbarkeit: Abstract State Machines, Alloy, B, TLA, VDM, and Z

Abstract State Machines, Alloy, B, TLA, VDM, and Z: 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014 ; proceedings

Gespeichert in:

Bibliographische Detailangaben
Weitere Verfasser:	Ait Ameur, Yamine (HerausgeberIn)
Format:	Elektronisch Tagungsbericht E-Book
Sprache:	English
Veröffentlicht:	Berlin [u.a.] Springer 2014
Schriftenreihe:	Lecture Notes in Computer Science 8477
Schlagworte:	VDM Computersimulation Z > Programmiersprache B-Methode Alloy > Programmiersprache Logischer Entwurf TLA > Logik Abstrakte Zustandsmaschine Konferenzschrift
Online-Zugang:	DE-634 DE-M347 DE-92 DE-859 DE-861 DE-91 DE-384 DE-473 DE-703 DE-20 DE-706 DE-29 DE-739 Volltext Inhaltsverzeichnis Abstract
Beschreibung:	1 Online-Ressource (XV, 336 S.) Ill.
ISBN:	9783662436523
DOI:	10.1007/978-3-662-43652-3

Internformat

MARC


LEADER	00000nam a2200000 cb4500
001	BV041961723
003	DE-604
007	cr\|uuu---uuuuu
008	140709s2014 gw a\|\|\| o\|\|\|\| 10\|\|\| eng d
020			\|a 9783662436523 \|c ebook \|9 978-3-662-43652-3
024	7		\|a 10.1007/978-3-662-43652-3 \|2 doi
035			\|a (OCoLC)881637021
035			\|a (DE-599)BVBBV041961723
040			\|a DE-604 \|b ger \|e rakddb
041	0		\|a eng
044			\|a gw \|c XA-DE-BE
049			\|a DE-473 \|a DE-20 \|a DE-91 \|a DE-706 \|a DE-739 \|a DE-384 \|a DE-M347 \|a DE-703 \|a DE-29 \|a DE-92 \|a DE-859 \|a DE-861 \|a DE-634
082	0		\|a 004
084			\|a DAT 370f \|2 stub
084			\|a 004 \|2 sdnb
084			\|a DAT 555f \|2 stub
245	1	0	\|a Abstract State Machines, Alloy, B, TLA, VDM, and Z \|b 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014 ; proceedings \|c Yamine Ait Ameur... (Eds.)
263			\|a 201405
264		1	\|a Berlin [u.a.] \|b Springer \|c 2014
300			\|a 1 Online-Ressource (XV, 336 S.) \|b Ill.
336			\|b txt \|2 rdacontent
337			\|b c \|2 rdamedia
338			\|b cr \|2 rdacarrier
490	1		\|a Lecture Notes in Computer Science \|v 8477
650	0	7	\|a VDM \|0 (DE-588)4135608-1 \|2 gnd \|9 rswk-swf
650	0	7	\|a Computersimulation \|0 (DE-588)4148259-1 \|2 gnd \|9 rswk-swf
650	0	7	\|a Z \|g Programmiersprache \|0 (DE-588)4225739-6 \|2 gnd \|9 rswk-swf
650	0	7	\|a B-Methode \|0 (DE-588)4723939-6 \|2 gnd \|9 rswk-swf
650	0	7	\|a Alloy \|g Programmiersprache \|0 (DE-588)1024105741 \|2 gnd \|9 rswk-swf
650	0	7	\|a Logischer Entwurf \|0 (DE-588)4168051-0 \|2 gnd \|9 rswk-swf
650	0	7	\|a TLA \|g Logik \|0 (DE-588)4637478-4 \|2 gnd \|9 rswk-swf
650	0	7	\|a Abstrakte Zustandsmaschine \|0 (DE-588)4637783-9 \|2 gnd \|9 rswk-swf
655		7	\|0 (DE-588)1071861417 \|a Konferenzschrift \|2 gnd-content
689	0	0	\|a Logischer Entwurf \|0 (DE-588)4168051-0 \|D s
689	0	1	\|a Computersimulation \|0 (DE-588)4148259-1 \|D s
689	0		\|5 DE-604
689	1	0	\|a Abstrakte Zustandsmaschine \|0 (DE-588)4637783-9 \|D s
689	1	1	\|a Alloy \|g Programmiersprache \|0 (DE-588)1024105741 \|D s
689	1	2	\|a B-Methode \|0 (DE-588)4723939-6 \|D s
689	1	3	\|a TLA \|g Logik \|0 (DE-588)4637478-4 \|D s
689	1	4	\|a VDM \|0 (DE-588)4135608-1 \|D s
689	1	5	\|a Z \|g Programmiersprache \|0 (DE-588)4225739-6 \|D s
689	1		\|8 1\p \|5 DE-604
700	1		\|a Ait Ameur, Yamine \|4 edt
711	2		\|a ABZ \|n 4 \|d 2014 \|c Toulouse \|j Sonstige \|0 (DE-588)1052422470 \|4 oth
776	0	8	\|i Erscheint auch als \|n Druckausgabe \|z 3-662-43651-5
776	0	8	\|i Erscheint auch als \|n Druckausgabe \|z 978-3-662-43651-6
830		0	\|a Lecture Notes in Computer Science \|v 8477 \|w (DE-604)BV014880109 \|9 8477
856	4	0	\|u https://doi.org/10.1007/978-3-662-43652-3 \|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=027404516&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=027404516&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA \|3 Abstract
883	1		\|8 1\p \|a cgwrk \|d 20201028 \|q DE-101 \|u https://d-nb.info/provenance/plan#cgwrk
912			\|a ZDB-2-LNC
943	1		\|a oai:aleph.bib-bvb.de:BVB01-027404516
966	e		\|u https://doi.org/10.1007/978-3-662-43652-3 \|l DE-634 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-662-43652-3 \|l DE-M347 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-662-43652-3 \|l DE-92 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-662-43652-3 \|l DE-859 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-662-43652-3 \|l DE-861 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-662-43652-3 \|l DE-91 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-662-43652-3 \|l DE-384 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-662-43652-3 \|l DE-473 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-662-43652-3 \|l DE-703 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-662-43652-3 \|l DE-20 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-662-43652-3 \|l DE-706 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-662-43652-3 \|l DE-29 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-662-43652-3 \|l DE-739 \|p ZDB-2-LNC \|x Verlag \|3 Volltext

Datensatz im Suchindex

_version_	1820875578137378816
adam_text	ABSTRACT STATE MACHINES, ALLOY, B, TLA, VDM, AND Z / : 2014 TABLE OF CONTENTS / INHALTSVERZEICHNIS FUNDAMENTAL CONTRIBUTIONS APPLICATIONS IN INDUSTRIAL CONTEXTS TOOL DEVELOPMENTS AND IMPROVEMENTS DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT. ABSTRACT STATE MACHINES, ALLOY, B, TLA, VDM, AND Z / : 2014 ABSTRACT / INHALTSTEXT THIS BOOK CONSTITUTES THE THOROUGHLY REFEREED PROCEEDINGS OF THE 4TH INTERNATIONAL CONFERENCE ON ABSTRACT STATE MACHINES, B, TLA, VDM, AND Z, WHICH TOOK PLACE IN TOULOUSE, FRANCE, IN JUNE 2014. THE 13 FULL PAPERS PRESENTED TOGETHER WITH 3 INVITED TALKS AND 19 SHORT PAPERS WERE CAREFULLY REVIEWED AND SELECTED FROM 81 SUBMISSIONS. THE ABZ CONFERENCE SERIES IS DEDICATED TO THE CROSS-FERTILIZATION OF SIX RELATED STATE-BASED AND MACHINE-BASED FORMAL METHODS: ABSTRACT STATE MACHINES (ASM), ALLOY, B, TLA, VDM, AND Z. THEY SHARE A COMMON CONCEPTUAL FOUNDATION AND ARE WIDELY USED IN BOTH ACADEMIA AND INDUSTRY FOR THE DESIGN AND ANALYSIS OF HARDWARE AND SOFTWARE SYSTEMS. THE MAIN GOAL OF THIS CONFERENCE SERIES IS TO CONTRIBUTE TO THE INTEGRATION OF THESE FORMAL METHODS, CLARIFYING THEIR COMMONALITIES AND DIFFERENCES TO BETTER UNDERSTAND HOW TO COMBINE DIFFERENT APPROACHES FOR ACCOMPLISHING THE VARIOUS TASKS IN MODELING, EXPERIMENTAL VALIDATION AND MATHEMATICAL VERIFICATION OF RELIABLE HIGH-QUALITY HARDWARE/SOFTWARE SYSTEMS DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
any_adam_object	1
author2	Ait Ameur, Yamine
author2_role	edt
author2_variant	a y a ay aya
author_facet	Ait Ameur, Yamine
building	Verbundindex
bvnumber	BV041961723
classification_rvk	SS 4800
classification_tum	DAT 370f DAT 555f
collection	ZDB-2-LNC
ctrlnum	(OCoLC)881637021 (DE-599)BVBBV041961723
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-662-43652-3
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">BV041961723</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="007">cr\|uuu---uuuuu</controlfield><controlfield tag="008">140709s2014 gw a\|\|\| o\|\|\|\| 10\|\|\| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783662436523</subfield><subfield code="c">ebook</subfield><subfield code="9">978-3-662-43652-3</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-662-43652-3</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)881637021</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV041961723</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">XA-DE-BE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-473</subfield><subfield code="a">DE-20</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-M347</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-859</subfield><subfield code="a">DE-861</subfield><subfield code="a">DE-634</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 370f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">004</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 555f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Abstract State Machines, Alloy, B, TLA, VDM, and Z</subfield><subfield code="b">4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014 ; proceedings</subfield><subfield code="c">Yamine Ait Ameur... (Eds.)</subfield></datafield><datafield tag="263" ind1=" " ind2=" "><subfield code="a">201405</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2014</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (XV, 336 S.)</subfield><subfield code="b">Ill.</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">8477</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">VDM</subfield><subfield code="0">(DE-588)4135608-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Computersimulation</subfield><subfield code="0">(DE-588)4148259-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Z</subfield><subfield code="g">Programmiersprache</subfield><subfield code="0">(DE-588)4225739-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">B-Methode</subfield><subfield code="0">(DE-588)4723939-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Alloy</subfield><subfield code="g">Programmiersprache</subfield><subfield code="0">(DE-588)1024105741</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Logischer Entwurf</subfield><subfield code="0">(DE-588)4168051-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">TLA</subfield><subfield code="g">Logik</subfield><subfield code="0">(DE-588)4637478-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Abstrakte Zustandsmaschine</subfield><subfield code="0">(DE-588)4637783-9</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="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Logischer Entwurf</subfield><subfield code="0">(DE-588)4168051-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Computersimulation</subfield><subfield code="0">(DE-588)4148259-1</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">Abstrakte Zustandsmaschine</subfield><subfield code="0">(DE-588)4637783-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Alloy</subfield><subfield code="g">Programmiersprache</subfield><subfield code="0">(DE-588)1024105741</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="2"><subfield code="a">B-Methode</subfield><subfield code="0">(DE-588)4723939-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="3"><subfield code="a">TLA</subfield><subfield code="g">Logik</subfield><subfield code="0">(DE-588)4637478-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="4"><subfield code="a">VDM</subfield><subfield code="0">(DE-588)4135608-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="5"><subfield code="a">Z</subfield><subfield code="g">Programmiersprache</subfield><subfield code="0">(DE-588)4225739-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Ait Ameur, Yamine</subfield><subfield code="4">edt</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">ABZ</subfield><subfield code="n">4</subfield><subfield code="d">2014</subfield><subfield code="c">Toulouse</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)1052422470</subfield><subfield code="4">oth</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druckausgabe</subfield><subfield code="z">3-662-43651-5</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druckausgabe</subfield><subfield code="z">978-3-662-43651-6</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture Notes in Computer Science</subfield><subfield code="v">8477</subfield><subfield code="w">(DE-604)BV014880109</subfield><subfield code="9">8477</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-662-43652-3</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=027404516&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=027404516&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Abstract</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</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-027404516</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-662-43652-3</subfield><subfield code="l">DE-634</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-662-43652-3</subfield><subfield code="l">DE-M347</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-662-43652-3</subfield><subfield code="l">DE-92</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-662-43652-3</subfield><subfield code="l">DE-859</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-662-43652-3</subfield><subfield code="l">DE-861</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-662-43652-3</subfield><subfield code="l">DE-91</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-662-43652-3</subfield><subfield code="l">DE-384</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-662-43652-3</subfield><subfield code="l">DE-473</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-662-43652-3</subfield><subfield code="l">DE-703</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-662-43652-3</subfield><subfield code="l">DE-20</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-662-43652-3</subfield><subfield code="l">DE-706</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-662-43652-3</subfield><subfield code="l">DE-29</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-662-43652-3</subfield><subfield code="l">DE-739</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection>
genre	(DE-588)1071861417 Konferenzschrift gnd-content
genre_facet	Konferenzschrift
id	DE-604.BV041961723
illustrated	Illustrated
indexdate	2025-01-10T15:17:51Z
institution	BVB
institution_GND	(DE-588)1052422470
isbn	9783662436523
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-027404516
oclc_num	881637021
open_access_boolean
owner	DE-473 DE-BY-UBG DE-20 DE-91 DE-BY-TUM DE-706 DE-739 DE-384 DE-M347 DE-703 DE-29 DE-92 DE-859 DE-861 DE-634
owner_facet	DE-473 DE-BY-UBG DE-20 DE-91 DE-BY-TUM DE-706 DE-739 DE-384 DE-M347 DE-703 DE-29 DE-92 DE-859 DE-861 DE-634
physical	1 Online-Ressource (XV, 336 S.) Ill.
psigel	ZDB-2-LNC
publishDate	2014
publishDateSearch	2014
publishDateSort	2014
publisher	Springer
record_format	marc
series	Lecture Notes in Computer Science
series2	Lecture Notes in Computer Science
spelling	Abstract State Machines, Alloy, B, TLA, VDM, and Z 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014 ; proceedings Yamine Ait Ameur... (Eds.) 201405 Berlin [u.a.] Springer 2014 1 Online-Ressource (XV, 336 S.) Ill. txt rdacontent c rdamedia cr rdacarrier Lecture Notes in Computer Science 8477 VDM (DE-588)4135608-1 gnd rswk-swf Computersimulation (DE-588)4148259-1 gnd rswk-swf Z Programmiersprache (DE-588)4225739-6 gnd rswk-swf B-Methode (DE-588)4723939-6 gnd rswk-swf Alloy Programmiersprache (DE-588)1024105741 gnd rswk-swf Logischer Entwurf (DE-588)4168051-0 gnd rswk-swf TLA Logik (DE-588)4637478-4 gnd rswk-swf Abstrakte Zustandsmaschine (DE-588)4637783-9 gnd rswk-swf (DE-588)1071861417 Konferenzschrift gnd-content Logischer Entwurf (DE-588)4168051-0 s Computersimulation (DE-588)4148259-1 s DE-604 Abstrakte Zustandsmaschine (DE-588)4637783-9 s Alloy Programmiersprache (DE-588)1024105741 s B-Methode (DE-588)4723939-6 s TLA Logik (DE-588)4637478-4 s VDM (DE-588)4135608-1 s Z Programmiersprache (DE-588)4225739-6 s 1\p DE-604 Ait Ameur, Yamine edt ABZ 4 2014 Toulouse Sonstige (DE-588)1052422470 oth Erscheint auch als Druckausgabe 3-662-43651-5 Erscheint auch als Druckausgabe 978-3-662-43651-6 Lecture Notes in Computer Science 8477 (DE-604)BV014880109 8477 https://doi.org/10.1007/978-3-662-43652-3 Verlag Volltext Springer Fremddatenuebernahme application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027404516&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=027404516&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA Abstract 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk
spellingShingle	Abstract State Machines, Alloy, B, TLA, VDM, and Z 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014 ; proceedings Lecture Notes in Computer Science VDM (DE-588)4135608-1 gnd Computersimulation (DE-588)4148259-1 gnd Z Programmiersprache (DE-588)4225739-6 gnd B-Methode (DE-588)4723939-6 gnd Alloy Programmiersprache (DE-588)1024105741 gnd Logischer Entwurf (DE-588)4168051-0 gnd TLA Logik (DE-588)4637478-4 gnd Abstrakte Zustandsmaschine (DE-588)4637783-9 gnd
subject_GND	(DE-588)4135608-1 (DE-588)4148259-1 (DE-588)4225739-6 (DE-588)4723939-6 (DE-588)1024105741 (DE-588)4168051-0 (DE-588)4637478-4 (DE-588)4637783-9 (DE-588)1071861417
title	Abstract State Machines, Alloy, B, TLA, VDM, and Z 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014 ; proceedings
title_auth	Abstract State Machines, Alloy, B, TLA, VDM, and Z 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014 ; proceedings
title_exact_search	Abstract State Machines, Alloy, B, TLA, VDM, and Z 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014 ; proceedings
title_full	Abstract State Machines, Alloy, B, TLA, VDM, and Z 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014 ; proceedings Yamine Ait Ameur... (Eds.)
title_fullStr	Abstract State Machines, Alloy, B, TLA, VDM, and Z 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014 ; proceedings Yamine Ait Ameur... (Eds.)
title_full_unstemmed	Abstract State Machines, Alloy, B, TLA, VDM, and Z 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014 ; proceedings Yamine Ait Ameur... (Eds.)
title_short	Abstract State Machines, Alloy, B, TLA, VDM, and Z
title_sort	abstract state machines alloy b tla vdm and z 4th international conference abz 2014 toulouse france june 2 6 2014 proceedings
title_sub	4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014 ; proceedings
topic	VDM (DE-588)4135608-1 gnd Computersimulation (DE-588)4148259-1 gnd Z Programmiersprache (DE-588)4225739-6 gnd B-Methode (DE-588)4723939-6 gnd Alloy Programmiersprache (DE-588)1024105741 gnd Logischer Entwurf (DE-588)4168051-0 gnd TLA Logik (DE-588)4637478-4 gnd Abstrakte Zustandsmaschine (DE-588)4637783-9 gnd
topic_facet	VDM Computersimulation Z Programmiersprache B-Methode Alloy Programmiersprache Logischer Entwurf TLA Logik Abstrakte Zustandsmaschine Konferenzschrift
url	https://doi.org/10.1007/978-3-662-43652-3 http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027404516&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=027404516&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA
volume_link	(DE-604)BV014880109
work_keys_str_mv	AT aitameuryamine abstractstatemachinesalloybtlavdmandz4thinternationalconferenceabz2014toulousefrancejune262014proceedings AT abztoulouse abstractstatemachinesalloybtlavdmandz4thinternationalconferenceabz2014toulousefrancejune262014proceedings

Verfügbarkeit

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand! Volltext öffnen

MARC

Datensatz im Suchindex

Es ist kein Print-Exemplar vorhanden.

Ähnliche Einträge