Tests and Proofs
Editat de Marieke Huisman et al.
10 sep 2024
Paperback
Preț: 787.50 lei 1036.19 lei
38-44 zile
-24%
Cărți de Marieke Huisman
Concise Guide to Software Verification
Autor Marieke Huisman et al.
25 iul 2023
Hardback
Preț: 553.06 lei 691.32 lei
38-44 zile
-20%
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices: Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, Revised Selected Papers
Editat de Gilles Barthe et al.
18 apr 2006
Paperback
Preț: 314.86 lei 393.57 lei
6-8 săpt.
-20%
Formal Techniques for Distributed Objects, Components, and Systems
Editat de Marieke Huisman et al.
10 iun 2023
Paperback
Preț: 456.27 lei 570.33 lei
6-8 săpt.
-20%
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices
Editat de Gilles Barthe et al.
21 ian 2005
Paperback
Preț: 320.72 lei 400.90 lei
6-8 săpt.
-20%
Tools and Algorithms for the Construction and Analysis of Systems
Autor Bernhard Steffen et al.
7 oct 2020
Paperback
Preț: 255.49 lei 319.36 lei
6-8 săpt.
-20%
Tools and Algorithms for the Construction and Analysis of Systems
Editat de Dirk Beyer et al.
4 apr 2019
Paperback
Preț: 321.40 lei 401.75 lei
3-5 săpt. | 7-11 zile
-20%
Formal Methods: 24th International Symposium, FM 2021, Virtual Event, November 20–26, 2021, Proceedings
Editat de Marieke Huisman et al.
10 noi 2021
Paperback
Preț: 699.94 lei 874.94 lei
6-8 săpt.
-20%
Formal Methods for Industrial Critical Systems
Editat de Jan Friso Groote et al.
12 aug 2022
Paperback
Preț: 457.08 lei 571.34 lei
6-8 săpt.
-20%
Integrated Formal Methods
Editat de Erika Ábrahám et al.
24 mai 2016
Paperback
Preț: 527.06 lei 658.83 lei
6-8 săpt.
-20%
Tools and Algorithms for the Construction and Analysis of Systems
Editat de Dirk Beyer et al.
12 apr 2018
Paperback
Preț: 357.38 lei 446.72 lei
6-8 săpt.
-20%
Fundamental Approaches to Software Engineering
Editat de Marieke Huisman et al.
22 mar 2017
Paperback
Preț: 330.36 lei 412.95 lei
6-8 săpt.
-20%