Industrial-Strength Formal Methods in Practice Formal Approaches to Computing and Information Technology (FACIT) Editat de Michael G. Hinchey et al. 17 sep 1999 Paperback Preț: 997.82 lei 1247.27 lei 6-8 săpt. -20%
High-Integrity System Specification and Design Formal Approaches to Computing and Information Technology (FACIT) Autor Jonathan P. Bowen et al. 12 apr 1999 Paperback Preț: 357.61 lei 447.01 lei 6-8 săpt. -20%