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ț: 955.62 lei 1194.53 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ț: 343.68 lei 429.60 lei 6-8 săpt. -20%