72,95 €
72,95 €
inkl. MwSt.
Sofort per Download lieferbar
36 °P sammeln
72,95 €
Als Download kaufen
72,95 €
inkl. MwSt.
Sofort per Download lieferbar
36 °P sammeln
Jetzt verschenken
Alle Infos zum eBook verschenken
72,95 €
inkl. MwSt.
Sofort per Download lieferbar
Alle Infos zum eBook verschenken
36 °P sammeln
Andere Kunden interessierten sich auch für
![Verification: Theory and Practice (eBook, PDF)]( "Verification: Theory and Practice (eBook, PDF)")
Verification: Theory and Practice (eBook, PDF)72,95 €![First-Order Programming Theories (eBook, PDF)]( "First-Order Programming Theories (eBook, PDF)")
First-Order Programming Theories (eBook, PDF)72,95 €![Formal Methods and Software Engineering (eBook, PDF)]( "Formal Methods and Software Engineering (eBook, PDF)")
Formal Methods and Software Engineering (eBook, PDF)40,95 €![Model-Based Testing of Reactive Systems (eBook, PDF)]( "Model-Based Testing of Reactive Systems (eBook, PDF)")
Model-Based Testing of Reactive Systems (eBook, PDF)40,95 €![Verified Software: Theories, Tools, Experiments (eBook, PDF)]( "Verified Software: Theories, Tools, Experiments (eBook, PDF)")
Verified Software: Theories, Tools, Experiments (eBook, PDF)72,95 €![Automated Technology for Verification and Analysis (eBook, PDF)]( "Automated Technology for Verification and Analysis (eBook, PDF)")
Automated Technology for Verification and Analysis (eBook, PDF)40,95 €![Programming Languages and Systems (eBook, PDF)]( "Programming Languages and Systems (eBook, PDF)")
Programming Languages and Systems (eBook, PDF)40,95 €
This volume is dedicated to the memory of the 1996 Turing Award winner Amir Pnueli. It contains articles written by leading scientists that span the breadth of Pnueli's scientific work, with a focus on the development and the application of formal methods.
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.