Overview
- | Author: Brijesh Dongol, Elena Troubitsyna
- | Publisher: Springer
- | Publication Date: January 17, 2021
- | Number of Pages: 472 pages
- | Language: English
- | Binding: Paperback
- | ISBN-10: 3030634604
- | ISBN-13: 9783030634605
Integrated Formal Methods: 16Th International Conference, Ifm 2020, Lugano, Switzerland, November 16Â20, 2020, Proceedings (Lecture Notes In Computer Science, 12546)
$108.02
(No reviews yet)
Write a Review
Write a Review
Springer
Integrated Formal Methods: 16Th International Conference, Ifm 2020, Lugano, Switzerland, November 16Â20, 2020, Proceedings (Lecture Notes In Computer Science, 12546)
Product Details
- Author:
- Brijesh Dongol, Elena Troubitsyna
- Publisher:
- Springer
- Publication Date:
- January 17, 2021
- Number of pages:
- 472 pages
- Language:
- English
- Binding:
- Paperback
- ISBN-10:
- 3030634604
- ISBN-13:
- 9783030634605
Reviews
0 Reviews
No reviews yet.
Share your experience and help another reader choose their next book.
You may also like
Shop all
Integrated Formal Methods: 17Th International Conference, Ifm 2022, Lugano, Switzerland, June 710, 2022, Proceedings (Lecture Notes In Computer Science, 13274)
Springer
$87.33
Information Systems Security: 16Th International Conference, Iciss 2020, Jammu, India, December 16Â20, 2020, Proceedings (Lecture Notes In Computer Science, 12553)
Springer
$92.51
Advanced Data Mining And Applications: 16Th International Conference, Adma 2020, Foshan, China, November 12Â14, 2020, Proceedings (Lecture Notes In Computer Science, 12447)
Springer
$149.40
Bioinspired Optimization Methods And Their Applications: 9Th International Conference, Bioma 2020, Brussels, Belgium, November 19Â20, 2020, Proceedings (Lecture Notes In Computer Science)
Springer
$108.02
Distributed Computing and Internet Technology: 16th International Conference, ICDCIT 2020, Bhubaneswar, India, January 9?Çô12, 2020, Proceedings (Lecture Notes in Computer Science, 11969)
Springer
$97.68