Français
France
s'inscrire
Conseils d'eurolivre.fr
Livres similaires
Autres livres qui pourraient ressembler au livre recherché:
Outils de recherche
Livre conseillé
Actualités
Publicité
FILTRE
- 0 Résultats
prix le plus bas: 32,32 €, prix le plus élevé: 215,19 €, prix moyen: 126,15 €
Abstraction, Refinement and Proof for Probabilistic Systems (Monographs in Computer Science) - McIver, Annabelle, Morgan, Charles Carroll
Livre non disponible
(*)
McIver, Annabelle, Morgan, Charles Carroll:
Abstraction, Refinement and Proof for Probabilistic Systems (Monographs in Computer Science) - edition reliée, livre de poche

2005, ISBN: 9780387401157

ID: 768507972

Springer , 2005-01-05 . Hardcover . New., Springer, 2005-01-05

livre d'occasion Biblio.com
Gloria books
Frais d'envoi EUR 18.77
Details...
(*) Livre non disponible signifie que le livre est actuellement pas disponible à l'une des plates-formes associées nous recherche.
Abstraction, Refinement and Proof for Probabilistic Systems - Annabelle McIver; Charles Carroll Morgan
Livre non disponible
(*)
Annabelle McIver; Charles Carroll Morgan:
Abstraction, Refinement and Proof for Probabilistic Systems - nouveau livre

ISBN: 9780387401157

ID: 9780387401157

Computer Science; Software Engineering/Programming and Operating Systems; Probability Theory and Stochastic Processes; Programming Techniques; Logics and Meanings of Programs; Programming Languages, Compilers, Interpreters; Mathematical Logic and Formal Languages Algorithms, Data refinement, Program semantics, Random algorithms, Sequential programming, Temporal logic, algorithm, logic, model checking, programming, semantics Books Book, Springer Science+Business Media

Nouveaux livres Springer.com
Frais d'envoizzgl. Versandkosten., Livraison non-comprise
Details...
(*) Livre non disponible signifie que le livre est actuellement pas disponible à l'une des plates-formes associées nous recherche.
Abstraction, Refinement and Proof for Probabilistic Systems - McIver, Annabelle; Morgan, Charles C.
Livre non disponible
(*)
McIver, Annabelle; Morgan, Charles C.:
Abstraction, Refinement and Proof for Probabilistic Systems - nouveau livre

ISBN: 9780387401157

ID: 303042

Provides an integrated coverage of random/probabilistic algorithms, assertion-based program reasoning, and refinement programming models, providing a focused survey on probabilistic program semantics. This book illustrates, by examples, the typical steps necessary to build a mathematical model of any programming paradigm. Mathematics Mathematics eBook, Springer-Verlag New York Inc

Nouveaux livres Ebooks.com
Frais d'envoizzgl. Versandkosten., Livraison non-comprise
Details...
(*) Livre non disponible signifie que le livre est actuellement pas disponible à l'une des plates-formes associées nous recherche.
Abstraction, Refinement and Proof for Probabilistic Systems (Monographs in Computer Science) - McIver, Annabelle; Morgan, Charles Carroll
Livre non disponible
(*)
McIver, Annabelle; Morgan, Charles Carroll:
Abstraction, Refinement and Proof for Probabilistic Systems (Monographs in Computer Science) - edition reliée, livre de poche

ISBN: 9780387401157

ID: 975269042

Springer. Hardcover. 0387401156 Brand New Book Ships From Multiple locations.Delivery will take 4-14 days. . New., Springer

livre d'occasion Biblio.com
IBestBargains, LLC
Frais d'envoi EUR 23.24
Details...
(*) Livre non disponible signifie que le livre est actuellement pas disponible à l'une des plates-formes associées nous recherche.
Abstraction, Refinement and Proof for Probabilistic Systems (Monographs in Computer Science) - McIver, Annabelle; Morgan, Charles Carroll
Livre non disponible
(*)
McIver, Annabelle; Morgan, Charles Carroll:
Abstraction, Refinement and Proof for Probabilistic Systems (Monographs in Computer Science) - edition reliée, livre de poche

ISBN: 9780387401157

ID: 975106926

Springer. Hardcover. 0387401156 Brand New Delivery in 4-14 business days. . New., Springer

livre d'occasion Biblio.com
Gait Inc
Frais d'envoi EUR 26.81
Details...
(*) Livre non disponible signifie que le livre est actuellement pas disponible à l'une des plates-formes associées nous recherche.

Détails sur le livre
Abstraction, Refinement and Proof for Probabilistic Systems

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.

Informations détaillées sur le livre - Abstraction, Refinement and Proof for Probabilistic Systems


EAN (ISBN-13): 9780387401157
ISBN (ISBN-10): 0387401156
Version reliée
Date de parution: 2005
Editeur: Springer-Verlag GmbH
388 Pages
Poids: 0,750 kg
Langue: eng/Englisch

Livre dans la base de données depuis 03.06.2007 10:42:20
Livre trouvé récemment le 24.10.2017 17:04:36
ISBN/EAN: 0387401156

ISBN - Autres types d'écriture:
0-387-40115-6, 978-0-387-40115-7


< pour archiver...
Livres en relation