Siirry suoraan sisältöön
Verification of Business Rules Programs
Tallenna

Verification of Business Rules Programs

This publication enables rule authors and tool developers to understand, express formally, and prove properties of the execution behavior of business rules programs. It includes a compositional verification method for proving correctness properties.
Painos
Softcover reprint of the original 1st ed. 2014
ISBN
9783662514078
Kieli
englanti
Paino
310 grammaa
Julkaisupäivä
17.8.2016
Sivumäärä
236