Formal Methods: Foundations And Applications: 23Rd Brazilian Symposium, Sbmf 2020, Ouro Preto, Brazil, November 25Â27, 2020, Proceedings (Lecture Notes In Computer Science)
Springer
ISBN13:
9783030638818
$87.33
(No reviews yet)
Write a Review
Springer
Formal Methods: Foundations And Applications: 23Rd Brazilian Symposium, Sbmf 2020, Ouro Preto, Brazil, November 25Â27, 2020, Proceedings (Lecture Notes In Computer Science)
- | Author: Gustavo Carvalho, Volker Stolz
- | Publisher: Springer
- | Publication Date: January 23, 2021
- | Number of Pages: 240 pages
- | Language: English
- | Binding: Paperback
- | ISBN-10: 3030638812
- | ISBN-13: 9783030638818
- Author:
- Gustavo Carvalho, Volker Stolz
- Publisher:
- Springer
- Publication Date:
- January 23, 2021
- Number of pages:
- 240 pages
- Language:
- English
- Binding:
- Paperback
- ISBN-10:
- 3030638812
- ISBN-13:
- 9783030638818
