Articles liés à Abstraction, Refinement And Proof For Probabilistic...
Synopsis
This book integrates coverage of random/probabilistic algorithms, assertion-based program reasoning, and refinement programming models, providing a highly focused survey on probabilistic program semantics. It illustrates by example the typical steps necessary in computer science to build a mathematical model of any programming paradigm, addressing an essential foundation topic for modern sequential programming methodology.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
Acheter neuf
Afficher cet article
EUR 36,11
Gratuit expédition vers Etats-Unis
Destinations, frais et délais
Résultats de recherche pour Abstraction, Refinement And Proof For Probabilistic...
Image d'archives
Abstraction, Refinement And Proof For Probabilistic Systems
Vendeur : Romtrade Corp., STERLING HEIGHTS, MI, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide. N° de réf. du vendeur ABNR-249096
Quantité disponible : 1 disponible(s)
Image d'archives
Abstraction, Refinement And Proof For Probabilistic Systems
Vendeur : Basi6 International, Irving, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. N° de réf. du vendeur ABEOCT25-82906
Quantité disponible : 5 disponible(s)
Image d'archives
Abstraction, Refinement And Proof For Probabilistic Systems
Vendeur : SMASS Sellers, IRVING, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. Brand New Original US Edition. Customer service! Satisfaction Guaranteed. N° de réf. du vendeur ASNT3-249096
Quantité disponible : 1 disponible(s)
Image d'archives
Abstraction, Refinement and Proof for Probabilistic Systems (Monographs in Computer Science)
Vendeur : ALLBOOKS1, Direk, SA, Australie
Évaluation du vendeur 5 sur 5 étoiles
Brand new book. Fast ship. Please provide full street address as we are not able to ship to P O box address. N° de réf. du vendeur SHAK82906
Quantité disponible : 6 disponible(s)
Image d'archives
Abstraction, Refinement And Proof For Probabilistic Systems (Monographs In Computer Science)
Vendeur : Basi6 International, Irving, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. N° de réf. du vendeur ABEOCT25-82907
Quantité disponible : 1 disponible(s)
Image d'archives
Abstraction, Refinement and Proof for Probabilistic Systems (Monographs in Computer Science)
Vendeur : ALLBOOKS1, Direk, SA, Australie
Évaluation du vendeur 5 sur 5 étoiles
Brand new book. Fast ship. Please provide full street address as we are not able to ship to P O box address. N° de réf. du vendeur SHAK82907
Quantité disponible : 1 disponible(s)
Image d'archives
Abstraction, Refinement And Proof For Probabilistic Systems (monographs In Computer Science)
Vendeur : Basi6 International, Irving, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. N° de réf. du vendeur ABEOCT25-82908
Quantité disponible : 1 disponible(s)
Image d'archives
Abstraction, Refinement And Proof For Probabilistic Systems (monographs In Computer Science)
Vendeur : Romtrade Corp., STERLING HEIGHTS, MI, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide. N° de réf. du vendeur ABNR-81904
Quantité disponible : 1 disponible(s)
Image d'archives
Abstraction, Refinement and Proof for Probabilistic Systems (Monographs in Computer Science)
Vendeur : ALLBOOKS1, Direk, SA, Australie
Évaluation du vendeur 5 sur 5 étoiles
Brand new book. Fast ship. Please provide full street address as we are not able to ship to P O box address. N° de réf. du vendeur SHAK82908
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Abstraction, Refinement And Proof For Probabilistic Systems
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur 3185068-n
Quantité disponible : Plus de 20 disponibles