Formal methods : an appetizer /

Uloženo v:
Podrobná bibliografie
Hlavní autoři: Nielson, Flemming, 1955- (Autor), Nielson, Hanne Riis, 1954- (Autor)
Typ dokumentu: Kniha
Jazyk:Angličtina
Vydáno: Cham : Springer, [2019]
Témata:
počítačem podporované navrhování
systémové inženýrství
computer-aided design
systems engineering
kolektivní monografie
monographs
Obálka Obsah Přejít na ObalkyKnih.cz
LEADER 01928nam a22005057i 4500
001 MUB01006472203
003 CZ BrMU
005 20201106100808.0
008 201009t20192019sz ||||| |||||||||||eng d
STA |a POSLANO DO SKCR  |b 2021-01-11 
020 |a 978-3-030-05155-6 
040 |a BOD018  |b cze  |e rda 
072 7 |a 004.9  |x Speciální počítačové metody. Počítačová grafika  |2 Konspekt  |9 23 
080 |a 004.92:658.512.2  |2 MRF 
080 |a 001.2  |2 MRF 
080 |a (048.8:082)  |2 MRF 
100 1 |a Nielson, Flemming,  |d 1955-  |7 ctu2016900212  |4 aut 
245 1 0 |a Formal methods :  |b an appetizer /  |c Nielson Flemming, Hanne Riis Nielson 
264 1 |a Cham :  |b Springer,  |c [2019] 
264 4 |c ©2019 
300 |a xvii, 160 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 
500 |a Obsahuje rejstřík 
650 0 7 |a počítačem podporované navrhování  |7 ph116957  |2 czenas 
650 0 7 |a systémové inženýrství  |7 ph116373  |2 czenas 
650 0 9 |a computer-aided design  |2 eczenas 
650 0 9 |a systems engineering  |2 eczenas 
655 7 |a kolektivní monografie  |7 fd501537  |2 czenas 
655 9 |a monographs  |2 eczenas 
700 1 |a Nielson, Hanne Riis,  |d 1954-  |7 stk2008428788  |4 aut 
CAT |a LUKAS  |b 02  |c 20201009  |l MUB01  |h 1110 
CAT |a VESELA  |b 02  |c 20201106  |l MUB01  |h 1005 
CAT |a VESELA  |b 02  |c 20201106  |l MUB01  |h 1006 
CAT |a VESELA  |b 02  |c 20201106  |l MUB01  |h 1007 
CAT |a VESELA  |b 02  |c 20201106  |l MUB01  |h 1008 
CAT |c 20210111  |l MUB01  |h 1219 
CAT |c 20210614  |l MUB01  |h 1038 
CAT |c 20210614  |l MUB01  |h 2024 
CAT |a BATCH  |b 00  |c 20210724  |l MUB01  |h 1320 
LOW |a POSLANO DO SKCR  |b 2021-01-11 
994 - 1 |l MUB01  |l MUB01  |m BOOK  |1 FI  |a Fakulta informatiky  |3 U360  |5 4200519054  |8 20201009  |f 77  |f Dlouhodobá  |g 2020-42  |r 20201106 
AVA |a INF50  |b FI  |d U360  |e unavailable  |t Není k dispozici  |f 1  |g 1  |h N  |i 0  |k 0 

Podobné jednotky