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
![Specification of Software Systems (eBook, PDF)]( "Specification of Software Systems (eBook, PDF)")
Specification of Software Systems (eBook, PDF)40,95 €![Mathematical Methods of Specification and Synthesis of Software Systems '85 (eBook, PDF)]( "Mathematical Methods of Specification and Synthesis of Software Systems '85 (eBook, PDF)")
Mathematical Methods of Specification and Synthesis of Software Systems '85 (eBook, PDF)90,95 €![Algebraic Foundations of Systems Specification (eBook, PDF)]( "Algebraic Foundations of Systems Specification (eBook, PDF)")
Algebraic Foundations of Systems Specification (eBook, PDF)40,95 €![Programming Languages and Systems (eBook, PDF)]( "Programming Languages and Systems (eBook, PDF)")
Programming Languages and Systems (eBook, PDF)40,95 €![Formal Methods and Software Engineering (eBook, PDF)]( "Formal Methods and Software Engineering (eBook, PDF)")
Formal Methods and Software Engineering (eBook, PDF)40,95 €![Temporal Logic and State Systems (eBook, PDF)]( "Temporal Logic and State Systems (eBook, PDF)")
Temporal Logic and State Systems (eBook, PDF)61,95 €![Formal Methods for Industrial Critical Systems (eBook, PDF)]( "Formal Methods for Industrial Critical Systems (eBook, PDF)")
Formal Methods for Industrial Critical Systems (eBook, PDF)40,95 €
This book provides an introduction to program specification, illustrating the advantages it confers upon the software development process. Covering all three major specification languages (Larch, VDM, and Z), the book discusses specification in general, the abstraction process, the mathematical tools required, and the main 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.