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

LNCS 8051 - Theories of Programming and Formal Methods

Main
LNCS 8051 - Theories of Programming and...

LNCS 8051 - Theories of Programming and Formal Methods

Jim Woodcock Zhiming Liu & Huibiao Zhu (eds.)

0 / 0

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

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

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

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

Theories of Programming and Formal Methods

Год:

2013

Язык:

english

ISBN 10:

3642396984

ISBN 13:

9783642396984

Файл:

AZW3 , 2.47 MB

IPFS:

,

english, 2013

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

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

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

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

Author — Title

Author — Title

Zhiming Liu & Jim Woodcock & Huibiao Zhu (eds.) — LNCS 8051 - Theories of Programming and Formal Methods

Giuseppe Castagna — LNCS 5502 - Programming Languages and SystemsProgramming Languages and Systems (Frontmatter Pages)

Péter Müller [Müller, Péter] — Programming Languages and Systems: 29th European Symposium on Programming, ESOP 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings

Barrett, Clark;Davies, Misty;Kahsai, Temesghen — NASA formal methods: 9th international symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, proceedings

Amal Ahmed [Amal Ahmed] — Programming Languages and Systems: 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice ... Science and General Issues Book 10801)

Mathai Joseph (auth.), John Fitzgerald, Ian J. Hayes, Andrzej Tarlecki (eds.) — FM 2005: Formal Methods: International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005. Proceedings

Daniel Jackson (auth.), José Nuno Oliveira, Pamela Zave (eds.) — FME 2001: Formal Methods for Increasing Software Productivity: International Symposium of Formal Methods Europe Berlin, Germany, March 12–16, 2001 Proceedings

Nicolas Halbwachs, Pascal Raymond (auth.), P. S. Thiagarajan, Roland Yap (eds.) — Advances in Computing Science — ASIAN’99: 5th Asian Computing Science Conference Phuket, Thailand, December 10–12,1999 Proceedings

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

Author [Author] — Title

Michael Hennell (auth.), Bernhard Beckert, Reiner Hähnle (eds.) — Tests and Proofs: Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008. Proceedings

Rajeev Alur (auth.), José Meseguer, Grigore Roşu (eds.) — Algebraic Methodology and Software Technology: 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008 Proceedings

Unknown — Theoretical Aspects Of Computing Ictac 2008 5 5160 2008 9783540857617 465s

Giuseppe Castagna — LNCS 5502 - Programming Languages and SystemsProgramming Languages and Systems (Frontmatter Pages)

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

Samson Abramsky (auth.), Amir Pnueli, Irina Virbitskaite, Andrei Voronkov (eds.) — Perspectives of Systems Informatics: 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009. Revised Papers

Samson Abramsky (auth.), Amir Pnueli, Irina Virbitskaite, Andrei Voronkov (eds.) — Perspectives of Systems Informatics: 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009. Revised Papers

Ian J. Hayes (auth.), Ana Cavalcanti, David Deharbe, Marie-Claude Gaudel, Jim Woodcock (eds.) — Theoretical Aspects of Computing – ICTAC 2010: 7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010. Proceedings

K. Rustan M. Leino (auth.), Mihaela Bobaru, Klaus Havelund, Gerard J. Holzmann, Rajeev Joshi (eds.) — NASA Formal Methods: Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 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

Andrei Voronkov & Christoph Weidenbach (eds.) — LNCS 7797 - Programming Logics

Jean-Raymond Abrial (auth.), Einar Broch Johnsen, Luigia Petre (eds.) — Integrated Formal Methods: 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings

Jim Woodcock Zhiming Liu & Huibiao Zhu (eds.) — LNCS 8051 - Theories of Programming and Formal Methods

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