Formal Methods for Software Engineering: Languages, Methods, Application Domains
Autor Markus Roggenbach et al.
24 iun 2023
Paperback
Preț: 342.21 lei 427.76 lei
3-5 săpt. | 4-10 zile
-20%
Cărți de Markus Roggenbach
Applicable Formal Methods for Safe Industrial Products: Essays Dedicated to Jan Peleska on the Occasion of His 65th Birthday
Editat de Anne E. Haxthausen et al.
17 aug 2023
Paperback
Preț: 441.34 lei 551.67 lei
6-8 săpt.
-20%
Recent Trends in Algebraic Development Techniques: 25th International Workshop, WADT 2020, Virtual Event, April 29, 2020, Revised Selected Papers
Editat de Markus Roggenbach
11 apr 2021
Paperback
Preț: 320.02 lei 400.03 lei
6-8 săpt.
-20%
Formal Methods – Fun for Everybody: First International Workshop, FMFun 2019, Bergen, Norway, December 2–3, 2019, Revised Selected Papers
Editat de Antonio Cerone et al.
11 mar 2021
Paperback
Preț: 378.43 lei
6-8 săpt.
On the Construction of Engineering Handbooks: with an Illustration from the Railway Safety Domain
Autor Stefan Gruner et al.
14 apr 2020
Paperback
Preț: 317.09 lei 396.36 lei
6-8 săpt.
-20%
Recent Trends in Algebraic Development Techniques: 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21–24, 2016, Revised Selected Papers
Editat de Phillip James et al.
8 dec 2017
Paperback
Preț: 323.93 lei 404.90 lei
6-8 săpt.
-20%
Algebra and Coalgebra in Computer Science: First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005, Proceedings
Editat de José Luis Fiadeiro et al.
18 aug 2005
Paperback
Preț: 336.90 lei 421.12 lei
6-8 săpt.
-20%