Static Analysis of Software
Jean-Louis Boulanger, Jean-Louis Boulanger
₹4,819
Formal Methods Applied to Complex Systems
Implementation of the B Method
Wiley-ISTE · 2014
₹11,732
Free delivery. Nothing extra to pay at checkout.
- Delivery in 3–7 days to any serviceable pincode in India, with tracking.
- Cash on delivery. Pay when the parcel reaches you.
- 15-day returns. See what qualifies.
About this book
Published by Wiley-ISTE in 2014, Formal Methods Applied to Complex Systems: Implementation of the B Method by Jean-Louis Boulanger runs to 496 pages.
Topics covered include Computer science.
Subjects
Book details
- ISBN-13
- 9781848217096
- ISBN-10
- 1848217099
- Author
- Jean-Louis Boulanger
- Publisher
- Wiley-ISTE
- Published
- 2014
- Edition
- 1
- Pages
- 496
- Language
- English
- Condition
- New
- Subject
- Computers & Internet
More by Jean-Louis Boulanger and related titles
Certifiable Software Applications
Jean-louis Boulanger
₹9,244
The Combined Finite-Discrete Element Method
A. Munjiza
₹19,026
AI for Radiology
Oge Marques
₹21,188
Condensed Isogeometric Analysis for Plate and Shell Structures
Buntara Gan
₹9,099
Ultrasound Energy and Data Transfer for Medical Implants
Francesco Mazzilli, Catherine Dehollain
₹4,272
Computational Intelligence and Sustainable Systems
H. Anandakumar, R. Arulmurugan, Chow Chee Onn
₹7,059
Dynamic Programming
Arnold Kaufmann, R. Cruon
₹3,143
Characterization, Testing, Measurement, and Metrology
Chander Prakash, Sunpreet Singh, J. Paulo Davim
₹17,342
Artificial Intelligence and Systems of the Earth
Michel Speiser
₹8,487
Applied Informatics for Industry 4.0
N. H. Siddique
₹8,436
Web and Big Data
Jingkuan Song, Xiaofeng Zhu
₹4,228