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

Abstract State Machines, Alloy, B, VDM, and Z: third international conference, ABZ 2012, Pisa, Italy, June 18 - 21, 2012 ; proceedings

Gespeichert in:

Bibliographische Detailangaben
Format:	Tagungsbericht Buch
Sprache:	English
Veröffentlicht:	Berlin [u.a.] Springer 2012
Schriftenreihe:	Lecture Notes in Computer Science 7316
Schlagworte:	Alloy > Programmiersprache VDM Z > Programmiersprache B-Methode Abstrakte Zustandsmaschine Konferenzschrift > 2012 > Pisa
Online-Zugang:	Inhaltstext Inhaltsverzeichnis
Beschreibung:	XV, 378 S. graph. Darst.
ISBN:	3642308848 9783642308840

Internformat

MARC


LEADER	00000nam a2200000 cb4500
001	BV040255808
003	DE-604
005	20120704
007	t\|
008	120618s2012 gw d\|\|\| \|\|\|\| 10\|\|\| eng d
015			\|a 12,N22 \|2 dnb
016	7		\|a 1022401483 \|2 DE-101
020			\|a 3642308848 \|9 3-642-30884-8
020			\|a 9783642308840 \|c Pb. : ca. EUR 57.78 (DE) (freier Pr.), ca. EUR 59.40 (AT) (freier Pr.), ca. sfr 72.00 (freier Pr.) \|9 978-3-642-30884-0
024	3		\|a 9783642308840
028	5	2	\|a Best.-Nr.: 86105486
035			\|a (OCoLC)802218292
035			\|a (DE-599)DNB1022401483
040			\|a DE-604 \|b ger \|e rakddb
041	0		\|a eng
044			\|a gw \|c XA-DE-BE
049			\|a DE-706 \|a DE-83 \|a DE-11 \|a DE-91G
082	0		\|a 005.12 \|2 22/ger
082	0		\|a 005.131 \|2 22/ger
084			\|a 004 \|2 sdnb
245	1	0	\|a Abstract State Machines, Alloy, B, VDM, and Z \|b third international conference, ABZ 2012, Pisa, Italy, June 18 - 21, 2012 ; proceedings \|c John Derrick ... (eds.)
264		1	\|a Berlin [u.a.] \|b Springer \|c 2012
300			\|a XV, 378 S. \|b graph. Darst.
336			\|b txt \|2 rdacontent
337			\|b n \|2 rdamedia
338			\|b nc \|2 rdacarrier
490	1		\|a Lecture Notes in Computer Science \|v 7316
650	0	7	\|a Alloy \|g Programmiersprache \|0 (DE-588)1024105741 \|2 gnd \|9 rswk-swf
650	0	7	\|a VDM \|0 (DE-588)4135608-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 Abstrakte Zustandsmaschine \|0 (DE-588)4637783-9 \|2 gnd \|9 rswk-swf
655		7	\|0 (DE-588)1071861417 \|a Konferenzschrift \|y 2012 \|z Pisa \|2 gnd-content
689	0	0	\|a Abstrakte Zustandsmaschine \|0 (DE-588)4637783-9 \|D s
689	0		\|5 DE-604
689	1	0	\|a B-Methode \|0 (DE-588)4723939-6 \|D s
689	1		\|5 DE-604
689	2	0	\|a Z \|g Programmiersprache \|0 (DE-588)4225739-6 \|D s
689	2		\|5 DE-604
689	3	0	\|a Alloy \|g Programmiersprache \|0 (DE-588)1024105741 \|D s
689	3		\|5 DE-604
689	4	0	\|a VDM \|0 (DE-588)4135608-1 \|D s
689	4		\|5 DE-604
700	1		\|a Derrick, John \|e Sonstige \|4 oth
711	2		\|a ABZ \|n 3. \|d 2012 \|c Pisa \|j Sonstige \|0 (DE-588)102343959X \|4 oth
776	0	8	\|i Erscheint auch als \|n Online-Ausgabe \|z 978-3-642-30885-7
830		0	\|a Lecture Notes in Computer Science \|v 7316 \|w (DE-604)BV000000607 \|9 7316
856	4	2	\|m X:MVB \|q text/html \|u http://deposit.dnb.de/cgi-bin/dokserv?id=4040568&prov=M&dok_var=1&dok_ext=htm \|3 Inhaltstext
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=025111690&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA \|3 Inhaltsverzeichnis
943	1		\|a oai:aleph.bib-bvb.de:BVB01-025111690

Datensatz im Suchindex

_version_	1820875389834100736
adam_text	IMAGE 1 TABLE O F CONTENTS INVITED TALKS CONTRIBUTION T O A RIGOROUS ANALYSIS OF WEB APPLICATION FRAMEWORKS . . . 1 EGON BORGER, ANTONIO CISTERNINO, AND VINCENZO GERVASI INTEGRATED OPERATIONAL SEMANTICS: SMALL-STEP, BIG-STEP AND MULTI-STEP 21 IAN J. HAYES AND ROBERT J. COLVIN A S M P A P E R S TEST GENERATION FOR SEQUENTIAL NETS OF ABSTRACT STATE MACHINES 36 PAOLO ARCAINI, FRANCESCO BOLIS, AND ANGELO GARGANTINI ASM AND CONTROLLER SYNTHESIS 51 RICHARD BANACH, HUIBIAO ZHU, WEN SU, AND XIAOFENG WU CONTINUOUS ASM, AND A PACEMAKER SENSING FRAGMENT 65 RICHARD BANACH, HUIBIAO ZHU, WEN SU, AND XIAOFENG W U AN ASM MODEL OF CONCURRENCY IN A WEB BROWSER 79 VINCENZO GERVASI A L L O Y P A P E R S MODELING THE SUPERVISORY CONTROL THEORY WITH A L L O Y 94 BENOIT FRAIKIN, MARC FRAPPIER, AND RICHARD ST-DENIS PREVENTING ARITHMETIC OVERFLOWS IN ALLOY 108 ALEKSANDAR MILICEVIC AND DANIEL JACKSON EXTENDING ALLOY WITH PARTIAL INSTANCES 122 VAJIH MONTAGHAMI AND DEREK RAYSIDE TOWARD A MORE COMPLETE ALLOY 136 TIMOTHY NELSON, DANIEL J. DOUGHERTY, KATHI FISLER, AND SHRIRAM KRISHNAMURTHI TEMPORAL LOGIC MODEL CHECKING IN ALLOY 150 AMIRHOSSEIN VAKILI AND NANCY A. DAY ACTIVE ATTACKING MULTICAST KEY MANAGEMENT PROTOCOL USING ALLOY 164 TING WANG AND DONGYAO JI HTTP://D-NB.INFO/1022401483 IMAGE 2 XIV TABLE OF CONTENTS B P A P E R S FORMALIZING HYBRID SYSTEMS WITH EVENT-B 178 JEAN-RAYMOND ABRIAL, WEN SU. AND HUIBIAO ZHU SMT SOLVERS FOR RODIN 194 DAVID DEHARBE, PASCAL FONTAINE. YOANN GUYOT, AND LAURENT VOISIN REFINEMENT PLANS FOR INFORMED FORMAL DESIGN 208 GUDMUND GROV, ANDREW IRELAND, AND MARIA TERESA LLANO REFINEMENT BY INTERFACE INSTANTIATION 223 STEFAN HALLERSTEDE AND THAI SON HOANG DISCHARGING PROOF OBLIGATIONS FROM ATELIER B USING MULTIPLE AUTOMATED PROVERS 238 DAVID MENTRE, CLAUDE MARCHE, JEAN-CHRISTOPHE FILLIATRE, AND MASASHI ASUKA V D M P A P E R S A SEMANTIC ANALYSIS OF LOGICS T H A T COPE WITH PARTIAL TERMS 252 CLIFF B. JONES, MATTHEW J. LOVERT, AND L. JASON STEGGLES COMBINING VDM WITH EXECUTABLE CODE 266 CLAUS BALLEGAARD NIELSEN, KENNETH LAUSDAHL, AND PETER GORRN LARSEN Z P A P E R S EXTENDING THE TEST TEMPLATE FRAMEWORK T O DEAL WITH AXIOMATIC DESCRIPTIONS, QUANTIFIERS AND SET COMPREHENSIONS 280 MAXIMILIANO CRISTIA AND CLAUDIA FRYDMAN A TOOL CHAIN FOR THE AUTOMATIC GENERATION OF CIRCUS SPECIFICATIONS OF SIMULINK DIAGRAMS 294 CHRIS MARRIOTT, FRANK ZEYDA, AND A N A CAVALCANTI VERIFICATION OF HARDWARE INTERACTION PROPERTIES OF SOFTWARE 308 RAMSAY TAYLOR A S M S H O R T P A P E R S USING THE ARBITRATOR PATTERN FOR DYNAMIC PROCESS-INSTANCE EXTENSION IN A WORK-FLOW MANAGEMENT SYSTEM 323 MATTHES ELSTERMANN, DETLEF SEESE, AND ALBERT FLEISCHMANN A UNIFIED PROCESSOR MODEL FOR COMPILER VERIFICATION AND SIMULATION USING ASM 327 ROLAND LEZUO AND ARIDREAS KRALL IMAGE 3 TABLE OF CONTENTS XV MODELING SYNCHRONIZATION/COMMUNICATION PATTERNS IN VISION-BASED ROBOT CONTROL APPLICATIONS USING ASMS 331 ANDREA LUZZANA, MATTIA ROSSETTI, PAOLO R,IGHETTINI, AND PATRIZIA SCANDURRA A RELIABILITY PREDICTION METHOD FOR ABSTRACT STATE MACHINES 336 RAFFAELA MIRANDOLA, PASQUALINA POTENA, AND PATRIZIA SCANDURRA A SIMPLIFIED PARALLEL ASM THESIS 341 KLAUS-DIETER SCHEWE AND QING WANG REFACTORING ABSTRACT STATE MACHINE MODELS 345 HAMED YAGHOUBI SHAHIR, ROOZBEH FARAHBOD, AND UWE GLASSER B S H O R T P A P E R S CONTINUOUS BEHAVIOUR IN EVENT-B: A SKETCH 349 RICHARD BANACH, HUIBIAO ZHU, WEN SU, AND XIAOFENG W U FORMAL VERIFICATION OF PLC PROGRAMS USING THE B METHOD 353 HANIEL BARBOSA AND DAVID DEHARBE A PRACTICAL EVENT-B REFINEMENT METHOD BASED ON A UML-DRIVEN DEVELOPMENT PROCESS 357 THIAGO C. DE SOUSA, PAULO SERGIO MUNIZ SILVA, AND COLIN F. SNOOK LEARN AND TEST FOR EVENT-B - A RODIN PLUGIN 361 IONUT DINCA, FLORENTIN IPATE. LAURENTIU MIERLA, AND ALIN STEFANESCU EVENT-B CODE GENERATION: TYPE EXTENSION WITH THEORIES 365 ANDREW EDMUNDS, MICHAEL BUTLER, ISSAM MAAMRIA, RENATO SILVA, AND CHRIS LOVELL FORMAL PROOFS FOR THE N Y C T LINE 7 (FLUSHING) MODERNIZATION PROJECT 369 DENIS SABATIER, LILIAN BURDY, ANTOINE REQUET, AND JEROME GUERY A PATTERN FOR MODELLING FAULT TOLERANT SYSTEMS IN EVENT-B 373 GINTAUTAS SULSKUS AND MICHAEL POPPLETON AUTHOR I N D E X 377
any_adam_object	1
building	Verbundindex
bvnumber	BV040255808
classification_rvk	SS 4800
ctrlnum	(OCoLC)802218292 (DE-599)DNB1022401483
dewey-full	005.12 005.131
dewey-hundreds	000 - Computer science, information, general works
dewey-ones	005 - Computer programming, programs, data, security
dewey-raw	005.12 005.131
dewey-search	005.12 005.131
dewey-sort	15.12
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 cb4500</leader><controlfield tag="001">BV040255808</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20120704</controlfield><controlfield tag="007">t\|</controlfield><controlfield tag="008">120618s2012 gw d\|\|\| \|\|\|\| 10\|\|\| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">12,N22</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">1022401483</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3642308848</subfield><subfield code="9">3-642-30884-8</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642308840</subfield><subfield code="c">Pb. : ca. EUR 57.78 (DE) (freier Pr.), ca. EUR 59.40 (AT) (freier Pr.), ca. sfr 72.00 (freier Pr.)</subfield><subfield code="9">978-3-642-30884-0</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783642308840</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">Best.-Nr.: 86105486</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)802218292</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB1022401483</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-706</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-91G</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.12</subfield><subfield code="2">22/ger</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.131</subfield><subfield code="2">22/ger</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">004</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Abstract State Machines, Alloy, B, VDM, and Z</subfield><subfield code="b">third international conference, ABZ 2012, Pisa, Italy, June 18 - 21, 2012 ; proceedings</subfield><subfield code="c">John Derrick ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2012</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XV, 378 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="490" ind1="1" ind2=" "><subfield code="a">Lecture Notes in Computer Science</subfield><subfield code="v">7316</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">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">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">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="y">2012</subfield><subfield code="z">Pisa</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" 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="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><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=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="2" ind2="0"><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="2" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="3" ind2="0"><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="3" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="4" ind2="0"><subfield code="a">VDM</subfield><subfield code="0">(DE-588)4135608-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="4" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Derrick, John</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">ABZ</subfield><subfield code="n">3.</subfield><subfield code="d">2012</subfield><subfield code="c">Pisa</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)102343959X</subfield><subfield code="4">oth</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Online-Ausgabe</subfield><subfield code="z">978-3-642-30885-7</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture Notes in Computer Science</subfield><subfield code="v">7316</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">7316</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">X:MVB</subfield><subfield code="q">text/html</subfield><subfield code="u">http://deposit.dnb.de/cgi-bin/dokserv?id=4040568&prov=M&dok_var=1&dok_ext=htm</subfield><subfield code="3">Inhaltstext</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=025111690&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-025111690</subfield></datafield></record></collection>
genre	(DE-588)1071861417 Konferenzschrift 2012 Pisa gnd-content
genre_facet	Konferenzschrift 2012 Pisa
id	DE-604.BV040255808
illustrated	Illustrated
indexdate	2025-01-10T15:14:51Z
institution	BVB
institution_GND	(DE-588)102343959X
isbn	3642308848 9783642308840
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-025111690
oclc_num	802218292
open_access_boolean
owner	DE-706 DE-83 DE-11 DE-91G DE-BY-TUM
owner_facet	DE-706 DE-83 DE-11 DE-91G DE-BY-TUM
physical	XV, 378 S. graph. Darst.
publishDate	2012
publishDateSearch	2012
publishDateSort	2012
publisher	Springer
record_format	marc
series	Lecture Notes in Computer Science
series2	Lecture Notes in Computer Science
spelling	Abstract State Machines, Alloy, B, VDM, and Z third international conference, ABZ 2012, Pisa, Italy, June 18 - 21, 2012 ; proceedings John Derrick ... (eds.) Berlin [u.a.] Springer 2012 XV, 378 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Lecture Notes in Computer Science 7316 Alloy Programmiersprache (DE-588)1024105741 gnd rswk-swf VDM (DE-588)4135608-1 gnd rswk-swf Z Programmiersprache (DE-588)4225739-6 gnd rswk-swf B-Methode (DE-588)4723939-6 gnd rswk-swf Abstrakte Zustandsmaschine (DE-588)4637783-9 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2012 Pisa gnd-content Abstrakte Zustandsmaschine (DE-588)4637783-9 s DE-604 B-Methode (DE-588)4723939-6 s Z Programmiersprache (DE-588)4225739-6 s Alloy Programmiersprache (DE-588)1024105741 s VDM (DE-588)4135608-1 s Derrick, John Sonstige oth ABZ 3. 2012 Pisa Sonstige (DE-588)102343959X oth Erscheint auch als Online-Ausgabe 978-3-642-30885-7 Lecture Notes in Computer Science 7316 (DE-604)BV000000607 7316 X:MVB text/html http://deposit.dnb.de/cgi-bin/dokserv?id=4040568&prov=M&dok_var=1&dok_ext=htm Inhaltstext DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=025111690&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis
spellingShingle	Abstract State Machines, Alloy, B, VDM, and Z third international conference, ABZ 2012, Pisa, Italy, June 18 - 21, 2012 ; proceedings Lecture Notes in Computer Science Alloy Programmiersprache (DE-588)1024105741 gnd VDM (DE-588)4135608-1 gnd Z Programmiersprache (DE-588)4225739-6 gnd B-Methode (DE-588)4723939-6 gnd Abstrakte Zustandsmaschine (DE-588)4637783-9 gnd
subject_GND	(DE-588)1024105741 (DE-588)4135608-1 (DE-588)4225739-6 (DE-588)4723939-6 (DE-588)4637783-9 (DE-588)1071861417
title	Abstract State Machines, Alloy, B, VDM, and Z third international conference, ABZ 2012, Pisa, Italy, June 18 - 21, 2012 ; proceedings
title_auth	Abstract State Machines, Alloy, B, VDM, and Z third international conference, ABZ 2012, Pisa, Italy, June 18 - 21, 2012 ; proceedings
title_exact_search	Abstract State Machines, Alloy, B, VDM, and Z third international conference, ABZ 2012, Pisa, Italy, June 18 - 21, 2012 ; proceedings
title_full	Abstract State Machines, Alloy, B, VDM, and Z third international conference, ABZ 2012, Pisa, Italy, June 18 - 21, 2012 ; proceedings John Derrick ... (eds.)
title_fullStr	Abstract State Machines, Alloy, B, VDM, and Z third international conference, ABZ 2012, Pisa, Italy, June 18 - 21, 2012 ; proceedings John Derrick ... (eds.)
title_full_unstemmed	Abstract State Machines, Alloy, B, VDM, and Z third international conference, ABZ 2012, Pisa, Italy, June 18 - 21, 2012 ; proceedings John Derrick ... (eds.)
title_short	Abstract State Machines, Alloy, B, VDM, and Z
title_sort	abstract state machines alloy b vdm and z third international conference abz 2012 pisa italy june 18 21 2012 proceedings
title_sub	third international conference, ABZ 2012, Pisa, Italy, June 18 - 21, 2012 ; proceedings
topic	Alloy Programmiersprache (DE-588)1024105741 gnd VDM (DE-588)4135608-1 gnd Z Programmiersprache (DE-588)4225739-6 gnd B-Methode (DE-588)4723939-6 gnd Abstrakte Zustandsmaschine (DE-588)4637783-9 gnd
topic_facet	Alloy Programmiersprache VDM Z Programmiersprache B-Methode Abstrakte Zustandsmaschine Konferenzschrift 2012 Pisa
url	http://deposit.dnb.de/cgi-bin/dokserv?id=4040568&prov=M&dok_var=1&dok_ext=htm http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=025111690&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
volume_link	(DE-604)BV000000607
work_keys_str_mv	AT derrickjohn abstractstatemachinesalloybvdmandzthirdinternationalconferenceabz2012pisaitalyjune18212012proceedings AT abzpisa abstractstatemachinesalloybvdmandzthirdinternationalconferenceabz2012pisaitalyjune18212012proceedings

Verfügbarkeit

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand! Beschreibung

MARC

Datensatz im Suchindex

Es ist kein Print-Exemplar vorhanden.

Ähnliche Einträge