Sale!

Verification Model Checking and Abstract Interpretation 23rd International Conference VMCAI 2022 Philadelphia PA USA January 16 18 2022 Proceedings Bernd Finkbeiner (Editor)

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

Verification Model Checking and Abstract Interpretation 23rd International Conference VMCAI 2022 Philadelphia PA USA January 16 18 2022 Proceedings Bernd Finkbeiner (Editor) Digital Instant Download

Author(s): Bernd Finkbeiner (editor), Thomas Wies (editor)
ISBN(s): 9783030945824, 3030945820
Edition: 1st ed. 2022
File Details: PDF, 18.45 MB
Year: 2022
Language: English
SKU: EB-38355762 Category: Tags: ,

Verification Model Checking and Abstract Interpretation 23rd International Conference VMCAI 2022 Philadelphia PA USA January 16 18 2022 Proceedings Bernd Finkbeiner (Editor) – Ebook Instant Download/Delivery ISBN(s): 9783030945824,3030945820

You may also like…

Sale!
Practical Aspects of Declarative Languages 24th International Symposium PADL 2022 Philadelphia PA USA January 17 18 2022 Proceedings 1st Edition James Cheney
Quick View

Uncategorized

Practical Aspects of Declarative Languages 24th International Symposium PADL 2022 Philadelphia PA USA January 17 18 2022 Proceedings 1st Edition James Cheney

Original price was: $50.00.Current price is: $25.00.
Sale!
Enterprise, Business-Process and Information Systems Modeling: 23rd International Conference, BPMDS 2022 and 27th International Conference, EMMSAD 2022 Adriano Augusto
Quick View

Computers - Information Systems

Enterprise, Business-Process and Information Systems Modeling: 23rd International Conference, BPMDS 2022 and 27th International Conference, EMMSAD 2022 Adriano Augusto

Original price was: $50.00.Current price is: $25.00.
Sale!
Practical Aspects of Declarative Languages 24th International Symposium PADL 2022 Philadelphia PA USA January 17 18 2022 Proceedings 1st Edition James Cheney
Quick View

Uncategorized

Practical Aspects of Declarative Languages 24th International Symposium PADL 2022 Philadelphia PA USA January 17 18 2022 Proceedings 1st Edition James Cheney

Original price was: $50.00.Current price is: $25.00.
Sale!
Intelligent Tutoring Systems 18th International Conference ITS 2022 Bucharest Romania June 29 July 1 2022 Proceedings Scott Crossley
Quick View

Education Studies & Teaching - Special Education

Intelligent Tutoring Systems 18th International Conference ITS 2022 Bucharest Romania June 29 July 1 2022 Proceedings Scott Crossley

Original price was: $50.00.Current price is: $25.00.
Sale!
Water Conservancy and Civil Construction Volume 1: Proceedings of the 4th International Conference on Hydraulic, Civil and Construction Engineering (HCCE 2022), Harbin, China, 16-18 December 2022 1st Edition Saheed Adeyinka Oke
Quick View

Uncategorized

Water Conservancy and Civil Construction Volume 1: Proceedings of the 4th International Conference on Hydraulic, Civil and Construction Engineering (HCCE 2022), Harbin, China, 16-18 December 2022 1st Edition Saheed Adeyinka Oke

Original price was: $50.00.Current price is: $25.00.
Sale!
Verification Model Checking and Abstract Interpretation 22nd International Conference VMCAI 2021 Copenhagen Denmark January 17 19 2021 Proceedings 1st Edition Fritz Henglein (Editor)
Quick View

Computers - Computer Science

Verification Model Checking and Abstract Interpretation 22nd International Conference VMCAI 2021 Copenhagen Denmark January 17 19 2021 Proceedings 1st Edition Fritz Henglein (Editor)

Original price was: $50.00.Current price is: $25.00.
Sale!
Logical Foundations of Computer Science International Symposium LFCS 2022 Deerfield Beach FL USA January 10 13 2022 Proceedings Sergei Artemov (Editor)
Quick View

Uncategorized

Logical Foundations of Computer Science International Symposium LFCS 2022 Deerfield Beach FL USA January 10 13 2022 Proceedings Sergei Artemov (Editor)

Original price was: $50.00.Current price is: $25.00.
Sale!
Water Conservancy and Civil Construction Volume 2 1st Edition by Saheed Adeyinka Oke, Fauziah Ahmad ISBN 9781000984163 1000984168
Quick View

Engineering - Civil & Structural Engineering

Water Conservancy and Civil Construction Volume 2 1st Edition by Saheed Adeyinka Oke, Fauziah Ahmad ISBN 9781000984163 1000984168

Original price was: $50.00.Current price is: $25.00.
Sale!
Integer Programming and Combinatorial Optimization 23rd International Conference IPCO 2022 Eindhoven The Netherlands June 27 29 2022 Proceedings Lecture Notes in Computer Science 13265 Karen Aardal (Editor)
Quick View

Uncategorized

Integer Programming and Combinatorial Optimization 23rd International Conference IPCO 2022 Eindhoven The Netherlands June 27 29 2022 Proceedings Lecture Notes in Computer Science 13265 Karen Aardal (Editor)

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