64,95 €
64,95 €
inkl. MwSt.
Sofort per Download lieferbar
32 °P sammeln
64,95 €
Als Download kaufen
64,95 €
inkl. MwSt.
Sofort per Download lieferbar
32 °P sammeln
Jetzt verschenken
Alle Infos zum eBook verschenken
64,95 €
inkl. MwSt.
Sofort per Download lieferbar
Alle Infos zum eBook verschenken
32 °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)64,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)64,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 €![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 €![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)72,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)72,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)43,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.