Formal Methods Applied to Complex Systems: Implementation of the B Method by Jea
223,94 €
This book presents real-world examples of formal techniques in an industrial context. B Tools, Jean-Louis Boulanger. Event B, Dominique Méry, Neeraj Kumar Singh. B-RAIL: UML to B Transformation in Modeling a Level Crossing, Jean-Louis Boulanger.
Jetzt bei Ebay: