Tools And Algorithms For The Construction And Analysis Of Systems (Lecture Notes In Computer Science) - 9783030720155
Springer
ISBN13:
9783030720155
$56.30
(No reviews yet)
Write a Review
Springer
Tools And Algorithms For The Construction And Analysis Of Systems (Lecture Notes In Computer Science) - 9783030720155
- | Author: Jan Friso Groote, Kim Guldstrand Larsen
- | Publisher: Springer
- | Publication Date: April 25, 2021
- | Number of Pages: 496 pages
- | Language: English
- | Binding: Paperback
- | ISBN-10: 3030720152
- | ISBN-13: 9783030720155
- Author:
- Jan Friso Groote, Kim Guldstrand Larsen
- Publisher:
- Springer
- Publication Date:
- April 25, 2021
- Number of pages:
- 496 pages
- Language:
- English
- Binding:
- Paperback
- ISBN-10:
- 3030720152
- ISBN-13:
- 9783030720155
-
-
-
Sale
-
