Get Free Shipping on orders over $0
Software Engineering and Formal Methods : SEFM 2019 Collocated Workshops: CoSim-CPS, ASYDE, CIFMA, and FOCLASA, Oslo, Norway, September 16-20, 2019, Revised Selected Papers - Javier Camara

Software Engineering and Formal Methods

SEFM 2019 Collocated Workshops: CoSim-CPS, ASYDE, CIFMA, and FOCLASA, Oslo, Norway, September 16-20, 2019, Revised Selected Papers

By: Javier Camara (Editor), Martin Steffen (Editor)

Paperback | 10 September 2020

At a Glance

Paperback


$188.75

or 4 interest-free payments of $47.19 with

 or 

Ships in 10 to 15 business days

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â.

More in Computer Science

God AI : Boom or Doom? What to Expect When Machines Outsmart Us - Toby Walsh
Microsoft 365 Excel For Dummies : For Dummies (Computer/Tech) - David H. Ringstrom
Medium Hot : Images in the Age of Heat - Hito Steyerl

RRP $26.99

$22.99

15%
OFF
Claude For Dummies - Stephanie Diamond

RRP $44.95

$35.75

20%
OFF
Empire of AI : Inside the reckless race for total domination - Karen Hao
Co-Existence : The Next Phase of AI - Ethan Mollick

RRP $39.99

$31.75

21%
OFF
Co-Intelligence : Living and Working with AI - Ethan Mollick

RRP $36.99

$28.75

22%
OFF
We Are Not Machines : The Fight for the Future of Work - Sarah O'Connor
AI for Understanding Subtext in Film and Drama - Yair Neuman
AI for Understanding Subtext in Film and Drama - Yair Neuman
Dynamics of Marine Structures - Yingguang  Wang

RRP $503.95

$442.99

12%
OFF