Aperçu gratuit du livre Formal Methods for Distributed System Development: FORTE / PSTV 2000 IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XIII) and Protocol Specification, Testing and Verification (PSTV XX) October 10-13, 2000, Pisa, Ita
Formal Methods for Distributed System Development: FORTE / PSTV 2000 IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XIII) and Protocol Specification, Testing and Verification (PSTV XX) October 10-13, 2000, Pisa, Ita
* Offre en vigueur du 30 septembre au 25 décembre 2024 dans les magasins au Canada et sur indigo.ca à l’achat de 50 $ ou plus d’articles admissibles, avant les taxes, mais après les rabais applicables et l’échange de points plum. Le montant d’achat minimum exclut les cartes-cadeaux, les frais d’abonnement ou de renouvellement d’abonnement à plum, les produits de la Fondation Indigo pour l’amour de la lecture et les dons faits à celle-ci, et les frais d’expédition. La sélection offerte en magasin et en ligne peut varier.
Formal Methods for Distributed System Development: FORTE / PSTV 2000 IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XIII) and Protocol Specification, Testing and Verification (PSTV XX) October 10-13, 2000, Pisa, Ita/fr-ca/formal-methods-for-distributed-system-development-forte-%2F-pstv-2000-ifip-tc6-wg6.1-joint-international-conference-on-formal-description-techniques-for-distributed-systems-and-communication-protocols-forte-xiii-and-protocol-specification-testing-and-verification-pstv-xx-october-10-13-2000-pisa-ita/ED10404F-E961-45F5-8EB8-4441A0B32F22.htmlED10404F-E961-45F5-8EB8-4441A0B32F22
Formal Methods for Distributed System Development: FORTE / PSTV 2000 IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XIII) and Protocol Specification, Testing and Verification (PSTV XX) October 10-13, 2000, Pisa, Ita
Formal Methods for Distributed System Development: FORTE / PSTV 2000 IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XIII) and Protocol Specification, Testing and Verification (PSTV XX) October 10-13, 2000, Pisa, Ita