Tests and Proofs : 14th International Conference, TAP 2020, Held as Part of STAF 2020, Bergen, Norway, June 22û23, 2020, Proceedings
Springer
ISBN13:
9783030509941
$66.64
- | Author: Wolfgang Ahrendt, Heike Wehrheim
- | Publisher: Springer
- | Publication Date: Jun 20, 2020
- | Number of Pages: 196 pages
- | Language: English
- | Binding: Paperback
- | ISBN-10: 303050994X
- | ISBN-13: 9783030509941
- Author:
- Wolfgang Ahrendt, Heike Wehrheim
- Publisher:
- Springer
- Publication Date:
- Jun 20, 2020
- Number of pages:
- 196 pages
- Language:
- English
- Binding:
- Paperback
- ISBN-10:
- 303050994X
- ISBN-13:
- 9783030509941