Sale!

NASA Formal Methods 12th International Symposium NFM 2020 Moffett Field CA USA May 11 15 2020 Proceedings Ritchie Lee

Original price was: $50.00.Current price is: $25.00.

NASA Formal Methods 12th International Symposium NFM 2020 Moffett Field CA USA May 11 15 2020 Proceedings Ritchie Lee Digital Instant Download

Author(s): Ritchie Lee, Susmit Jha, Anastasia Mavridou, Dimitra Giannakopoulou
ISBN(s): 9783030557539, 9783030557546, 3030557537, 3030557545
Edition: 1st ed.
File Details: PDF, 22.53 MB
Year: 2020
Language: English
SKU: EB-22500708 Category: Tags: , , ,

NASA Formal Methods 12th International Symposium NFM 2020 Moffett Field CA USA May 11 15 2020 Proceedings Ritchie Lee – Ebook Instant Download/Delivery ISBN(s): 9783030557539,9783030557546,3030557537,3030557545

You may also like…

Sale!
Computer Aided Verification 32nd International Conference CAV 2020 Los Angeles CA USA July 21 24 2020 Proceedings Part II Shuvendu K. Lahiri
Quick View

Computers

Computer Aided Verification 32nd International Conference CAV 2020 Los Angeles CA USA July 21 24 2020 Proceedings Part II Shuvendu K. Lahiri

Original price was: $50.00.Current price is: $25.00.
Sale!
Computer Aided Verification 32nd International Conference CAV 2020 Los Angeles CA USA July 21 24 2020 Proceedings Part I Shuvendu K. Lahiri
Quick View

Computers

Computer Aided Verification 32nd International Conference CAV 2020 Los Angeles CA USA July 21 24 2020 Proceedings Part I Shuvendu K. Lahiri

Original price was: $50.00.Current price is: $25.00.
Sale!
Advances in Visual Computing 15th International Symposium ISVC 2020 San Diego CA USA October 5 7 2020 Proceedings Part I George Bebis
Quick View

Computers

Advances in Visual Computing 15th International Symposium ISVC 2020 San Diego CA USA October 5 7 2020 Proceedings Part I George Bebis

Original price was: $50.00.Current price is: $25.00.
Sale!
Mathematical and Computational Oncology Second International Symposium ISMCO 2020 San Diego CA USA October 8 10 2020 Proceedings George Bebis
Quick View

Computers

Mathematical and Computational Oncology Second International Symposium ISMCO 2020 San Diego CA USA October 8 10 2020 Proceedings George Bebis

Original price was: $50.00.Current price is: $25.00.
Sale!
Advances in Visual Computing 15th International Symposium ISVC 2020 San Diego CA USA October 5 7 2020 Proceedings Part II George Bebis
Quick View

Computers

Advances in Visual Computing 15th International Symposium ISVC 2020 San Diego CA USA October 5 7 2020 Proceedings Part II George Bebis

Original price was: $50.00.Current price is: $25.00.
Sale!
Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part II Tiziana Margaria
Quick View

Computers

Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part II Tiziana Margaria

Original price was: $50.00.Current price is: $25.00.
Sale!
Combinatorial Optimization and Applications 14th International Conference COCOA 2020 Dallas TX USA December 11 13 2020 Proceedings Weili Wu
Quick View

Computers

Combinatorial Optimization and Applications 14th International Conference COCOA 2020 Dallas TX USA December 11 13 2020 Proceedings Weili Wu

Original price was: $50.00.Current price is: $25.00.
Sale!
Runtime Verification 20th International Conference RV 2020 Los Angeles CA USA October 6 9 2020 Proceedings Jyotirmoy Deshmukh
Quick View

Computers

Runtime Verification 20th International Conference RV 2020 Los Angeles CA USA October 6 9 2020 Proceedings Jyotirmoy Deshmukh

Original price was: $50.00.Current price is: $25.00.
Sale!
NASA Formal Methods 8th International Symposium NFM 2016 Minneapolis MN USA June 7 9 2016 Proceedings 1st Edition Sanjai Rayadurgam
Quick View

Computers

NASA Formal Methods 8th International Symposium NFM 2016 Minneapolis MN USA June 7 9 2016 Proceedings 1st Edition Sanjai Rayadurgam

Original price was: $50.00.Current price is: $25.00.