Axiomatic Specification and Interactive Verification of Architectural Design Patterns in FACTum

Titel:	Axiomatic Specification and Interactive Verification of Architectural Design Patterns in FACTum / Diego Marmsoler ; Gutachter: Alexander Knapp, Manfred Broy ; Betreuer: Manfred Broy
Verfasser:	Marmsoler, Diego
Beteiligt:	Broy, Manfred (Akademischer Betreuer) ; Knapp, Alexander (Gutachter) ; Broy, Manfred (Gutachter)
Veröffentlicht:	München : Universitätsbibliothek der TU München, 2019
Umfang:	Online-Ressource
Format:	E-Book
Sprache:	Englisch
Hochschulschrift:	Dissertation, München, Technische Universität München, 2019
Schlagworte:	Hochschulschrift

alg: 44727237
001A    $06000:05-04-19 
001B    $01999:02-12-21 $t22:59:09.000 
001D    $06000:05-04-19 
001U    $0utf8 
001X    $00 
002@    $0Oax 
002C    $aText $btxt $2rdacontent 
002D    $aComputermedien $bc $2rdamedia 
002E    $aOnline-Ressource $bcr $2rdacarrier 
003@    $0447272373 
004U    $0urn:nbn:de:bvb:91-diss-20190222-1462585-1-9 
006G    $01180602188 
006U    $019,O04 $f20190314 
007A    $01180602188 $aDNB 
009Q    $uhttps://nbn-resolving.org/urn:nbn:de:bvb:91-diss-20190222-1462585-1-9 $xR 
009Q    $S0 $uhttp://nbn-resolving.de/urn:nbn:de:bvb:91-diss-20190222-1462585-1-9 $xH 
010@    $aeng 
011@    $a2019 $n2019 
013D    $RWissenschaftliche Literatur $#Dissertations, Academic $#Thèses et écrits académiques $74113937-9 $8Hochschulschrift [Ts1] $9085338818 
021A    $aAxiomatic Specification and Interactive Verification of Architectural Design Patterns in FACTum $hDiego Marmsoler ; Gutachter: Alexander Knapp, Manfred Broy ; Betreuer: Manfred Broy 
027A    $aAxiomatische Spezifikation und Interaktive Verifikation von Architekturmustern in FACTum 
028A    $aMarmsoler $BVerfasser $dDiego $4aut 
028C    $aBroy $BAkademischer Betreuer $dManfred $4dgs 
028C    $aKnapp $BGutachter $dAlexander $4oth 
028C    $aBroy $BGutachter $dManfred $4oth 
033A    $pMünchen $nUniversitätsbibliothek der TU München 
034D    $aOnline-Ressource 
037C    $dDissertation $eMünchen, Technische Universität München $f2019 
045E    $c720 

lok: 44727237 3

exp: 44727237 3 1 #EPN
201B/01 $005-04-19 $t22:59:46.171 
201C/01 $005-04-19 
201U/01 $0utf8 
203@/01 $01049444922 
208@/01 $a05-04-19 $bl 
209S/01 $S0 $uhttp://nbn-resolving.de/urn:nbn:de:bvb:91-diss-20190222-1462585-1-9 $XH 

lok: 44727237 5

exp: 44727237 5 1 #EPN
201B/01 $005-04-19 $t22:59:46.177 
201C/01 $005-04-19 
201U/01 $0utf8 
203@/01 $01049444930 
208@/01 $a05-04-19 $bl 
209S/01 $S0 $uhttp://nbn-resolving.de/urn:nbn:de:bvb:91-diss-20190222-1462585-1-9 $XH 

lok: 44727237 8

exp: 44727237 8 1 #EPN
201B/01 $005-04-19 $t22:59:46.183 
201C/01 $005-04-19 
201U/01 $0utf8 
203@/01 $01049444949 
208@/01 $a05-04-19 $bl 
209S/01 $S0 $uhttp://nbn-resolving.de/urn:nbn:de:bvb:91-diss-20190222-1462585-1-9 $XH 

lok: 44727237 10

exp: 44727237 10 1 #EPN
201B/01 $005-04-19 $t22:59:46.189 
201C/01 $005-04-19 
201U/01 $0utf8 
203@/01 $01049444957 
208@/01 $a05-04-19 $bl 
209S/01 $S0 $uhttp://nbn-resolving.de/urn:nbn:de:bvb:91-diss-20190222-1462585-1-9 $XH 

lok: 44727237 11

exp: 44727237 11 1 #EPN
201B/01 $005-04-19 $t22:59:46.195 
201C/01 $005-04-19 
201U/01 $0utf8 
203@/01 $01049444965 
208@/01 $a05-04-19 $bl 
209S/01 $S0 $uhttp://nbn-resolving.de/urn:nbn:de:bvb:91-diss-20190222-1462585-1-9 $XH 

lok: 44727237 20

exp: 44727237 20 1 #EPN
201B/01 $005-04-19 $t22:59:46.200 
201C/01 $005-04-19 
201U/01 $0utf8 
203@/01 $01049444973 
208@/01 $a05-04-19 $bl 
209S/01 $S0 $uhttp://nbn-resolving.de/urn:nbn:de:bvb:91-diss-20190222-1462585-1-9 $XH 

lok: 44727237 21

exp: 44727237 21 1 #EPN
201B/01 $005-04-19 $t22:59:46.204 
201C/01 $005-04-19 
201U/01 $0utf8 
203@/01 $01049444981 
208@/01 $a05-04-19 $bl 
209S/01 $S0 $uhttp://nbn-resolving.de/urn:nbn:de:bvb:91-diss-20190222-1462585-1-9 $XH 

lok: 44727237 23

exp: 44727237 23 1 #EPN
201B/01 $005-04-19 $t22:59:46.209 
201C/01 $005-04-19 
201U/01 $0utf8 
203@/01 $0104944499X 
208@/01 $a05-04-19 $bl 
209S/01 $S0 $uhttp://nbn-resolving.de/urn:nbn:de:bvb:91-diss-20190222-1462585-1-9 $XH 

lok: 44727237 24

exp: 44727237 24 1 #EPN
201B/01 $005-04-19 $t22:59:46.214 
201C/01 $005-04-19 
201U/01 $0utf8 
203@/01 $01049445007 
208@/01 $a05-04-19 $bl 
209S/01 $S0 $uhttp://nbn-resolving.de/urn:nbn:de:bvb:91-diss-20190222-1462585-1-9 $XH 

lok: 44727237 25

exp: 44727237 25 1 #EPN
201B/01 $005-04-19 $t22:59:46.218 
201C/01 $005-04-19 
201U/01 $0utf8 
203@/01 $01049445015 
208@/01 $a05-04-19 $bl 
209S/01 $S0 $uhttp://nbn-resolving.de/urn:nbn:de:bvb:91-diss-20190222-1462585-1-9 $XH 

lok: 44727237 36

exp: 44727237 36 1 #EPN
201B/01 $002-12-21 $t22:59:09.350 
201C/01 $002-12-21 
201U/01 $0utf8 
203@/01 $01173909818 
208@/01 $a02-12-21 $bl 
209S/01 $S0 $uhttp://nbn-resolving.de/urn:nbn:de:bvb:91-diss-20190222-1462585-1-9 $XH 

lok: 44727237 49

exp: 44727237 49 1 #EPN
201B/01 $005-04-19 $t22:59:46.223 
201C/01 $005-04-19 
201U/01 $0utf8 
203@/01 $01049445023 
208@/01 $a05-04-19 $bl 
209S/01 $S0 $uhttp://nbn-resolving.de/urn:nbn:de:bvb:91-diss-20190222-1462585-1-9 $XH 

lok: 44727237 75

exp: 44727237 75 1 #EPN
201B/01 $005-04-19 $t22:59:46.227 
201C/01 $005-04-19 
201U/01 $0utf8 
203@/01 $01049445031 
208@/01 $a05-04-19 $bl 
209S/01 $S0 $uhttp://nbn-resolving.de/urn:nbn:de:bvb:91-diss-20190222-1462585-1-9 $XH 

lok: 44727237 76

exp: 44727237 76 1 #EPN
201B/01 $005-04-19 $t22:59:46.231 
201C/01 $005-04-19 
201U/01 $0utf8 
203@/01 $0104944504X 
208@/01 $a05-04-19 $bl 
209S/01 $S0 $uhttp://nbn-resolving.de/urn:nbn:de:bvb:91-diss-20190222-1462585-1-9 $XH 

lok: 44727237 107

exp: 44727237 107 1 #EPN
201B/01 $012-06-20 $t16:40:32.601 
201C/01 $012-06-20 
201U/01 $0utf8 
203@/01 $01112266992 
208@/01 $a12-06-20 $bl 
209S/01 $S0 $uhttp://nbn-resolving.de/urn:nbn:de:bvb:91-diss-20190222-1462585-1-9 $XH 

lok: 44727237 108

exp: 44727237 108 1 #EPN
201B/01 $012-06-20 $t16:40:32.604 
201C/01 $012-06-20 
201U/01 $0utf8 
203@/01 $0111226700X 
208@/01 $a12-06-20 $bl 
209S/01 $S0 $uhttp://nbn-resolving.de/urn:nbn:de:bvb:91-diss-20190222-1462585-1-9 $XH 

lok: 44727237 204

exp: 44727237 204 1 #EPN
201B/01 $005-04-19 $t22:59:46.235 
201C/01 $005-04-19 
201U/01 $0utf8 
203@/01 $01049445058 
208@/01 $a05-04-19 $bl 
209S/01 $S0 $uhttp://nbn-resolving.de/urn:nbn:de:bvb:91-diss-20190222-1462585-1-9 $XH 

lok: 44727237 205

exp: 44727237 205 1 #EPN
201B/01 $005-04-19 $t22:59:46.240 
201C/01 $005-04-19 
201U/01 $0utf8 
203@/01 $01049445066 
208@/01 $a05-04-19 $bl 
209S/01 $S0 $uhttp://nbn-resolving.de/urn:nbn:de:bvb:91-diss-20190222-1462585-1-9 $XH

LEADER	00000cam a22000002c 4500
001	447272373
003	DE-603
005	20211202225909.0
007	cr\|\|\|\|\|\|\|\|\|\|\|\|
008	190405s2019 xx \|\|\|\| om u00\|\|u\|eng
015			\|a 19,O04 \|2 dnb
016	7		\|2 DE-101 \|a 1180602188
024	7		\|a urn:nbn:de:bvb:91-diss-20190222-1462585-1-9 \|2 urn
035			\|a (DE-599)DNB1180602188
040			\|a DE-603 \|b ger \|c DE-603 \|d DE-603
041			\|a eng
084			\|a 720 \|q DE-101 \|2 sdnb
100	1		\|a Marmsoler, Diego \|e Verfasser \|4 aut
245	0	0	\|a Axiomatic Specification and Interactive Verification of Architectural Design Patterns in FACTum \|c Diego Marmsoler ; Gutachter: Alexander Knapp, Manfred Broy ; Betreuer: Manfred Broy
246	1	3	\|a Axiomatische Spezifikation und Interaktive Verifikation von Architekturmustern in FACTum
264		1	\|a München \|b Universitätsbibliothek der TU München \|c 2019
300			\|a Online-Ressource
336			\|a Text \|b txt \|2 rdacontent
337			\|a Computermedien \|b c \|2 rdamedia
338			\|a Online-Ressource \|b cr \|2 rdacarrier
502			\|b Dissertation \|c München, Technische Universität München \|d 2019
655		7	\|a Hochschulschrift \|2 gnd-content \|0 (DE-588)4113937-9 \|0 (DE-603)085338818
700	1		\|a Broy, Manfred \|e Akademischer Betreuer \|4 dgs
700	1		\|a Knapp, Alexander \|e Gutachter \|4 oth
700	1		\|a Broy, Manfred \|e Gutachter \|4 oth
856			\|u https://nbn-resolving.org/urn:nbn:de:bvb:91-diss-20190222-1462585-1-9 \|x Resolving-System
856			\|u http://nbn-resolving.de/urn:nbn:de:bvb:91-diss-20190222-1462585-1-9 \|x Verlag \|z kostenfrei
924	1		\|9 603 \|a (DE-603)1049444922 \|b DE-603 \|c HES \|d d
924	1		\|9 603 \|a (DE-603)1049444930 \|b DE-603 \|c HES \|d d
924	1		\|9 603 \|a (DE-603)1049444949 \|b DE-603 \|c HES \|d d
924	1		\|9 603 \|a (DE-603)1049444957 \|b DE-603 \|c HES \|d d
924	1		\|9 603 \|a (DE-603)1049444965 \|b DE-603 \|c HES \|d d
924	1		\|9 603 \|a (DE-603)1049444973 \|b DE-603 \|c HES \|d d
924	1		\|9 603 \|a (DE-603)1049444981 \|b DE-603 \|c HES \|d d
924	1		\|9 603 \|a (DE-603)104944499X \|b DE-603 \|c HES \|d d
924	1		\|9 603 \|a (DE-603)1049445007 \|b DE-603 \|c HES \|d d
924	1		\|9 603 \|a (DE-603)1049445015 \|b DE-603 \|c HES \|d d
924	1		\|9 603 \|a (DE-603)1173909818 \|b DE-603 \|c HES \|d d
924	1		\|9 603 \|a (DE-603)1049445023 \|b DE-603 \|c HES \|d d
924	1		\|9 603 \|a (DE-603)1049445031 \|b DE-603 \|c HES \|d d
924	1		\|9 603 \|a (DE-603)104944504X \|b DE-603 \|c HES \|d d
924	1		\|9 603 \|a (DE-603)1112266992 \|b DE-603 \|c HES \|d d
924	1		\|9 603 \|a (DE-603)111226700X \|b DE-603 \|c HES \|d d
924	1		\|9 603 \|a (DE-603)1049445058 \|b DE-603 \|c HES \|d d
924	1		\|9 603 \|a (DE-603)1049445066 \|b DE-603 \|c HES \|d d

Axiomatic Specification and Interactive Verification of Architectural Design Patterns in FACTum

Links

Folgen Sie uns auf...