×


 x 

Shopping cart
Bruno Berstel-Da Silva - Verification of Business Rules Programs - 9783642400377 - V9783642400377
Stock image for illustration purposes only - book cover, edition or condition may vary.

Verification of Business Rules Programs

€ 64.42
FREE Delivery in Ireland
Description for Verification of Business Rules Programs Hardback. Verification of Business Rules Programs Num Pages: 236 pages, 16 black & white illustrations, 2 colour illustrations, biography. BIC Classification: UM; UN; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 16. Weight in Grams: 549.

Rules represent a simplified means of programming, congruent with our understanding of human brain constructs. With the advent of business rules management systems, it has been possible to introduce rule-based programming to nonprogrammers, allowing them to map expert intent into code in applications such as fraud detection, financial transactions, healthcare, retail, and marketing. However, a remaining concern is the quality, safety, and reliability of the resulting programs.

 

This book is on business rules programs, that is, rule programs as handled in business rules management systems. Its conceptual contribution is to present the foundation for treating business rules as a topic ... Read more

 

This work will be of interest to practitioners and researchers in the areas of program verification, enterprise computing, database management, and artificial intelligence.

Show Less

Product Details

Format
Hardback
Publication date
2013
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
236
Condition
New
Number of Pages
236
Place of Publication
Berlin, Germany
ISBN
9783642400377
SKU
V9783642400377
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15

About Bruno Berstel-Da Silva
Dr. Bruno Berstel-Da Silva graduated in 1990 from the École Nationale Supérieure d'Électrotechnique, d'Électronique, d'Informatique, d'Hydraulique et des Télécommunications (ENSEEIHT) in Toulouse with an engineering degree in computer science. He completed an M.Sc. (D.E.A.) in theoretical computer science at the Université Pierre et Marie Curie, Paris VI in 1991. He has worked for ILOG, now part of IBM, as a ... Read more

Reviews for Verification of Business Rules Programs

Goodreads reviews for Verification of Business Rules Programs


Subscribe to our newsletter

News on special offers, signed editions & more!