/eh/2025-01-08/173633966714069467/picture.png)
/eh/2024-12-24/173503345348979036/Favorite-Icon.png){kind=icon}
/eh/2025-07-08/1751962110204480194/picture.png)
/eh/2025-06-21/1750485478958537574/countryInfoIcon.png)
/eh/2025-06-21/1750485741321434291/Hi-Sign-in-My-Nihao.png)
/eh/2025-06-21/1750485837193896318/cart.png)
/eh/2025-06-21/1750485968202533847/cart.png)
/eh/2025-04-17/1744862476612819675/hot-img.png)
/eh/2025-11-07/1762504524550532584/header-icon.jpg){kind=icon}
/eh/2025-07-07/1751875582852206790/header-icon.png){kind=icon}
/eh/2025-07-07/1751875587886277738/header-icon.png){kind=icon}
Best in 7 days
home
>
Abrial Jean - Raymond - Modeling In Event - B System And Software Engineering - Hardcover
>
Abrial Jean - Raymond - Modeling In Event - B System And Software Engineering - Hardcover
download picture
description
Abrial Jean - Raymond - Modeling In Event - B System And Software Engineering - HardcoverBinding: Hardcover Description: A practical text suitable for an introductory or advanced course in formal methods this book presents a mathematical approach to modelling and designing systems using an extension of the B formal method: Event B. Contains a wide variety of examples and exercises ranging in difficulty to suit readers at all levels. Title: Modeling In Event B System And Software Engineering Author(s): Abrial Jean Raymond Publisher:
Shopping security
product description
Why choose thelockerguy wholesale?
Binding: Hardcover
Description: A practical text suitable for an introductory or advanced course in formal methods this book presents a mathematical approach to modelling and designing systems using an extension of the B formal method: Event - B. Contains a wide variety of examples and exercises ranging in difficulty to suit readers at all levels.
Title: Modeling In Event - B System And Software Engineering
Author(s): Abrial Jean - Raymond
Publisher: Cambridge University Press
Barcode: 9780521895569
Pages: 612 Pages, Worked Examples Or Exercises; 10 Halftones, Black And White; 160 Line Drawings, Black And
Publication Date: 5/13/2010
Category: Systems Analysis & Design
Description: A practical text suitable for an introductory or advanced course in formal methods this book presents a mathematical approach to modelling and designing systems using an extension of the B formal method: Event - B. Contains a wide variety of examples and exercises ranging in difficulty to suit readers at all levels.
Title: Modeling In Event - B System And Software Engineering
Author(s): Abrial Jean - Raymond
Publisher: Cambridge University Press
Barcode: 9780521895569
Pages: 612 Pages, Worked Examples Or Exercises; 10 Halftones, Black And White; 160 Line Drawings, Black And
Publication Date: 5/13/2010
Category: Systems Analysis & Design
Abrial Jean - Raymond - Modeling In Event - B System And Software Engineering - Hardcover
Item no
:
51955083651
US$ 164.22
Pay in 4 interest-free payments of $41.05 Learn more
Min. order:
1piece
Shipping Estimate
USA
- USA
- CAN
- USA
- CAN
Ships within 48 hours · Estimated delivery Jul 15 - Jul 20
US$40
Get nowSign up to your membership to get coupons up to
15%
Get nowOpportunity to enjoy order discount up to 15% off
Please add the products
Shipping Notes
- Free Standard Shipping on $100+ Orders to the USA.
- Except Preorder products are shipped in 48 hours.
- Delivery to the USA:
- Standard Shipping : 3-10 business days
- If time is of the essence, please consider selecting expedited delivery for faster service.
Exchange/Return Notes
- We offer a 30-day return/exchange service after receiving.
- Final sale items are not eligible for returns or exchanges.
- To process your return/exchange, please contact us at [email protected]
- Please click here for more details>>> Return & Exchange Policy
Discover Niche Categories That Outsell
Top-Converting Item to Boost Your Average Order
Best in 7 days
Best in 7 days
Best in 7 days
Best in 7 days
recommand products
