Cargando…

Formal methods - the next 30 years: third world congress, FM 2019, Porto, Portugal, October 7-11, 2019, proceedings

Detalles Bibliográficos
Autores principales:	ter Beek, Maurice H, McIver, Annabelle, Oliveira, José N
Lenguaje:	eng
Publicado:	Springer International Publishing AG 2019
Materias:	XX
Acceso en línea:	http://cds.cern.ch/record/2755323

Ejemplares similares

Formal methods teaching: third international workshop and tutorial, FMTea 2019, held as part of the third world congress on formal methods, FM 2019, Porto, Portugal, october 7, 2019, proceedings
por: Dongol, Brijesh, et al.
Publicado: (2019)

Tests and proofs: 13th international conference, TAP 2019, held as part of the third world congress on formal methods 2019, Porto, Portugal, October 9-11, 2019, proceedings
por: Beyer, Dirk, et al.
Publicado: (2019)

Runtime verification: 19th international conference, RV 2019, Porto, Portugal, October 8-11, 2019, proceedings
por: Finkbeiner, Bernd, et al.
Publicado: (2019)

Static analysis: 26th international symposium, SAS 2019, Porto, Portugal, October 8-11, 2019, proceedings
por: Chang, Bor-Yuh Evan
Publicado: (2019)

Formal methods: practical applications and foundations: Editorial
por: ter Beek, Maurice H., et al.
Publicado: (2022)

Formal methods: practical applications and foundations: Editorial
por: ter Beek, Maurice H., et al.
Publicado: (2021)

Mathematics of program construction: 13th international conference, MPC 2019, Porto, Portugal, October 7-9, 2019, proceedings
por: Hutton, Graham
Publicado: (2019)

Dynamic logic new trends and applications: second international workshop, DALI 2019, Porto, Portugal, October 7-11, 2019, proceedings
por: Soares Barbosa, Luís, et al.
Publicado: (2020)

Unifying theories of programming: 7th international symposium, UTP 2019, dedicated to tony hoare on the occasion of his 85th birthday, Porto, Portugal, October 8, 2019, proceedings
por: Ribeiro, Pedro, et al.
Publicado: (2019)

Editorial
por: McIver, Annabelle, et al.
Publicado: (2021)

Formal aspects of component software: 16th international conference, FACS 2019, Amsterdam, The Netherlands, october 23-25, 2019, proceedings
por: Arbab, Farhad, et al.
Publicado: (2020)

Proceeding of the International Digital Dentistry Society World Congress, Baden Baden 2019: Baden Baden, Germany. 3-6 October 2019
Publicado: (2019)

Proceedings of the Simulation Congress 2019: Liege, Belgium. 28 March 2019
Publicado: (2019)

Discovery science: 22nd international conference, DS 2019, Split, Croatia, October 28-30, 2019, proceedings
por: Kralj Novak, Petra, et al.
Publicado: (2019)

Progress in pattern recognition, image analysis, computer vision, and applications: 24th Iberoamerican congress, CIARP 2019, Havana, Cuba, October 28-31, 2019, proceedings
por: Nyström, Ingela, et al.
Publicado: (2019)

Formal aspects of component software: 14th international conference, FACS 2017, Braga, Portugal, October 10-13, 2017, proceedings
por: Proença, José, et al.
Publicado: (2017)

Proceedings of the Sergio Porto Memorial Symposium
por: Guimaraes, Wladimir, et al.
Publicado: (1981)

Proceedings of Réanimation 2019, the French Intensive Care Society International Congress
Publicado: (2019)

Evolutionary computation in combinatorial optimization: 16th European conference, EVOCOP 2016, Porto, Portugal, March 30 - April 1, 2016, proceedings
por: Chicano, Francisco, et al.
Publicado: (2016)

PRIMA 2019: 22nd international conference, Turin, Italy, October 28-31, 2019, proceedings
por: Baldoni, Matteo, et al.
Publicado: (2019)

CAS Proceedings of the 2019 course on High Gradient Wakeﬁeld Accelerators, Sesimbra, Portugal, 11–22 March 2019
por: Schmickler, Hermann
Publicado: (2020)

Algorithmic game theory: 12th international symposium, SAGT 2019, Athens, Greece, September 30 - October 3, 2019, proceedings
por: Fotakis, Dimitris, et al.
Publicado: (2019)

Formal grammar: 24th international conference, FG 2019, Riga, Latvia, August 11, 2019, proceedings
por: Bernardi, Raffaella, et al.
Publicado: (2019)

Formal methods for industrial critical systems: 24th international conference, FMICS 2019, Amsterdam, The Netherlands, August 30-31, 2019, proceedings
por: Larsen, Kim Guldstrand, et al.
Publicado: (2019)

Collaboration in a hyperconnected world: 17th IFIP WG 5. 5 working conference on virtual enterprises, PRO-VE 2016, Porto, Portugal, October 3-5, 2016, proceedings
por: Afsarmanesh, Hamideh, et al.
Publicado: (2016)

MEDINFO 2019: proceedings of the 17th World Congress on Medical and Health Informatics
por: Ohno-Machado, L, et al.
Publicado: (2019)

Formal methods and software engineering: 21st international conference on formal engineering methods, ICFEM 2019, Shenzhen, China, November 5-9, 2019, proceedings
por: Ait-Ameur, Yamine, et al.
Publicado: (2019)

E-infrastructure and e-services for developing countries: 11th EAI international conference, AFRICOMM 2019, Porto-Novo, Benin, December 3-4, 2019, proceedings
por: Zitouni, Rafik, et al.
Publicado: (2020)

Exploring service science: 10th international conference, IESS 2020, Porto, Portugal, February 5-7, 2020, proceedings
por: Nóvoa, Henriqueta, et al.
Publicado: (2020)

Architecture of computing systems - ARCS 2015: 28th international conference, Porto, Portugal, March 24-27, 2015, proceedings
por: Karl, Wolfgang, et al.
Publicado: (2015)

Digital pathology: 15th European congress, ECDP 2019, Warwick, UK, april 10-13, 2019, proceedings
por: Reyes-Aldasoro, Constantino Carlos, et al.
Publicado: (2019)

Telematics and computing: 8th international congress, WITCOM 2019, Merida, Mexico, November 4-8, 2019, proceedings
por: Mata-Rivera, Miguel Felix, et al.
Publicado: (2019)

In the literature: October 2019
por: Tarazona, Noelia, et al.
Publicado: (2019)

Theory and applications of satisfiability testing - SAT 2019: 22nd international conference, SAT 2019, Lisbon, Portugal, July 9-12, 2019, proceedings
por: Janota, Mikolás, et al.
Publicado: (2019)

Applications of evolutionary computation: 19th European conference, EvoApplications 2016, Porto, Portugal, March 30 - April 1, 2016, proceedings, part II
por: Squillero, Giovanni, et al.
Publicado: (2016)

Applications of evolutionary computation: 19th European conference, EvoApplications 2016, Porto, Portugal, March 30 - April 1, 2016, proceedings, part I
por: Squillero, Giovanni, et al.
Publicado: (2016)

Predictive intelligence in medicine: second international workshop, PRIME 2019, held in conjunction with MICCAI 2019, Shenzhen, China, October 13, 2019, proceedings
por: Rekik, Islem, et al.
Publicado: (2019)

Principles and practice of constraint programming: 25th international conference, CP 2019, Stamford, CT, USA, September 30 - october 4, 2019, proceedings
por: Schiex, Thomas, et al.
Publicado: (2019)

Decision and game theory for security: 10th international conference, GameSec 2019, Stockholm, Sweden, October 30 - November 1, 2019, proceedings
por: Alpcan, Tansu, et al.
Publicado: (2019)

Services - SERVICES 2019: 15th world congress, held as part of the services conference federation, SCF 2019, San Diego, CA, USA, June 25-30, 2019, proceedings
por: Xia, Yunni, et al.
Publicado: (2019)

Cannot write session to /tmp/vufind_sessions/sess_a3l4sia2i4naufuuigoqa2del5