Free shipping on all orders over $79* Limited Time Only
Track My Order
Help Centre
Likes
My Wish ListsLogin / Join
Booktopia
Australia's local bookstore
Get Free Shipping on orders over $79
Software Engineering and Formal Methods : SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015. Revised Selected Papers - Author

Software Engineering and Formal Methods

SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015. Revised Selected Papers

By: Author

eText | 11 January 2016

At a Glance

eText

$84.99

or 4 interest-free payments of $21.25 with

 or 

Instant online reading in your Booktopia eTextbook Library *

Why choose an eTextbook?

Instant Access *

Purchase and read your book immediately

Read Aloud

Listen and follow along as Bookshelf reads to you

Study Tools

Built-in study tools like highlights and more

* eTextbooks are not downloadable to your eReader or an app and can be accessed via web browsers only. You must be connected to the internet and have no technical issues with your device or browser that could prevent the eTextbook from operating.

This book constitutes revised selected papers from the workshops

collocated with the SEFM 2015 conference on Software Engineering and

Formal Methods, held in York, UK, in September 2015.

The 25 papers included in this volume were carefully reviewed and

selected from 32 submissions.

The satellite workshops provided a highly interactive and collaborative environment for researchers and practitioners from industry and academia to discuss emerging areas of software engineering and formal methods.

The four workshops were:

  • ATSE 2015: The 6th Workshop on Automating Test Case Design, Selection and Evaluation;

  • HOFM 2015: The 2nd Human-Oriented Formal Methods Workshop;

  • MoKMaSD 2015: The 4th International Symposium on Modelling and Knowledge Management Applications: Systems and Domains;

  • VERY*SCART 2015: The 1st International Workshop on the Art of Service Composition and Formal Verification for Self-* Systems.

on
Desktop
Tablet
Mobile

You Can Find This eBook In

Non-FictionComputing & I.T.DatabasesInformation RetrievalComputer ScienceArtificial IntelligenceComputer Programming & Software DevelopmentAlgorithms & Data StructuresBusiness ApplicationsMathematical & Statistical SoftwareInformation Technology General IssueMathematics
Probability & Statistics

More in Artificial Intelligence

Medium Hot : Images in the Age of Heat - Hito Steyerl

eBOOK

Medium Hot

Images in the Age of Heat

eBook

RRP $22.66

$18.99

16%
OFF
AI Futures - Evgeny Morozov

eBOOK

AI Futures

eBook

RRP $16.88

$13.99

17%
OFF
AI-Powered Search - Trey Grainger

eBOOK

AI-Powered Search

eBook

$52.99

HBR Guide to Generative AI for Managers : HBR Guide - Elisa Farri

eBOOK

HBR Guide to Generative AI for Managers

HBR Guide

eBook

RRP $37.15

$29.99

19%
OFF
The Microeconomics of Artificial Intelligence - Joshua Gans

eBOOK

The Microeconomics of Artificial Intelligence

eBook

RRP $287.16

$229.99

20%
OFF

This product is categorised by