Сбор средств 15 Сентября 2024 – 1 Октября 2024 О сборе средств

Verified Software Theories Tools Experiments 1 Vstte 2005...

Main
Verified Software Theories Tools...

Verified Software Theories Tools Experiments 1 Vstte 2005 4171 2008 3540691472 O 565s

Desconocido

0 / 0

Насколько вам понравилась эта книга?

Какого качества скаченный файл?

Скачайте книгу, чтобы оценить ее качество

Какого качества скаченные файлы?

Год:

2009

Язык:

spanish

ISBN 10:

3540691472

ISBN 13:

9783540691471

Файл:

PDF, 8.77 MB

IPFS:

,

spanish, 2009

Читать Онлайн

Выполняется конвертация в

Конвертация в не удалась

Вас может заинтересовать

Nikolaj Bjørner (auth.), Cliff B. Jones, Zhiming Liu, Jim Woodcock (eds.) — Formal Methods and Hybrid Real-Time Systems: Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays

Maurice H. ter Beek, Annabelle McIver, José N. Oliveira — Formal Methods – The Next 30 Years: Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings

Emil Sekerinski, Nelma Moreira, José N. Oliveira, et al. — Formal Methods. FM 2019 International Workshops: Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part II

Tiziana Margaria, Bernhard Steffen — Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part I

Wolfgang Ahrendt • Bernhard Beckert • Richard Bubel • Einar Broch Johnsen (Eds.) — The Logic of Software. A Tasting Menu of Formal Methods

Michael Codish, Yoav Fekete, Amit Metodi (auth.), Valeria Bertacco, Axel Legay (eds.) — Hardware and Software: Verification and Testing: 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings

Swarat Chaudhuri, Azadeh Farzan (eds.) — Computer Aided Verification: 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II

Rocco De Nicola, Eva Kühn (eds.) — Software Engineering and Formal Methods: 14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings

Bernhard Steffen, Gerhard Woeginger — Computing and Software Science: State of the Art and Perspectives

Hana Chockler, Georg Weissenbacher — Computer Aided Verification (30th International Conference)

Roland Backhouse (auth.), Charles Rattray, Savitri Maharaj, Carron Shankland (eds.) — Algebraic Methodology and Software Technology: 10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004. Proceedings

Lars-Henrik Eriksson, Peter Alexander Lindsay (eds.) — FME 2002: Formal Methods—Getting IT Right. International Symposium of Formal Methods Europe Copenhagen, Denmark, July 22–24, 2002 Proceedings

Shmuel Katz (auth.), Jorge Cuellar, Tom Maibaum, Kaisa Sere (eds.) — FM 2008: Formal Methods: 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008 Proceedings

Desconocido — Verified Software Theories Tools Experiments 1 Vstte 2005 4171 2008 3540691472 O 565s

Nikolaj Bjørner (auth.), Cliff B. Jones, Zhiming Liu, Jim Woodcock (eds.) — Formal Methods and Hybrid Real-Time Systems: Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays

Charles Pecheur (auth.), Stefan Leue, Pedro Merino (eds.) — Formal Methods for Industrial Critical Systems: 12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers

Takuya Katayama (auth.), Shaoying Liu, Tom Maibaum, Keijiro Araki (eds.) — Formal Methods and Software Engineering: 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings

Michael Carl Tschantz, Jeannette M. Wing (auth.), Ana Cavalcanti, Dennis R. Dams (eds.) — FM 2009: Formal Methods: Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings

Thomas Ball, Brian Hackett, Shuvendu K. Lahiri, Shaz Qadeer, Julien Vanegue (auth.), Gary T. Leavens, Peter O’Hearn, Sriram K. Rajamani (eds.) — Verified Software: Theories, Tools, Experiments: Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010. Proceedings

Christel Baier (auth.), Dominique Méry, Stephan Merz (eds.) — Integrated Formal Methods: 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings

Kokichi Futatsugi (auth.), Jin Song Dong, Huibiao Zhu (eds.) — Formal Methods and Software Engineering: 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010. Proceedings

Janos Sztipanovits (auth.), Michael Butler, Wolfram Schulte (eds.) — FM 2011: Formal Methods: 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings

Yongxin Zhao, He Jifeng (auth.), Shengchao Qin, Zongyan Qiu (eds.) — Formal Methods and Software Engineering: 13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011. Proceedings

Wolfgang Paul (auth.), Rajeev Joshi, Peter Müller, Andreas Podelski (eds.) — Verified Software: Theories, Tools, Experiments: 4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012. Proceedings

Wolfgang Paul (auth.), Rajeev Joshi, Peter Müller, Andreas Podelski (eds.) — Verified Software: Theories, Tools, Experiments: 4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012. Proceedings

Anindya Banerjee (auth.), Bernhard Beckert, Ferruccio Damiani, Dilian Gurov (eds.) — Formal Verification of Object-Oriented Software: International Conference, FoVeOOS 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers

Martín Abadi (auth.), Dimitra Giannakopoulou, Dominique Méry (eds.) — FM 2012: Formal Methods: 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings

Ключевые слова