Verification of Sequential and Concurrent Programs (eBook, PDF)
PAYBACK Punkte
33 °P sammeln!
This textbook provides a thorough structured introduction to program verification. By covering both sequential and parallel programming, the authors show how these techniques may be used to prove the correctness of a wide variety of programs and they provide a number of demonstrations using case studies. Students coming to this subject for the first time will find this an ideal first course.
Dieser Download kann aus rechtlichen Gründen nur mit Rechnungsadresse in A, B, BG, CY, CZ, D, DK, EW, E, FIN, F, GR, HR, H, IRL, I, LT, L, LR, M, NL, PL, P, R, S, SLO, SK ausgeliefert werden.
Andere Kunden interessierten sich für
