Abstraction, refinement and proof for probabilistic systems /

Uloženo v:
Podrobná bibliografie
Hlavní autoři: McIver, Annabelle, 1964- (Autor), Morgan, Carroll, 1952- (Autor)
Typ dokumentu: Kniha
Jazyk:Angličtina
Vydáno: New York : Springer, [2005]
Edice:Monographs in computer science
Témata:
aplikovaná matematika
počítačová věda
pravděpodobnostní metody
applied mathematics
computer science
probabilistic methods
monografie
monographs
Obálka Obsah Přejít na ObalkyKnih.cz
LEADER 02379nam a22006137i 4500
001 MUB01006443314
003 CZ BrMU
005 20190708134326.0
008 190528t20052005gw ||||| |||||||||||eng d
STA |a POSLANO DO SKCR  |b 2019-06-17 
020 |a 978-0-387-40115-7 
040 |a BOD018  |b cze  |e rda 
072 7 |a 004  |x Počítačová věda. Výpočetní technika. Informační technologie  |2 Konspekt  |9 23 
080 |a 004  |2 MRF 
080 |a 51-7  |2 MRF 
080 |a 519.23/.24  |2 MRF 
080 |a (048.8)  |2 MRF 
100 1 |a McIver, Annabelle,  |d 1964-  |7 mub20191040774  |4 aut 
245 1 0 |a Abstraction, refinement and proof for probabilistic systems /  |c Annabelle McIver, Carroll Morgan 
264 1 |a New York :  |b Springer,  |c [2005] 
264 4 |c ©2005 
300 |a xix, 383 stran :  |b ilustrace 
336 |a text  |b txt  |2 rdacontent 
337 |a bez média  |b n  |2 rdamedia 
338 |a svazek  |b nc  |2 rdacarrier 
490 1 |a Monographs in computer science 
504 |a Obsahuje bibliografii a rejstřík 
650 0 7 |a aplikovaná matematika  |7 ph114073  |2 czenas 
650 0 7 |a počítačová věda  |7 ph124511  |2 czenas 
650 0 7 |a pravděpodobnostní metody  |7 ph220676  |2 czenas 
650 0 9 |a applied mathematics  |2 eczenas 
650 0 9 |a computer science  |2 eczenas 
650 0 9 |a probabilistic methods  |2 eczenas 
655 7 |a monografie  |7 fd132842  |2 czenas 
655 9 |a monographs  |2 eczenas 
700 1 |a Morgan, Carroll,  |d 1952-  |7 mub20191041164  |4 aut 
830 0 |a Monographs in computer science 
CAT |a LUKAS  |b 02  |c 20190528  |l MUB01  |h 1119 
CAT |a VESELA  |b 02  |c 20190611  |l MUB01  |h 1417 
CAT |a VESELA  |b 02  |c 20190611  |l MUB01  |h 1425 
CAT |a VESELA  |b 02  |c 20190611  |l MUB01  |h 1425 
CAT |a VESELA  |b 02  |c 20190613  |l MUB01  |h 0931 
CAT |c 20190617  |l MUB01  |h 1030 
CAT |a VESELA  |b 02  |c 20190620  |l MUB01  |h 0958 
CAT |a VESELA  |b 02  |c 20190624  |l MUB01  |h 1446 
CAT |a HANAV  |b 02  |c 20190624  |l MUB01  |h 1722 
CAT |a HANAV  |b 02  |c 20190708  |l MUB01  |h 1343 
CAT |c 20210614  |l MUB01  |h 1033 
CAT |c 20210614  |l MUB01  |h 2019 
CAT |a BATCH  |b 00  |c 20210724  |l MUB01  |h 1311 
LOW |a POSLANO DO SKCR  |b 2019-06-17 
994 - 1 |l MUB01  |l MUB01  |m BOOK  |1 FI  |a Fakulta informatiky  |2 SKLAD  |b sklad  |3 M624  |5 4200518783  |8 20190528  |f 77  |f Dlouhodobá  |g 2019-41  |r 20190613 
AVA |a INF50  |b FI  |c sklad  |d M624  |e unavailable  |t Není k dispozici  |f 1  |g 1  |h N  |i 0  |j SKLAD 

Podobné jednotky