Überprüfung von Geschäftsregeln-Programmen, Taschenbuch von Berstel-Da Silva, Bruno...
75,96 €
Verification of Business Rules Programs, Paperback by Berstel-Da Silva, Bruno, ISBN 3662514079, ISBN-13 9783662514078, Like New Used, Free P&P in the UK 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.
Jetzt bei Ebay:
![Produktbild - The City Crown by Bruno Taut (Ashgate Studies in Architecture) [Paperback]](https://i.ebayimg.com/thumbs/images/g/93wAAeSwwbpoJMEj/s-l140.jpg)
