Košara
roba
(prazno)
Kontakt
Račun
This textbook guides students through algebraic specification and verification of distributed systems, and some of the most prominent formal verification techniques.
pročitati sve
This textbook guides students through algebraic specification and verification of distributed systems, and some of the most prominent formal verification techniques.
sakriti opis
- Izdavač: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
- Kod:
- Godina izdavanja: 2007
- Jezik: Engleski jezik
- Uvez: Vezana
- Broj stranica: 154
- Širina pakiranja: 24 cm
- Visina pakiranja: 16.4 cm
- Dubina pakiranja: 1.6 cm
- Težina pakiranja: 406 g
Recenzije