B 2007: Formal Specification and Development in B 7th International Conference of B Users, Besancon, France, January 7-19, 2007, Proceedings

B 2007: Formal Specification and Development in B 7th International Conference of B Users, Besancon, France, January 7-19, 2007, Proceedings

Библиографическая информация
Опубликовано в: :	Springer e-books
Главный автор:	Julliand, Jacques
Соавтор:	SpringerLink (Online service)
Другие авторы:	Kouchnarenko, Olga
Формат:	Электронная книга
Язык:	English
Публикация:	Berlin Heidelberg : Springer-Verlag GmbH., 2006
Серии:	Lecture Notes in Computer Science,
Предметы:	Computer Science Logic design Software engineering Logics and Meanings of Programs Mathematical Logic and Formal Languages Software Engineering
Online-ссылка:	http://dx.doi.org/10.1007/11955757 Перейти в каталог НБ ТГУ

Похожие документы

ZB 2005: Formal Specification and Development in Z and B 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005, Proceedings
по: Henson, Martin
Публикация: (2005)

Formal Methods for Components and Objects 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures /
Публикация: (2013)

Compiler Construction 16th International Conference, CC 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 26-30, 2007. Proceedings.
по: Krishnamurthi, Shriram
Публикация: (2007)

Specification, Algebra, and Software Essays Dedicated to Kokichi Futatsugi /
Публикация: (2014)

Logics of Specification Languages
по: Bjørner, Dines
Публикация: (2008)

Software Composition 12th International Conference, SC 2013, Budapest, Hungary, June 19, 2013. Proceedings /
Публикация: (2013)

Formal Techniques for Distributed Systems Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings /
Публикация: (2013)

Integrated Formal Methods 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings /
Публикация: (2013)

Integrated Formal Methods 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings /
Публикация: (2014)

Formal Techniques for Distributed Objects, Components, and Systems 34th IFIP WG 6.1 International Conference, FORTE 2014, Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014. Proceedings /
Публикация: (2014)

Structured Object-Oriented Formal Language and Method Third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013, Revised Selected Papers /
Публикация: (2014)

Computer Aided Verification 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007. Proceedings /
по: Damm, Werner
Публикация: (2007)

Theorem Proving in Higher Order Logics 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007. Proceedings /
по: Schneider, Klaus
Публикация: (2007)

Abstract State Machines, B and Z First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings /
по: Hutchison, David
Публикация: (2008)

Fundamental Approaches to Software Engineering 17th International Conference, FASE 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings /
Публикация: (2014)

A Theory of Distributed Objects Asynchrony вЂ" Mobility вЂ" Groups вЂ" Components /
по: Caromel, Denis
Публикация: (2005)

Computer Aided Verification 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008 Proceedings /
по: Hutchison, David
Публикация: (2008)

Static Analysis 14th International Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007. Proceedings /
по: Nielson, Hanne Riis
Публикация: (2007)

Algebra and Coalgebra in Computer Science Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007. Proceedings /
по: Mossakowski, Till
Публикация: (2007)

Temporal Logic and State Systems
по: Kröger, Fred
Публикация: (2008)

Static Analysis 21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedings /
Публикация: (2014)

CONCUR 2014 - Concurrency Theory 25th International Conference, CONCUR 2014, Rome, Italy, September 2-5, 2014. Proceedings /
Публикация: (2014)

Programming Languages and Systems 12th Asian Symposium, APLAS 2014, Singapore, Singapore, November 17-19, 2014, Proceedings /
Публикация: (2014)

Algebraic Informatics Second International Conference, CAI 2007, Thessaloniki, Greece, May 21-25, 2007, Revised Selected and Invited Papers /
по: Bozapalidis, Symeon
Публикация: (2007)

Formal Methods for Industrial Critical Systems 18th International Workshop, FMICS 2013, Madrid, Spain, September 23-24, 2013. Proceedings /
Публикация: (2013)

Software Engineering and Formal Methods 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014. Proceedings /
Публикация: (2014)

Formal Methods and Hybrid Real-Time Systems Essays in Honor of Dines BjГёrner and Chaochen Zhou on the Occasion of Their 70th Birthdays /
по: Jones, Cliff B.
Публикация: (2007)

Inconsistency Tolerance
по: Bertossi, Leopoldo
Публикация: (2005)

Recent Trends in Algebraic Development Techniques 18th International Workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006, Revised Selected Papers /
по: Fiadeiro, José Luiz
Публикация: (2007)

Recent Trends in Algebraic Development Techniques 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004, Revised Selected Papers
по: Fiadeiro, José Luiz
Публикация: (2005)

Automated Deduction вЂ" CADE-21 21st International Conference on Automated Deduction Bremen, Germany, July 17-20, 2007 Proceedings /
по: Pfenning, Frank
Публикация: (2007)

Computer Aided Verification (vol. # 3576) 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings
по: Etessami, Kousha
Публикация: (2005)

Theorem Proving in Higher Order Logics 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005, Proceedings
по: Hurd, Joe
Публикация: (2005)

Computer Aided Verification (vol. # 4144) 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings
по: Ball, Thomas
Публикация: (2006)

Theorem Proving in Higher Order Logics 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008. Proceedings /
по: Hutchison, David
Публикация: (2008)

Foundations of Software Science and Computational Structures 10th International Conference, FOSSACS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal.
по: Seidl, Helmut
Публикация: (2007)

FM 2014: Formal Methods 19th International Symposium, Singapore, May 12-16, 2014. Proceedings /
Публикация: (2014)

Software Engineering and Formal Methods 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013. Proceedings /
Публикация: (2013)

Static Analysis 8th International Symposium, SAS 2001 Paris, France, July 16вЂ"18, 2001 Proceedings /
по: Cousot, Patrick
Публикация: (2006)

Structured Object-Oriented Formal Language and Method Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012. Revised Selected Papers /
Публикация: (2013)