Sale!

Formal Methods for Software Engineering: Languages, Methods, Application Domains (Texts in Theoretical Computer Science. An EATCS Series) Markus Roggenbach

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

Formal Methods for Software Engineering: Languages, Methods, Application Domains (Texts in Theoretical Computer Science. An EATCS Series) Markus Roggenbach Digital Instant Download

Author(s): Markus Roggenbach, Antonio Cerone, Bernd-Holger Schlingloff, Gerardo Schneider, Siraj Ahmed Shaikh
ISBN(s): 9783030387990, 3030387992
Edition: 1st ed. 2022
File Details: PDF, 6.30 MB
Year: 2022
Language: English
SKU: EB-43785800 Category: Tags: , , , ,

Formal Methods for Software Engineering: Languages, Methods, Application Domains (Texts in Theoretical Computer Science. An EATCS Series) Markus Roggenbach – Ebook Instant Download/Delivery ISBN(s): 9783030387990,3030387992

You may also like…

Sale!
Formal Aspects of Component Software 17th International Conference FACS 2021 Virtual Event October 28 29 2021 Proceedings Lecture Notes in Computer Science Gwen Salaün Editor Anton Wijs Editor
Quick View

Uncategorized

Formal Aspects of Component Software 17th International Conference FACS 2021 Virtual Event October 28 29 2021 Proceedings Lecture Notes in Computer Science Gwen Salaün Editor Anton Wijs Editor

Original price was: $50.00.Current price is: $25.00.
Sale!
Computer Methods in Chemical Engineering 2nd Edition Ghasem
Quick View

Engineering

Computer Methods in Chemical Engineering 2nd Edition Ghasem

Original price was: $50.00.Current price is: $25.00.
Sale!
Fourier Methods in Science and Engineering 1st Edition Wen Li
Quick View

Uncategorized

Fourier Methods in Science and Engineering 1st Edition Wen Li

Original price was: $50.00.Current price is: $25.00.
Sale!
Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops: ASYDE, CIFMA, and CoSim-CPS, Amsterdam, The Netherlands, September 14–15, ... (Lecture Notes in Computer Science, 12524) Loek Cleophas (Editor)
Quick View

Computers - Computer Science

Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops: ASYDE, CIFMA, and CoSim-CPS, Amsterdam, The Netherlands, September 14–15, … (Lecture Notes in Computer Science, 12524) Loek Cleophas (Editor)

Original price was: $50.00.Current price is: $25.00.
Sale!
Recent Trends in Algebraic Development Techniques 25th International Workshop WADT 2020 Virtual Event April 29 2020 Revised Selected Papers Lecture Notes in Computer Science 12669 by Markus Roggenbach (Editor) 3030737845 9783030737849
Quick View

Uncategorized

Recent Trends in Algebraic Development Techniques 25th International Workshop WADT 2020 Virtual Event April 29 2020 Revised Selected Papers Lecture Notes in Computer Science 12669 by Markus Roggenbach (Editor) 3030737845 9783030737849

Original price was: $50.00.Current price is: $25.00.
Sale!
Software Engineering and Formal Methods: 19th International Conference, SEFM 2021, Virtual Event, December 6–10, 2021, Proceedings 1st Edition Calinescu
Quick View

Computers - Applications & Software

Software Engineering and Formal Methods: 19th International Conference, SEFM 2021, Virtual Event, December 6–10, 2021, Proceedings 1st Edition Calinescu

Original price was: $50.00.Current price is: $25.00.
Sale!
Graded Finite Element Methods for Elliptic Problems in Nonsmooth Domains 1st Edition Hengguang Li
Quick View

Mathematics - Numerical Analysis

Graded Finite Element Methods for Elliptic Problems in Nonsmooth Domains 1st Edition Hengguang Li

Original price was: $50.00.Current price is: $25.00.
Sale!
Formal Methods in Computer Science Textbooks in Mathematics 1st Edition Jiacun Wang
Quick View

Mathematics - Discrete Mathematics

Formal Methods in Computer Science Textbooks in Mathematics 1st Edition Jiacun Wang

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.