Verification of Business Rules Programs Bruno Berstel-Da Silva

ISBN: 9783642400377

Published: January 9th 2014

Hardcover

236 pages


Description

Verification of Business Rules Programs  by  Bruno Berstel-Da Silva

Verification of Business Rules Programs by Bruno Berstel-Da Silva
January 9th 2014 | Hardcover | PDF, EPUB, FB2, DjVu, AUDIO, mp3, ZIP | 236 pages | ISBN: 9783642400377 | 8.33 Mb

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.



Enter the sum





Related Archive Books



Related Books


Comments

Comments for "Verification of Business Rules Programs":


lagetigniere.com

©2008-2015 | DMCA | Contact us