Téléchargez le livre : Abstraction, Refinement and Proof for Probabilistic Systems

Abstraction, Refinement and Proof for Probabilistic Systems

de

,

Éditeur :

Springer

Collection : Monographs in Computer Science

Paru le : 2005-10-27

Illustrates by example the typical steps necessary in computer science to build a mathematical model of any programming paradigm . Presents results of a large and integrated body of research in the area of 'quantitative' program logics.
Voir tout
Ce livre est accessible aux handicaps Voir les informations d'accessibilité
Ebook téléchargement , DRM LCP 🛈 DRM Adobe 🛈
Compatible lecture en ligne (streaming)
147,69 €
Ajouter à ma liste d'envies
Téléchargement immédiat
Dès validation de votre commande
Image Louise Reader présentation

Louise Reader

Lisez ce titre sur l'application Louise Reader.

badge apple Application Louise Reader
badge Android Application Louise Reader

Description du livre

Illustrates by example the typical steps necessary in computer science to build a mathematical model of any programming paradigm .
Presents results of a large and integrated body of research in the area of 'quantitative' program logics.

À propos

Auteur
Annabelle McIver , Charles Carroll Morgan
Éditeur
Springer
Collection
Monographs in Computer Science
Parution
2005-10-27
Pages
388 pages
EAN papier
9780387401157

Caractéristiques détaillées - droits

EAN PDF
9780387270067
Prix
147,69 €
Nombre pages copiables
3
Nombre pages imprimables
38
Taille du fichier
2580 Ko
Ce livre est accessible aux handicaps informations d'accessibilité

Suggestions personnalisées