Sale!

Concise Guide to Software Verification From Model Checking to Annotation Checking Texts in Computer Science Marieke Huisman

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

Concise Guide to Software Verification From Model Checking to Annotation Checking Texts in Computer Science Marieke Huisman Digital Instant Download

Author(s): Marieke Huisman, Anton Wijs
ISBN(s): 9783031301667, 3031301668
Edition: 1st ed. 2023
File Details: RAR, 50.11 MB
Year: 2023
Language: English
SKU: EB-51055142 Category: Tags: ,

Concise Guide to Software Verification From Model Checking to Annotation Checking Texts in Computer Science Marieke Huisman – Ebook Instant Download/Delivery ISBN(s): 9783031301667,3031301668

You may also like…

Sale!
Guide to Discrete Mathematics An Accessible Introduction to the History Theory Logic and Applications Texts in Computer Science Gerard O Regan
Quick View

Computers - Networking

Guide to Discrete Mathematics An Accessible Introduction to the History Theory Logic and Applications Texts in Computer Science Gerard O Regan

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!
The Data Science Design Manual Texts in Computer Science Skiena
Quick View

Uncategorized

The Data Science Design Manual Texts in Computer Science Skiena

Original price was: $50.00.Current price is: $25.00.
Sale!
Model Checking Synthesis and Learning Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday 1st Edition Ernst-Rüdiger Olderog
Quick View

Uncategorized

Model Checking Synthesis and Learning Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday 1st Edition Ernst-Rüdiger Olderog

Original price was: $50.00.Current price is: $25.00.
Sale!
Concise Guide to Object Oriented Programming An Accessible Approach Using Java Undergraduate Topics in Computer Science 1st Edition Kingsley Sage
Quick View

Computers

Concise Guide to Object Oriented Programming An Accessible Approach Using Java Undergraduate Topics in Computer Science 1st Edition Kingsley Sage

Original price was: $50.00.Current price is: $25.00.
Sale!
Verification Model Checking and Abstract Interpretation 23rd International Conference VMCAI 2022 Philadelphia PA USA January 16 18 2022 Proceedings Bernd Finkbeiner (Editor)
Quick View

Uncategorized

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.
Sale!
The Chicago Guide to Fact Checking 2nd Edition Brooke Borel
Quick View

Reference - Writing

The Chicago Guide to Fact Checking 2nd Edition Brooke Borel

Original price was: $50.00.Current price is: $25.00.
Sale!
Concise Guide to Software Engineering: From Fundamentals to Application Methods, 2nd Edition Gerard O'Regan
Quick View

Computers - Applications & Software

Concise Guide to Software Engineering: From Fundamentals to Application Methods, 2nd Edition Gerard O’Regan

Original price was: $50.00.Current price is: $25.00.
Sale!
Checking Out the Librarian 1st Edition Elsie James
Quick View

Romance - Contemporary Romance

Checking Out the Librarian 1st Edition Elsie James

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