Home Advanced Search

Advanced Search - Page 1

Principles of abstract interpretation
  • EPUB
  • English
  • Year: 2021
  • Author: Patrick Cousot
Verification, Model Checking, and Abstract Interpretation: 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005. Proceedings
  • PDF
  • English
  • Year: 2005
  • Author: Patrick Cousot (auth.), Radhia Cousot (eds.)
Static Analysis: Third International Workshop, WSA '93, Padova, Italy, September 22-24, 1993. Proceedings: Third International Workshop, WSA '93, ... 3rd
  • DJVU
  • English
  • Year: 1993
  • Author: Patrick Cousot, Moreno Falaschi, Gilberto File, Antoine Rauzy
Abstraction, Reformulation, and Approximation: 4th International Symposium, SARA 2000 Horseshoe Bay, USA, July 26–29, 2000 Proceedings
  • PDF
  • English
  • Year: 2000
  • Author: Patrick Cousot (auth.), Berthe Y. Choueiry, Toby Walsh (eds.)
Static Analysis: Third International Workshop, WSA '93 Padova, Italy, September 22–24, 1993 Proceedings
  • PDF
  • English
  • Year: 1993
  • Author: Pascal Van Hentenryck, Olivier Degimbe, Baudouin Le Charlier (auth.), Patrick Cousot, Moreno Falaschi, Gilberto Filé, Antoine Rauzy (eds.)
Static Analysis: Third International Symposium, SAS '96 Aachen, Germany, September 24–26, 1996 Proceedings
  • DJVU
  • English
  • Year: 1996
  • Author: Alex Aiken (auth.), Radhia Cousot, David A. Schmidt (eds.)
Verification, Model Checking, and Abstract Interpretation: 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008. Proceedings
  • PDF
  • English
  • Year: 2008
  • Author: Radhia Cousot (auth.), Francesco Logozzo, Doron A. Peled, Lenore D. Zuck (eds.)
Verification, Model Checking, and Abstract Interpretation: 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008. Proceedings
  • PDF
  • English
  • Year: 2008
  • Author: Radhia Cousot (auth.), Francesco Logozzo, Doron A. Peled, Lenore D. Zuck (eds.)
Un homme, un livre au XIème siècle : le prévôt Odalric et le manuscrit 15 de la Bibliothèque municipale de Reims
  • PDF
  • French
  • Year: 2015
  • Author: Corbet, Patrick; Demouy, Patrick
Master your Raspberry Pi in 30 days: A step-by-step guide for beginners on Raspberry Pi
  • PDF
  • English
  • Year: 2020
  • Author: Patrick Fromaget, Patrick FROMAGET
search