Ieiet
Slēptie lauki
Grāmatas
Mana bibliotēka
Palīdzība
Izvērstā grāmatu meklēšana
Iegūt grāmatas iespiesto versiju
Neviena e-grāmata nav pieejama
Springer Shop
Jānis Roze
Meklēt bibliotēkā
Visi pārdevēji
»
Computer Aided Verification: 10th International Conference, CAV ..., 10. sējums
Autori: Alan J. Hu
Par šo grāmatu
Mana bibliotēka
Grāmatas pakalpojumā Google Play
Lappuses, kas parādītas ar
Springer Science & Business Media
atļauju.
Autortiesības
.
Pirmais vāks