There's still time! Find the perfect Father's Day gift with store pickup | Shop NowThere's still time! Find the perfect Father's Day gift with store pickup | Shop Now
Add Item to wish listAdd Item to wish list

Formal Methods. FM 2019 International Workshops: Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part I

By Emil Sekerinski (Editor), Nelma Moreira (Editor), José N. Oliveira (Editor), Daniel Ratiu (Editor), Riccardo Guidotti (Editor), Marie Farrell (Editor), Matt Luckcuck (Editor), Diego Marmsoler (Editor), José Campos (Editor), Troy Astarte (Editor), Laure Gonnord (Editor), Antonio Cerone (Editor), Luis Couto (Editor), Brijesh Dongol (Editor), Martin Kutrib (Editor), Pedro Monteiro (Editor), David Delmas (Editor)
eBook
$54.99
By Emil Sekerinski (Editor), Nelma Moreira (Editor), José N. Oliveira (Editor), Daniel Ratiu (Editor), Riccardo Guidotti (Editor), Marie Farrell (Editor), Matt Luckcuck (Editor), Diego Marmsoler (Editor), José Campos (Editor), Troy Astarte (Editor), Laure Gonnord (Editor), Antonio Cerone (Editor), Luis Couto (Editor), Brijesh Dongol (Editor), Martin Kutrib (Editor), Pedro Monteiro (Editor), David Delmas (Editor)
Membership Card Icon
Collect stamps to save with Rewards. 10 stamps = $5. Learn More
Formats
See All Formats & Editions
Select a store to view item availability.

Available on compatible , the free NOOK App, and in My Digital Library

NOOK App

Download NOOK app

NOOK Devices

NOOK eReaders

  • NOOK GlowLight 4 Plus
  • NOOK GlowLight 4e
  • NOOK GlowLight 4
  • NOOK GlowLight Plus 7.8"
  • NOOK GlowLight 3
  • NOOK GlowLight Plus 6"

NOOK Tablets

  • NOOK 9" Lenovo Tablet
  • NOOK 10" HD Lenovo Tablet
  • NOOK Tablet 7" & 10.1"
  • NOOK by Samsung Galaxy Tab 7.0 [Tab A and Tab 4]
  • NOOK by Samsung [Tab 4 10.1, S2 & E]

Free NOOK Reading Apps

  • NOOK for iOS
  • NOOK for Android

BN.com website

Go to your Digital Library in My Account

Limit 1 per customer

This book constitutes the refereed proceedings of the workshops which complemented the 23rd Symposium on Formal Methods, FM 2019, held in Porto, Portugal, in October 2019. This volume presents the papers that have been accepted for the following workshops: Third Workshop on Practical Formal Verification for Software Dependability, AFFORD 2019; 8th International Symposium From Data to Models and Back, DataMod 2019; First Formal Methods for Autonomous Systems Workshop, FMAS 2019; First Worksh...

Categories

Computer ProgrammingSoftware EngineeringGeneral Software EngineeringSoftware development and engineering->General and miscellaneous