Free shipping on all orders over $79* Limited Time Only

My Wish Lists Login / Join

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
288 Pages

Dimensions(cm)
23.5 x 15.5 x 1.52

Paperback

$119.00

or 4 interest-free payments of $29.75 with

or

Ships in 5 to 7 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?.

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

Orders over $79.00 qualify for free shipping.

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.

Defective items

If there is a problem with any of the items received for your order then the Booktopia Customer Care team is ready to assist you.

For more info please visit our Help Centre.

You Can Find This Book In

Non-Fiction Computing & I.T.Computer Science Audio Processing Systems Analysis & Design Artificial Intelligence Natural Language & Machine Translation Databases Information Retrieval Computer Programming & Software Development Algorithms & Data Structures Software Engineering

More in Algorithms & Data Structures

Addiction by Design : Machine Gambling in Las Vegas - Natasha Dow Schull

Addiction by Design

Machine Gambling in Las Vegas

Paperback

RRP $39.99

$33.75

16%
OFF

The Man Who Solved the Market : How Jim Simons Launched the Quant Revolution SHORTLISTED FOR THE FT & MCKINSEY BUSINESS BOOK OF THE YEAR AWARD 2019 - Gregory Zuckerman

The Man Who Solved the Market

How Jim Simons Launched the Quant Revolution SHORTLISTED FOR THE FT & MCKINSEY BUSINESS BOOK OF THE YEAR AWARD 2019

Paperback

RRP $26.99

$22.99

15%
OFF

Heuristic Algorithms Design : A Methodological Approach - Joe Oswald

Heuristic Algorithms Design

A Methodological Approach

Hardcover

$461.75

Artificial Intelligence Programming with Python : From Zero to Hero - Perry Xiao

Artificial Intelligence Programming with Python

From Zero to Hero

Paperback

RRP $65.95

$49.75

25%
OFF

Code Dependent : Living in the Shadow of AI - Madhumita Murgia

Code Dependent

Living in the Shadow of AI

Paperback

RRP $24.99

$21.75

13%
OFF

Introduction to Machine Learning with Python : A Guide for Data Scientists - Andreas C. Mueller

Introduction to Machine Learning with Python

A Guide for Data Scientists

Paperback

RRP $114.00

$55.75

51%
OFF

Python for Algorithmic Trading : From Idea to Cloud Deployment - Yves Hilpisch

Python for Algorithmic Trading

From Idea to Cloud Deployment

Paperback

RRP $152.00

$73.75

51%
OFF

How to Prove It : A Structured Approach - Daniel J. Velleman

How to Prove It

A Structured Approach

Paperback

RRP $73.95

$70.75

Learning Spark : Lightning-Fast Data Analytics - Brooke Wenig

Learning Spark

Lightning-Fast Data Analytics

Paperback

RRP $152.00

$73.75

51%
OFF

New Storytelling : Learning through Metaphors - Anna Ursyn

New Storytelling

Learning through Metaphors

Paperback

RRP $103.00

$91.75

11%
OFF

Considerations on the AI Endgame : Ethics, Risks and Computational Frameworks - Soenke Ziesche

Considerations on the AI Endgame

Ethics, Risks and Computational Frameworks

Paperback

$87.75

Quick Data Structures : Quick Programming - David Matuszek

Quick Data Structures

Quick Programming

Paperback

$75.75

Fundamentals of Data Structures and Algorithms - Elvis C. Foster

Fundamentals of Data Structures and Algorithms

Hardcover

$418.75

Measurements and Instrumentation for Machine Vision - Oleg Sergiyenko

Measurements and Instrumentation for Machine Vision

Paperback

$210.75

Computer Science Why : Answers to Computer Science Questions They Don't Cover in Class - Rachael Little

Computer Science Why

Answers to Computer Science Questions They Don't Cover in Class

Paperback

RRP $75.99

$71.75

Computer Science Why : Answers to Computer Science Questions They Don't Cover in Class - Rachael Little

Computer Science Why

Answers to Computer Science Questions They Don't Cover in Class

Hardcover

RRP $305.00

$263.75

14%
OFF

Scheduling Variable Capacity Resources for Sustainability - Anne Benoit

Scheduling Variable Capacity Resources for Sustainability

Hardcover

RRP $210.00

$184.75

12%
OFF

Applied Data Science in FinTech : Models, Tools, and Case Studies - Juraj Hric

Applied Data Science in FinTech

Models, Tools, and Case Studies

Hardcover

RRP $305.00

$263.75

14%
OFF

Applied Data Science in FinTech : Models, Tools, and Case Studies - Juraj Hric

Applied Data Science in FinTech

Models, Tools, and Case Studies

Paperback

RRP $98.99

$88.75

10%
OFF

Ethics and Governance of Artificial Intelligence : Frameworks, Risks, and Society - Hemachandran K

Ethics and Governance of Artificial Intelligence

Frameworks, Risks, and Society

Paperback

RRP $210.00

$184.75

12%
OFF

Ethics and Governance of Artificial Intelligence : Frameworks, Risks, and Society - Hemachandran K

Ethics and Governance of Artificial Intelligence

Frameworks, Risks, and Society

Hardcover

RRP $173.00

$153.99

11%
OFF

Uncertain Data Analysis : Fuzzy Vector Algorithms - Sansanee Auephanwiriyakul

Uncertain Data Analysis

Fuzzy Vector Algorithms

Hardcover

RRP $126.00

$114.75

Uncertain Data Analysis : Fuzzy Vector Algorithms - Sansanee Auephanwiriyakul

Uncertain Data Analysis

Fuzzy Vector Algorithms

Paperback

RRP $94.99

$85.75

10%
OFF

Diversity-Driven Evolutionary Algorithms For Solving Engineering Problems - Sumika Chauhan

Diversity-Driven Evolutionary Algorithms For Solving Engineering Problems

Hardcover

$673.75