Delivery included to the United States

Software Engineering and Formal Methods Programming and Software Engineering

Software Engineering and Formal Methods Programming and Software Engineering SEFM 2019 Collocated Workshops: CoSim-CPS, ASYDE, CIFMA, and FOCLASA, Oslo, Norway, September 16-20, 2019, Revised Selected Papers - Lecture Notes in Computer Science

1st Edition 2020

Paperback (10 Sep 2020)

Save $10.30

  • RRP $82.02
  • $71.72
Add to basket

Includes delivery to the United States

10+ copies available online - Usually dispatched within 7 days

Publisher's Synopsis

The volume LNCS 12226 constitutes the revised selected papers from the four workshops collocated with the 17th International Conference on Software Engineering and Formal Methods, SEFM 2019.

The 13 full papers presented together with 7 short papers in this volume were carefully reviewed and selected from a total of 45 submissions. They stem from the following workshops:

CoSim-CPS 2019 - 3rd International Workshop on Formal Co-Simulation of Cyber-Physical Systems;  ASYDE 2019 -- 1st International Workshop on Cognition: Interdisciplinary Foundations, Models and Applications;  and FOCLASA 2019 -- 17th International Workshop on Foundations of Coordination Languages and Self-Adaptive Systems​.

Book information

ISBN: 9783030575052
Publisher: Springer International Publishing
Imprint: Springer
Pub date:
Edition: 1st Edition 2020
Language: English
Number of pages: 277
Weight: 408g
Height: 235mm
Width: 155mm
Spine width: 15mm