Das Buch ist derzeit nicht auf Lager
Mehr zum Buch
Focusing on formal methods, this textbook covers the semantics of essential programming constructs and techniques for program analysis and verification. The authors introduce program graphs to represent control structures, aiming to strike a balance between generality and conceptual complexity, making the material accessible while providing a robust foundation for understanding program behavior and correctness.
Buchkauf
Formal Methods, Flemming Nielson, Hanne Riis Nielson
- Sprache
- Erscheinungsdatum
- 2019
- product-detail.submit-box.info.binding
- (Hardcover)
Wir benachrichtigen dich per E-Mail.
Lieferung
- Gratis Versand in ganz Österreich
Zahlungsmethoden
Keiner hat bisher bewertet.