00000pam a2200000 c 4500
1009497642
DE-101
20171202185325.0
tu
110112s2011 gw ||||| m||| 00||||eng
11,A10
11,H04
11,N03
dnb
DE-101
1009497642
9783832527648
kart. : EUR 36.50 (DE), EUR 37.50 (AT), sfr 65.00 (freier Pr.)
978-3-8325-2764-8
9783832527648
(DE-599)DNB1009497642
(OCoLC)725526679
1145
ger
DE-101
9999
eng
XA-DE-BE
2\u
004.2
DE-101
22/ger
3\u
004.0151
DE-101
22/ger
4\u
005.10151
DE-101
22/ger
004
510
DE-101
22sdnb
2\u
004.2
3\u
004.0151
4\u
005.101
4\u
510
4\u
1
015
b
1\p
Wachter, Björn
Verfasser
aut
Refined probabilistic abstraction
von Björn Wachter
Berlin
Logos-Verl.
2011
196 S.
graph. Darst.
21 cm
Text
txt
rdacontent
ohne Hilfsmittel zu benutzen
n
rdamedia
Band
nc
rdacarrier
Zugl.: Saarbrücken, Univ., Diss., 2010
(DE-588)4621153-6
https://d-nb.info/gnd/4621153-6
(DE-101)960673660
Abstrakte Interpretation
rswk-swf
gnd
(DE-588)4135577-5
https://d-nb.info/gnd/4135577-5
(DE-101)041355776
Verifikation
rswk-swf
gnd
(DE-588)4115352-2
https://d-nb.info/gnd/4115352-2
(DE-101)041153529
Nebenläufigkeit
rswk-swf
gnd
(DE-588)4057633-4
https://d-nb.info/gnd/4057633-4
(DE-101)040576337
Stochastisches Modell
rswk-swf
gnd
(DE-588)4267759-2
https://d-nb.info/gnd/4267759-2
(DE-101)042677599
Verfeinerung
rswk-swf
gnd
(DE-588)4167271-9
https://d-nb.info/gnd/4167271-9
(DE-101)041672712
Leistungsbewertung
rswk-swf
gnd
(DE-588)4707267-2
https://d-nb.info/gnd/4707267-2
(DE-101)965604977
Unendlicher Zustandsraum
rswk-swf
gnd
(Produktform)Paperback / softback
(Keywords)formale Verifikation
(Keywords)abstrakte Interpretation
(Keywords)Markov-Entscheidungsprozesse
(Keywords)Model Checking
(Keywords)Netzwerkprotokolle
(DE-588)4113937-9
https://d-nb.info/gnd/4113937-9
(DE-101)041139372
Hochschulschrift
gnd-content
(DE-588)4621153-6
https://d-nb.info/gnd/4621153-6
(DE-101)960673660
s
Abstrakte Interpretation
(DE-588)4135577-5
https://d-nb.info/gnd/4135577-5
(DE-101)041355776
s
Verifikation
(DE-588)4115352-2
https://d-nb.info/gnd/4115352-2
(DE-101)041153529
s
Nebenläufigkeit
(DE-588)4057633-4
https://d-nb.info/gnd/4057633-4
(DE-101)040576337
s
Stochastisches Modell
(DE-588)4267759-2
https://d-nb.info/gnd/4267759-2
(DE-101)042677599
s
Verfeinerung
(DE-588)4167271-9
https://d-nb.info/gnd/4167271-9
(DE-101)041672712
s
Leistungsbewertung
(DE-588)4707267-2
https://d-nb.info/gnd/4707267-2
(DE-101)965604977
s
Unendlicher Zustandsraum
DE-101
DE-101
DE-101a
DE-101b
B:DE-101
application/pdf
https://d-nb.info/1009497642/04
Inhaltsverzeichnis
X:MVB
text/html
http://deposit.dnb.de/cgi-bin/dokserv?id=3649963&prov=M&dok_var=1&dok_ext=htm
Inhaltstext
1\p
dnb
20200610
DE-101
https://d-nb.info/provenance/plan#dnb
ra