Formal Methods. FM 2019 International Workshops: Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part I - Lecture Notes in Computer Science - - Books - Springer Nature Switzerland AG - 9783030549930 - August 13, 2020
In case cover and title do not match, the title is correct

Formal Methods. FM 2019 International Workshops: Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part I - Lecture Notes in Computer Science 1st ed. 2020 edition

Price
$ 54.49
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jul 14 - 20

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

Not rated yet

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;

523 pages, 98 Illustrations, color; 300 Illustrations, black and white; XVIII, 523 p. 398 illus., 98

Media Books     Paperback Book   (Book with soft cover and glued back)
Released August 13, 2020
ISBN13 9783030549930
Publishers Springer Nature Switzerland AG
Pages 523
Dimensions 150 × 220 × 10 mm   ·   825 g
Language German  
Editor Astarte, Troy
Editor Campos, Jose
Editor Farrell, Marie
Editor Guidotti, Riccardo
Editor Luckcuck, Matt
Editor Marmsoler, Diego
Editor Moreira, Nelma
Editor Oliveira, Jose N.
Editor Ratiu, Daniel
Editor Sekerinski, Emil

Mere med samme udgiver