|
|
.
|
|
|
0 (hodnocen0 x )
|
|
|
EB
|
|
|
ONLINE
|
|
|
|
|
|
|
|
|
Cham : Springer International Publishing AG, 2022
|
|
|
1 online resource (560 pages)
|
| Externí odkaz |
 Plný text PDF
|
|
* Návod pro vzdálený přístup
|
|
|
|
|
|
|
|
|
|
ISBN 9783031131882 (electronic bk.)
|
|
|
ISBN 9783031131875
|
|
|
Lecture Notes in Computer Science Ser. ; v.13372
|
|
|
Print version: Shoham, Sharon Computer Aided Verification Cham : Springer International Publishing AG,c2022 ISBN 9783031131875
|
|
|
|
|
|
|
|
|
001897948
|
|
|
express
|
|
|
(Au-PeEL)EBL7070165
|
|
|
(MiAaPQ)EBC7070165
|
|
|
(OCoLC)1340956904
|
Dotazy a připomínky