Theoretical and Practical Aspects of SPIN Model Checking
Editat de Dennis Dams et al.
8 sep 1999
Paperback
Preț: 320.76 lei 400.94 lei
6-8 săpt.
-20%
Cărți de Dennis Dams
FM 2009: Formal Methods: Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings
Editat de Ana Cavalcanti et al.
26 oct 2009
Paperback
Preț: 646.38 lei 807.97 lei
6-8 săpt.
-20%