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 31 mars au 11 mai 2025 dans les magasins au Canada et à indigo.ca, avec tout achat d'au moins 30 $ d’articles admissibles, avant les taxes, mais après les rabais applicables et l’échange de points plum. Le montant d’achat minimal exclut les produits de la Fondation Indigo pour l’amour de la lecture et les dons faits à celle-ci, les cartes-cadeaux, les abonnements à plum+ 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