Andre Scedrov – författare

Visar alla böcker från författaren Andre Scedrov.

4 produkter

1. 

   Logic, Language, Information, and Computation

   29th International Workshop, WoLLIC 2023, Halifax, NS, Canada, July 11–14, 2023, Proceedings

   Av Helle Hvid Hansen, Andre Scedrov m. fl.

   Häftad, 2023

   1069 kr

   Lägg i varukorg

2. 

   Tools and Methods of Program Analysis

   4th International Conference, TMPA 2017, Moscow, Russia, March 3-4, 2017, Revised Selected Papers

   Av Vladimir Itsykson, Andre Scedrov m. fl.

   Häftad, 2017

   739 kr

   Lägg i varukorg

3. 

   Software Security -- Theories and Systems

   Mext-NSF-JSPS International Symposium, ISSS 2002, Tokyo, Japan, November 8-10, 2002, Revised Papers

   Av Mitsuhiro Okada, Benjamin Pierce m. fl.

   Häftad, 2003

   739 kr

   Lägg i varukorg

4. 

   Logic and Computer Science

   Lectures given at the 1st Session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held at Montecatini Terme, Italy, June 20-28, 1988

   Av Steven Homer, Anil Nerode m. fl.

   Häftad, 1990

   359 kr

   Lägg i varukorg