Chechik, Marsha.

概要

作品:	1 作品在 2 項出版品 1 種語言

書目資訊

Tools and algorithms for the construction and analysis of systems = 22nd International Conference, TACAS 2016, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016 : proceedings / by: SpringerLink (Online service); Workshop on the Preservation of Stability under Discretization ((2001 :); Raskin, Jean-Francois.; Chechik, Marsha. (書目-語言資料,印刷品)

Verified Software. Theories, Tools, and Experiments = 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17–18, 2016, Revised Selected Papers / by: Blazy, Sandrine.; SpringerLink (Online service); Chechik, Marsha. (書目-語言資料,印刷品) , [http://id.loc.gov/vocabulary/relators/edt]

CONCUR 2008 - Concurrency Theory = 19th International Conference, CONCUR 2008, Toronto, Canada, August 19-22, 2008. Proceedings / by: SpringerLink (Online service); Breugel, Franck van, (1966-); Chechik, Marsha.; Workshop on the Preservation of Stability under Discretization ((2001 :) (書目-語言資料,印刷品)

Verified Software. Theories, Tools, and Experiments = 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17-18, 2016 : revised selected papers / by: Blazy, Sandrine.; SpringerLink (Online service); Workshop on the Preservation of Stability under Discretization ((2001 :); Chechik, Marsha. (書目-語言資料,印刷品)

Fundamental approaches to software engineering = 12th International Conference, FASE 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, Marsha Chechik, Martin Wirsing / by: Workshop on the Preservation of Stability under Discretization ((2001 :); Chechik, Marsha.; Wirsing, M.; SpringerLink (Online service) (書目-語言資料,印刷品)

主題