Logic, Computation and Rigorous Methods: Essays Dedicated to Egon Börger on the Occasion of His 75th Birthday
Editat de Alexander Raschke et al.
4 iun 2021
Paperback
Preț: 336.21 lei 420.26 lei
6-8 săpt.
-20%
Alexander Raschke
Rigorous State-Based Methods: 8th International Conference, ABZ 2021, Ulm, Germany, June 9–11, 2021, Proceedings
Editat de Alexander Raschke et al.
23 mai 2021
Paperback
Preț: 383.57 lei 479.45 lei
6-8 săpt.
-20%
Rigorous State-Based Methods: 7th International Conference, ABZ 2020, Ulm, Germany, May 27–29, 2020, Proceedings
Editat de Alexander Raschke et al.
15 mai 2020
Paperback
Preț: 339.47 lei 424.34 lei
6-8 săpt.
-20%
Abstract State Machines, Alloy, B, TLA, VDM, and Z: 6th International Conference, ABZ 2018, Southampton, UK, June 5–8, 2018, Proceedings
Editat de Michael Butler et al.
8 mai 2018
Paperback
Preț: 339.80 lei 424.75 lei
6-8 săpt.
-20%
Modeling Companion for Software Practitioners
Autor Egon Börger et al.
10 apr 2018
Paperback
Preț: 421.59 lei 526.98 lei
6-8 săpt.
-20%