Book's by Radhia Cousot
Covers
List
Static Analysis
By: Radhia Cousot, David A. Schmidt
Be the first to review
Static Analysis and Verification of Aerospace Software by Abstract Interpretation
By: Julien Bertrane, Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, Xavier Rival
Be the first to review
Static Analysis
By: Radhia Cousot, David A. Schmidt
Be the first to review
Static Analysis
By: Radhia Cousot
Be the first to review
Third International Symposium, SAS '96, Aachen, Germany, September 24 - 26, 1996. Proceedings
Third International Symposium, SAS '96, Aachen, Germany, September 24 - 26, 1996. Proceedings
Age
Page Count
408
Publisher
Springer Science & Business Media
Published Date
ISBN 10
3540617396
ISBN 13
9783540617396
Age
Page Count
119
Published Date
ISBN 10
1601988575
ISBN 13
9781601988577
Third International Symposium, SAS '96, Aachen, Germany, September 24 - 26, 1996. Proceedings
Third International Symposium, SAS '96, Aachen, Germany, September 24 - 26, 1996. Proceedings
Age
Page Count
408
Publisher
Springer Science & Business Media
Published Date
ISBN 10
3540617396
ISBN 13
9783540617396
10th International Symposium, SAS 2003, San Diego, CA, USA, June 11-13, 2003. Proceedings
By:
Radhia Cousot
10th International Symposium, SAS 2003, San Diego, CA, USA, June 11-13, 2003. Proceedings
By:
Radhia Cousot
Age
Page Count
510
Publisher
Springer
Published Date
ISBN 10
3662186187
ISBN 13
9783662186183
Select your Age
This will help us customize your experience to showcase the most relevant content to your age group
Please select from below
Login
Not registered?
Sign up
Already registered?
Success – Your message will goes here
We'd love to hear from you!
Thank you for visiting our website. Would you like to provide feedback on how we could improve your experience?
This site does not use any third party cookies with one exception — it uses cookies from Google to deliver its services and to analyze traffic.
Learn More.