Košík
zboží
(prázdné)
This textbook guides students through algebraic specification and verification of distributed systems, and some of the most prominent formal verification techniques.
číst celé
This textbook guides students through algebraic specification and verification of distributed systems, and some of the most prominent formal verification techniques.
schovat popis
- Nakladatel: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
- Kód:
- Rok vydání: 2007
- Jazyk: Angličtina
- Vazba: Vázaná
- Počet stran: 154
- Šířka balení: 24 cm
- Výška balení: 16.4 cm
- Hloubka balení: 1.6 cm
- Váha balení: 406 g
Recenze