Program Verification (International Computer Science Series)
Kurzinformation
Sprache:
Englisch
ISBN:
9780201416084
Verlag:
Seitenzahl:
324
Auflage:
-
Erschienen:
1992-10-01
Handgeprüfte Gebrauchtware
Schnelle Lieferung
Faire Preise
inkl. MwSt. Versandinformationen
Lieferzeit 1-3 Werktage
6,53 €
Lieferzeit 1-3 Werktage
Weitere Zahlungsmöglichkeiten
Beschreibung
Program Verification (International Computer Science Series)
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. Features rigorous approach, assuming no knowledge of logic and discrete maths covers modern topics like concurrency and fairness includes many exercises as an aid to understanding, plus solutions to selected exercises within the book
Produktdetails
Einband:
hardcover
Seitenzahl:
324
Erschienen:
1992-10-01
Sprache:
Englisch
EAN:
9780201416084
ISBN:
9780201416084
Verlag:
Gewicht:
612 g
Auflage:
-
Alle gebrauchten Bücher werden von uns handgeprüft.
So garantieren wir Dir zu jeder Zeit Premiumqualität.
So garantieren wir Dir zu jeder Zeit Premiumqualität.
Wie neu
6,53 €
Entdecke mehr zum Thema
