65,95 €
65,95 €
inkl. MwSt.
Sofort per Download lieferbar
33 °P sammeln
65,95 €
Als Download kaufen
65,95 €
inkl. MwSt.
Sofort per Download lieferbar
33 °P sammeln
Jetzt verschenken
Alle Infos zum eBook verschenken
65,95 €
inkl. MwSt.
Sofort per Download lieferbar
Alle Infos zum eBook verschenken
33 °P sammeln
Andere Kunden interessierten sich auch für
![Verification of Sequential and Concurrent Programs (eBook, PDF)]( "Verification of Sequential and Concurrent Programs (eBook, PDF)")
Verification of Sequential and Concurrent Programs (eBook, PDF)65,95 €![Verification of Sequential and Concurrent Programs (eBook, PDF)]( "Verification of Sequential and Concurrent Programs (eBook, PDF)")
Verification of Sequential and Concurrent Programs (eBook, PDF)65,95 €![Communicating Sequential Processes. The First 25 Years (eBook, PDF)]( "Communicating Sequential Processes. The First 25 Years (eBook, PDF)")
Communicating Sequential Processes. The First 25 Years (eBook, PDF)40,95 €![The Temporal Logic of Reactive and Concurrent Systems (eBook, PDF)]( "The Temporal Logic of Reactive and Concurrent Systems (eBook, PDF)")
The Temporal Logic of Reactive and Concurrent Systems (eBook, PDF)40,95 €![Mining Sequential Patterns from Large Data Sets (eBook, PDF)]( "Mining Sequential Patterns from Large Data Sets (eBook, PDF)")
Mining Sequential Patterns from Large Data Sets (eBook, PDF)73,95 €![Data Mining for Association Rules and Sequential Patterns (eBook, PDF)]( "Data Mining for Association Rules and Sequential Patterns (eBook, PDF)")
Data Mining for Association Rules and Sequential Patterns (eBook, PDF)73,95 €![Principles of Concurrent and Distributed Programming uPDF eBook (eBook, PDF)]( "Principles of Concurrent and Distributed Programming uPDF eBook (eBook, PDF)")
Principles of Concurrent and Distributed Programming uPDF eBook (eBook, PDF)44,95 €
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.