Specification of Software Systems
Knihu koupíte v
1 e-shopu
Pokud se vám po kliknutí na tlačítko "Do obchodu" nezobrazí stránka knihy ve vybraném e-shopu, je třeba vypnout AdBlock ve vašem prohlížeči pro naši stránku.
Návod na vypnutí je například na adrese https://o.seznam.cz/jak-vypnout-adblock/#1.
Krátký popis
Revised and updated, Specification of Software Systems builds upon
the original focus on software specification with added emphasis on
the practice of formal methods for specification and verification.
The text covers a wide range of formal specification techniques.
Zobrazit celý popis
Zobrazit celý popis
Výběr knih vydavatele
Springer London Ltd
Zobrazit všechny knihy vydavatele
Springer London Ltd
Naše tipy
- Právě probíhající akce a slevy na knihy
-
Knihydobrovsky.cz | do 31.03.2026
-
Knihydobrovsky.cz | do 31.03.2026
-
Knihydobrovsky.cz | do 31.03.2026
-
Dobre-knihy.cz | do 31.03.2026
- zobrazit všechny akce
- B. W. Ambrose
- Kin P. Cheung
- Khang Vo
- Antoon van den Braembussche
- Kay Owens
- Richard Grammel
- Guy Faguet
- Paul Fieguth
- Marcello De Falco
- K. Periyasamy
- Bilinda Straight
- Chong-Hung Zee
- Jenny Palm
- Cornelis Benjamin Biezeno
- Marvin A. Carlson
- Bruce R. Schatz
- Robert B Fairbanks
- Sherif Ghali
- Mark A. R. Kleiman
- Lisa Yun
- Paul Greenberg
