User log in
User registration
Registrations are open
Click here to register
Email: forgotten email?
Password: lost pass?
  Resend activation email
Get VPN Now for FREE! Get VPN Now for FREE! Get VPN Now for FREE! Get VPN Now for FREE! Get VPN Now for FREE! Get VPN Now for FREE! Get VPN Now for FREE! Protect your privacy! Use a VPN When Downloading Torrents
Your IP Address is . Location is .
Your Internet Provider is tracking your torrent activity! Hide your IP ADDRESS with a VPN!
We strongly recommend using Trust.Zone VPN to anonymize your torrenting. It's FREE!
Autumn deal! 75% off! Also, while you are using Tjd5a6a7rusfdf37c9t.ne2f3ffZone VPN you get No Ads for Demonoid members Get fdf37c9VPN Nfdf37c9ow for FREi043c04Erd4ac56!
Details for Static Analysis of Software: The Abstract Interpretation (1st Edition) [Ebook] [FTU]
Created by Ratio: 1.00SaM 2 years ago
Books : Educational : English
For More Udemy Free Courses >>> https://ftuforum.com/
For more Lynda and other Courses >>> https://www.freecoursesonline.me/
Our Forum for discussion >>> https://discuss.ftuforum.com/




By: Jean-Louis Boulanger
Hardcover: 331 pages
Publisher: Wiley-ISTE; 1 edition (December 12, 2011)
Language: English
Format: EPUB
ISBN-10: 1848213204
ISBN-13: 978-1848213203
Source: https://www.amazon.com/Static-Analysis-Software-Abstract-Interpretation/dp/1848213204

About

The existing literature currently available to students and researchers is very general, covering only the formal techniques of static analysis.
This book presents real examples of the formal techniques called "abstract interpretation" currently being used in various industrial fields: railway, aeronautics, space, automotive, etc.

The purpose of this book is to present students and researchers, in a single book, with the wealth of experience of people who are intrinsically involved in the realization and evaluation of software-based safety critical systems. As the authors are people currently working within the industry, the usual problems of confidentiality, which can occur with other books, is not an issue and so makes it possible to supply new useful information (photos, architectural plans, real examples).

About Author

Jean-Louis Boulanger is currently an Independent Safety Assessor (ISA) in the railway domain focusing on software elements. He is a specialist in the software engineering domain (requirement engineering, semi-formal and formal method, proof and model-checking). He also works as an expert for the French notified body CERTIFER in the field of certification of safety critical railway applications based on software (ERTMS, SCADA, automatic subway, etc.). His research interests include requirements, software verification and validation, traceability and RAMS with a special focus on SAFETY.



Facebook Twitter Digg Reddit LinkedIn StumbleUpon Email
Show Demonoid some love with BitCoin: 1DNoidyJgB159bLJT5hDnCkZ4uQrhkfBVk How to get BitCoins?
Peers: 0 seeders, 0 leechers, 0 total - Updated: 5 months ago [ Update now ]
Size: 5.40 MB  

Sponsored links
Related torrents
Torrents you may also like:
Download this torrent
Extra information
Tracker: udp://tracker.iamhansen.xyz:2000/announce
Torrent hash: 13C03710 C5A933F5 64E65897 0A42079E 02F5ECD7
Files described inside the torrent: 7 [ Click here to show the full list ]
Comments
No comments posted yet

Disclaimer: None of the files shown here are actually hosted or transmitted by this server. The links are provided solely by this site's users. The site moderation is also a service provided by the site's users. The administrator of this site (demonoid.is) cannot be held responsible for what its users post, or any other actions of its users. You may not use this site to distribute or download any material when you do not have the legal rights to do so. It is your own responsibility to adhere to these terms.

By using this site you indicate your agreement to our terms and conditions
   
Link to us | Contact us | API | Commemoration | Feeds/RSS | DMCA
This site and the Demonoid logo are Copyright © Demonoid. All rights reserved.

Show Demonoid some love with 1DNoidyJgB159bLJT5hDnCkZ4uQrhkfBVk