Cover Image

QR Code

Formal Aspects of Component Software 16th International Conference, FACS 2019, Amsterdam, The Netherlands, October 23–25, 2019, Proceedings /

This book constitutes the thoroughly revised selected papers from the 16th International Conference on Formal Aspects of Component Software, FACS 2019, held in Amsterdam, The Netherlands, in October 2019. The 9 full papers presented together with 9 full papers and 3 short papers as well as 2 other p...

Full description

Corporate Author:	SpringerLink (Online service)
Other Authors:	Arbab, Farhad. (Editor, http://id.loc.gov/vocabulary/relators/edt), Jongmans, Sung-Shik. (Editor, http://id.loc.gov/vocabulary/relators/edt)
Language:	English
Published:	Cham : Springer International Publishing : Imprint: Springer, 2020.
Edition:	1st ed. 2020.
Series:	Programming and Software Engineering ; 12018
Subjects:	Software engineering. Computers. Mathematical logic. Software Engineering. Theory of Computation. Mathematical Logic and Foundations. Information Systems and Communication Service.
Online Access:	https://doi.org/10.1007/978-3-030-40914-2

Similar Items

Formal Aspects of Component Software 15th International Conference, FACS 2018, Pohang, South Korea, October 10–12, 2018, Proceedings / edited by Kyungmin Bae, Peter Csaba Ölveczky.
Published: (2018)

Logic, Rationality, and Interaction 7th International Workshop, LORI 2019, Chongqing, China, October 18–21, 2019, Proceedings / edited by Patrick Blackburn, Emiliano Lorini, Meiyun Guo.
Published: (2019)

Constructivity and Computability in Historical and Philosophical Perspective edited by Jacques Dubucs, Michel Bourdeau.
Published: (2014)

Formal Techniques for Distributed Objects, Components, and Systems 35th IFIP WG 6.1 International Conference, FORTE 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings / edited by Susanne Graf, Mahesh Viswanathan.
Published: (2015)

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 / edited by Erika Ábrahám, Catuscia Palamidessi.
Published: (2014)

Advances in Proof Theory edited by Reinhard Kahle, Thomas Strahm, Thomas Studer.
Published: (2016)

Constructive Negations and Paraconsistency by Sergei Odintsov.
by: Odintsov, Sergei., et al.
Published: (2008)

Logical Studies of Paraconsistent Reasoning in Science and Mathematics edited by Holger Andreas, Peter Verdée.
Published: (2016)

Logical Foundations of Computer Science International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007, Proceedings / edited by Sergei Artemov, Anil Nerode.
Published: (2007)

Completeness Theory for Propositional Logics by Witold A. Pogorzelski, Piotr Wojtylak.
by: Pogorzelski, Witold A., et al.
Published: (2008)

Logic and Structure by Dirk van Dalen.
by: van Dalen, Dirk., et al.
Published: (2013)

Introduction to Concurrency Theory Transition Systems and CCS / by Roberto Gorrieri, Cristian Versari.
by: Gorrieri, Roberto., et al.
Published: (2015)

Logic, Language, Information, and Computation 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings / edited by Rosalie Iemhoff, Michael Moortgat, Ruy de Queiroz.
Published: (2019)

Fundamental Approaches to Software Engineering 19th International Conference, FASE 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 / edited by Perdita Stevens, Andrzej Wąsowski.
Published: (2016)

A Logical Introduction to Proof by Daniel W. Cunningham.
by: Cunningham, Daniel W., et al.
Published: (2013)

Kripke’s Worlds An Introduction to Modal Logics via Tableaux / by Olivier Gasquet, Andreas Herzig, Bilal Said, François Schwarzentruber.
by: Gasquet, Olivier., et al.
Published: (2014)

Formal Aspects of Component Software 10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers / edited by José Luiz Fiadeiro, Zhiming Liu, Jinyun Xue.
Published: (2014)

Formal Aspects of Component Software 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers / edited by Christiano Braga, Peter Csaba Ölveczky.
Published: (2016)

Formal Aspects of Component Software 14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings / edited by José Proença, Markus Lumpe.
Published: (2017)

Formal Aspects of Component Software 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers / edited by Ivan Lanese, Eric Madelaine.
Published: (2015)

Formal Aspects of Component Software 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 11-13, 2012. Revised Selected Papers / edited by Corina S Pasareanu, Gwen Salaün.
Published: (2013)

Formal Techniques for Distributed Objects, Components, and Systems 37th IFIP WG 6.1 International Conference, FORTE 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings / edited by Ahmed Bouajjani, Alexandra Silva.
Published: (2017)

CONCUR 2014 – Concurrency Theory 25th International Conference, CONCUR 2014, Rome, Italy, September 2-5, 2014. Proceedings.
Published: (2014)

Formal Methods for Components and Objects 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures / edited by Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever.
Published: (2008)

Explaining Beauty in Mathematics: An Aesthetic Theory of Mathematics by Ulianov Montano.
by: Montano, Ulianov., et al.
Published: (2014)

Ernst Zermelo An Approach to His Life and Work / by Heinz Dieter Ebbinghaus, Volker Peckhaus.
by: Ebbinghaus, Heinz Dieter., et al.
Published: (2015)

Ernst Zermelo An Approach to His Life and Work / by Heinz-Dieter Ebbinghaus.
by: Ebbinghaus, Heinz-Dieter., et al.
Published: (2007)

Formal Methods for Components and Objects 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures / edited by Elena Giachino, Reiner Hähnle, Frank S. de Boer, Marcello M. Bonsangue.
Published: (2013)

Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems Communications of NII Shonan Meetings / edited by Yamine Ait-Ameur, Shin Nakajima, Dominique Méry.
Published: (2021)

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 / edited by Brijesh Dongol, Luigia Petre, Graeme Smith.
Published: (2019)

Logic, Rationality, and Interaction 6th International Workshop, LORI 2017, Sapporo, Japan, September 11-14, 2017, Proceedings / edited by Alexandru Baltag, Jeremy Seligman, Tomoyuki Yamada.
Published: (2017)

Logic, Rationality, and Interaction 5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015. Proceedings / edited by Wiebe van der Hoek, Wesley H. Holliday, Wen-fang Wang.
Published: (2015)

Belief Revision in Non-Classical Logics by Márcio Moretto Ribeiro.
by: Ribeiro, Márcio Moretto., et al.
Published: (2013)

Automated Deduction - CADE-21 21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007, Proceedings / edited by Frank Pfenning.
Published: (2007)

Automated Deduction – CADE 28 28th International Conference on Automated Deduction, Virtual Event, July 12–15, 2021, Proceedings / edited by André Platzer, Geoff Sutcliffe.
Published: (2021)

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 / edited by Stefania Gnesi, Arend Rensink.
Published: (2014)

Dependable Software Engineering: Theories, Tools, and Applications First International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings / edited by Xuandong Li, Zhiming Liu, Wang Yi.
Published: (2015)

Fundamental Approaches to Software Engineering 18th International Conference, FASE 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings / edited by Alexander Egyed, Ina Schaefer.
Published: (2015)

Logics of Specification Languages edited by Dines Bjørner, Martin C. Henson.
Published: (2008)

Integrated Formal Methods 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings / edited by Erika Ábrahám, Marieke Huisman.
Published: (2016)