Verification of Sequential and Concurrent Programs - Texts in Computer Science - Krzysztof R. Apt - Livres - Springer London Ltd - 9781848827448 - 5 octobre 2009
Si la couverture et le titre ne correspondent pas, le titre est correct.

Krzysztof R. Apt
Verification of Sequential and Concurrent Programs - Texts in Computer Science 3rd ed. 2009, Corr. 3rd printing 2010 edition

Prix
€ 94,99

Commandé depuis un entrepôt distant

Livraison prévue 6 - 14 janv. 2026
Les cadeaux de Noël peuvent être échangés jusqu'au 31 janvier

Nos clients disent :

Politique de retour de 14 jours conformément à la loi européenne sur la protection des consommateurs
Meilleur classement sur Trustpilot
Ajouter à votre liste de souhaits iMusic

Également disponible en tant que :

HIS BOOK CONTAINS a most comprehensive text that presents syntax-directed and compositional methods for the formal veri?- T cation of programs.

502 pages, 26 black & white illustrations, biography

Médias Livres     Hardcover Book   (Livre avec dos et couverture rigide)
Validé 5 octobre 2009
ISBN13 9781848827448
Éditeurs Springer London Ltd
Pages 502
Dimensions 167 × 237 × 32 mm   ·   911 g
Langue et grammaire Anglais  
Contributeur Amir Pnueli

Plus par Krzysztof R. Apt

Afficher tout

Voir tous les Krzysztof R. Apt ( par ex. Hardcover Book et Paperback Book )