|
|
.
|
|
|
0 (hodnocen0 x )
|
|
|
EB
|
|
|
ONLINE
|
|
|
|
|
|
London, England ; Hoboken, New Jersey : iSTE : Wiley, 2014
|
|
|
1 online resource (512 pages) : illustrations, tables
|
| Externí odkaz |
 Plný text PDF
|
|
* Návod pro vzdálený přístup
|
|
|
|
|
|
|
|
|
|
ISBN 9781119002680 (electronic bk.)
|
|
|
ISBN 9781848217096
|
|
|
Computer Engineering Series
|
|
|
Print version: Formal methods applied to complex systems : implementation of the B method. London, England ; Hoboken, New Jersey : iSTE ; Wiley, c2014 x, 490 pages Computer engineering series. ISBN 9781848217096
|
|
|
|
|
|
Includes bibliographical references and index
|
|
|
|
|
|
|
|
|
|
|
|
001778751
|
|
|
full
|
|
|
(Au-PeEL)EBL1752713
|
|
|
(CaONFJC)MIL632024
|
|
|
(CaPaEBR)ebr10899803
|
|
|
(MiAaPQ)EBC1752713
|
|
|
(OCoLC)885019411
|
Dotazy a připomínky