Zwischen und
Kriterien zurücksetzen
Program Verification (Francez, Nissim)
Program Verification
Autor Francez, Nissim
Verlag Pearson Academic
Co-Verlag Pearson Academic (Imprint/Brand)
Sprache Englisch
Einband Kartonierter Einband (Kt)
Erscheinungsjahr 1992
Seiten 352 S.
Artikelnummer 20036767
Verlagsartikelnummer 41608AW
ISBN 978-0-201-41608-4
Reihe Addison-Wesley
CHF 123.80
Zusammenfassung
This comprehensive textbook on program verification aims to give a clear, up-to-date approach to building proveably correct programs, emphasising the role of verification in software development.