Verification of Business Rules Programs - Bruno Berstel-Da Silva - Books - Springer-Verlag Berlin and Heidelberg Gm - 9783662514078 - August 17, 2016
In case cover and title do not match, the title is correct

Bruno Berstel-Da Silva
Verification of Business Rules Programs Softcover reprint of the original 1st ed. 2014 edition

Price
HK$ 436
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jul 2 - 8

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

Also available as:

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.

253 pages, 16 black & white illustrations, 2 colour illustrations, biography

Media Books     Paperback Book   (Book with soft cover and glued back)
Released August 17, 2016
ISBN13 9783662514078
Publishers Springer-Verlag Berlin and Heidelberg Gm
Pages 236
Dimensions 155 × 235 × 14 mm   ·   362 g
Language German  

Mere med samme udgiver

See all of Bruno Berstel-Da Silva ( e.g. Hardcover Book and Paperback Book )