Koszyk
towar
(pusty)
Kontakt
Konto
This textbook guides students through algebraic specification and verification of distributed systems, and some of the most prominent formal verification techniques.
przeczytaj całość
This textbook guides students through algebraic specification and verification of distributed systems, and some of the most prominent formal verification techniques.
ukryj opis
- Wydawnictwo: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
- Kod:
- Rok wydania: 2007
- Język: Angielski
- Oprawa: Twarda
- Liczba stron: 154
- Szerokość opakowania: 24 cm
- Wysokość opakowania: 16.4 cm
- Głębokość opakowania: 1.6 cm
- Waga: 406 g
Recenzja