Sale!

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.

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

Author(s): Ernst-Rüdiger Olderog, Bernhard Steffen, Wang Yi
ISBN(s): 9783030913830, 303091383X
Edition: 1
File Details: EPUB, 24.75 MB
Year: 2021
Language: English
SKU: EB-36539174 Category: Tags: , ,

Model Checking Synthesis and Learning Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday 1st Edition Ernst-Rüdiger Olderog – Ebook Instant Download/Delivery ISBN(s): 9783030913830,303091383X

You may also like…

Sale!
Large Igneous Provinces 1st Edition Richard R. Ernst
Quick View

Earth Sciences - Geology

Large Igneous Provinces 1st Edition Richard R. Ernst

Original price was: $50.00.Current price is: $25.00.
Sale!
The Timeless Toni Morrison The Past and The Present in Toni Morrison s Fiction 1st Edition by Agnieszka Lobodziec, Blossom N Fondo ISBN 9783631704790 3631704798
Quick View

Poetry - American Poetry

The Timeless Toni Morrison The Past and The Present in Toni Morrison s Fiction 1st Edition by Agnieszka Lobodziec, Blossom N Fondo ISBN 9783631704790 3631704798

Original price was: $50.00.Current price is: $25.00.
Sale!
Nathaniel Mackey Destination Out Essays on His Work 1st Edition Jeanne Heuving (Editor)
Quick View

Uncategorized

Nathaniel Mackey Destination Out Essays on His Work 1st Edition Jeanne Heuving (Editor)

Original price was: $50.00.Current price is: $25.00.
Sale!
Methodology and Applications of Statistics A Volume in Honor of Rao on the Occasion of his 100th Birthday 1st editon by Barry Arnold, Narayanaswamy Balakrishnan, Carlos Coelho 3030836703 9783030836702
Quick View

Uncategorized

Methodology and Applications of Statistics A Volume in Honor of Rao on the Occasion of his 100th Birthday 1st editon by Barry Arnold, Narayanaswamy Balakrishnan, Carlos Coelho 3030836703 9783030836702

Original price was: $50.00.Current price is: $25.00.
Sale!
Analysis Verification and Transformation for Declarative Programming and Intelligent Systems Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday Pedro Lopez Garcia John P Gallagher Roberto Giacobazzi Eds
Quick View

Computers - Computer Science

Analysis Verification and Transformation for Declarative Programming and Intelligent Systems Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday Pedro Lopez Garcia John P Gallagher Roberto Giacobazzi Eds

Original price was: $50.00.Current price is: $25.00.
Sale!
Analysis Verification and Transformation for Declarative Programming and Intelligent Systems Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday Pedro Lopez-Garcia
Quick View

Computers - Computer Science

Analysis Verification and Transformation for Declarative Programming and Intelligent Systems Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday Pedro Lopez-Garcia

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 Bernhard Steffen Wang Yi
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 Bernhard Steffen Wang Yi

Original price was: $50.00.Current price is: $25.00.
Sale!
Concise Guide to Software Verification From Model Checking to Annotation Checking Texts in Computer Science Marieke Huisman
Quick View

Uncategorized

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.
Sale!
Logic Computation and Rigorous Methods Essays Dedicated to Egon Börger on the Occasion of His 75th Birthday Lecture Notes in Computer Science 12750 Alexander Raschke (Editor)
Quick View

Computers - Programming

Logic Computation and Rigorous Methods Essays Dedicated to Egon Börger on the Occasion of His 75th Birthday Lecture Notes in Computer Science 12750 Alexander Raschke (Editor)

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