Formal Methods. FM 2019 International Workshops : Porto, Portugal, October 7û11, 2019, Revised Selected Papers, Part I
Springer
ISBN13:
9783030549930
$108.02
- | Author: Emil Sekerinski, Nelma Moreira, Jos? N. Oliveira, Daniel Ratiu, Riccardo Guidotti, Marie Farrell, Matt Luckcuck, Diego Marmsoler, Jos? Campos, Troy Astarte, Laure Gonnord, Antonio Cerone, Luis Couto, Brijesh Dongol, Martin Kutrib, Pedro Monteiro, David Delmas
- | Publisher: Springer
- | Publication Date: Nov 04, 2020
- | Number of Pages: 541 pages
- | Language: English
- | Binding: Paperback
- | ISBN-10: 3030549933
- | ISBN-13: 9783030549930
- Author:
- Emil Sekerinski, Nelma Moreira, Jos? N. Oliveira, Daniel Ratiu, Riccardo Guidotti, Marie Farrell, Matt Luckcuck, Diego Marmsoler, Jos? Campos, Troy Astarte, Laure Gonnord, Antonio Cerone, Luis Couto, Brijesh Dongol, Martin Kutrib, Pedro Monteiro, Dav
- Publisher:
- Springer
- Publication Date:
- Nov 04, 2020
- Number of pages:
- 541 pages
- Language:
- English
- Binding:
- Paperback
- ISBN-10:
- 3030549933
- ISBN-13:
- 9783030549930