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
![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 €![Specification and Verification of Multi-agent Systems (eBook, PDF)]( "Specification and Verification of Multi-agent Systems (eBook, PDF)")
Specification and Verification of Multi-agent Systems (eBook, PDF)112,95 €![Formal Specification Techniques for Engineering Modular C Programs (eBook, PDF)]( "Formal Specification Techniques for Engineering Modular C Programs (eBook, PDF)")
Formal Specification Techniques for Engineering Modular C Programs (eBook, PDF)112,95 €![Algebraic Foundations of Systems Specification (eBook, PDF)]( "Algebraic Foundations of Systems Specification (eBook, PDF)")
Algebraic Foundations of Systems Specification (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)60,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.