Formal Methods for Software Engineering: Languages, Methods, Application Domains
Autor Markus Roggenbach et al.
24 iun 2023
Paperback
Preț: 319.34 lei 399.17 lei
3-5 săpt. | 7-13 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ț: 448.88 lei 561.10 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ț: 325.48 lei 406.84 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ț: 384.86 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ț: 322.50 lei 403.13 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ț: 329.44 lei 411.80 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ț: 342.65 lei 428.31 lei
6-8 săpt.
-20%