Patrick Cousot | Akateeminen Kirjakauppa

Haullasi löytyi yhteensä 4 tuotetta
Haluatko tarkentaa hakukriteerejä?

Static Analysis and Verification of Aerospace Software by Abstract Interpretation

Julien Bertrane; Patrick Cousot; Radhia Cousot; Jérôme Feret; Laurent Mauborgne; Miné, Antoine; Xavier Rival
now publishers Inc
2015
Pehmeäkantinen kirja

90,30 €

Static Analysis : Third International Workshop, WSA '93, Padova, Italy, September 22-24, 1993. Proceedings

Cousot, Patrick; Falaschi, Moreno; File, Gilberto; Rauzy, Antoine
Springer
1993
Pehmeäkantinen kirja

51,10 €

Static Analysis : 8th International Symposium, SAS 2001, Paris, France, July 16-18, 2001. Proceedings

Cousot, Patrick
Springer
2001
Pehmeäkantinen kirja

51,10 €

Principles of Abstract Interpretation

Cousot, Patrick
MIT Press Ltd
2021
Kovakantinen kirja

154,00 €