Scedrov, Andre books & textbook
Tools and Methods of Program Analysis: 4th International Conference, TMPA 2017, Moscow, Russia, March 3-4, 2017, Revised Selected Papers (Communications in Computer and Information Science, 779)
Itsykson, Vladimir Scedrov, Andre Zakharov, Victor
Springer /2017-12-30 Paperback / 227 Pages
isbn-10: 3319717332 / isbn-13: 9783319717333
Logic and Computer Science: Lectures given at the 1st Session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held at Montecatini Terme, ... 1988 (Lecture Notes in Mathematics, 1429)
Homer, Steven Nerode, Anil Platek, Richard A. Sacks, Gerald E. Scedrov, Andre
Springer /1990-07-17 Paperback / 176 Pages
isbn-10: 3540527346 / isbn-13: 9783540527343
Software Security -- Theories and Systems: Mext-NSF-JSPS International Symposium, ISSS 2002, Tokyo, Japan, November 8-10, 2002, Revised Papers (Lecture Notes in Computer Science, 2609)
Okada, Mitsuhiro Pierce, Benjamin Scedrov, Andre Tokuda, Hideyuki Yonezawa, Akinori
Springer /2003-02-21 Paperback / 488 Pages
isbn-10: 3540007083 / isbn-13: 9783540007081
Logic, Language, Information, and Computation: 29th International Workshop, WoLLIC 2023, Halifax, NS, Canada, July 11–14, 2023, Proceedings (Lecture Notes in Computer Science)
Hansen, Helle Hvid Scedrov, Andre de Queiroz, Ruy J.G.B.
Springer /2023-08-30 Paperback / 436 Pages
isbn-10: 3031397835 / isbn-13: 9783031397837
