B Method by Boulanger, Jean-Louis

B Method (Hardcover) (ISBN-13: 9781785481567)

Vendor: Jean-Louis Boulanger
Product type: Books
Format: Hardcover
$130.00
$130.00
$130.00
Subtotal: $130.00
B Method by Boulanger, Jean-Louis

B Method

$130.00
B Method by Boulanger, Jean-Louis

B Method

$130.00
Format: Hardcover
Description
Description
x

B Method presents the language needed, semantics and methodologies required to use the method on real projects. The B method is one of the well known formal methods used in railway systems safety going back to 1998 that has been deployed on many projects.



Author: Jean-Louis Boulanger
ISBN-10: 1785481568
ISBN-13: 9781785481567
Publisher: Iste Press - Elsevier
Language: English
Published: 12/15/2020
Pages: 300
Format: Hardcover

Recently Viewed Products