Abstraction, Refinement and Proof for Probabilistic Systems 1
bokomslag Abstraction, Refinement and Proof for Probabilistic Systems
Data & IT

Abstraction, Refinement and Proof for Probabilistic Systems

Annabelle Mciver • Charles Carroll Morgan

Pocket

2189:-

Funktionen begränsas av dina webbläsarinställningar (t.ex. privat läge).

Uppskattad leveranstid 10-16 arbetsdagar

Fri frakt för medlemmar vid köp för minst 249:-

Andra format:

  • 388 sidor
  • 2010
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.
  • Författare: Annabelle Mciver, Charles Carroll Morgan
  • Format: Pocket/Paperback
  • ISBN: 9781441923127
  • Språk: Engelska
  • Antal sidor: 388
  • Utgivningsdatum: 2010-11-19
  • Förlag: Springer-Verlag New York Inc.

Du kanske gillar

  1. bokomslag Abstraction, Refinement and Proof for Probabilistic Systems

    Abstraction, Refinement and Proof for...

    Charles Carroll Morgan Annabelle Mciver

    Inbunden

    2189:-
  2. bokomslag Quantitative Evaluation of Systems

    Quantitative Evaluation of Systems

    Andras Horvath Annabelle Mciver

    Pocket

    749:-
  3. bokomslag Theoretical Aspects of Computing - ICTAC 2009

    Theoretical Aspects of Computing - IC...

    Charles Carroll Morgan Martin Leucker

    Pocket

    749:-
  4. BOKREA
    START 25/2
    bokomslag Väninnorna på Nordiska Kompaniet

    Väninnorna på Nordiska Kompaniet

    Ruth Kvarnström-Jones

    Inbunden

    99:- (289:-)
  5. BOKREA
    START 25/2
    bokomslag Död mans kvinna

    Död mans kvinna

    Katarina Wennstam

    Inbunden

    99:- (289:-)
  6. bokomslag Journal of Charles Carroll of Carrollton, During his Visit to Canada, in 1776, as one of the Commissioners From Congress

    Journal of Charles Carroll of Carroll...

    Charles Carroll Brantz Mayer

    Inbunden

    549:-
  7. BOKREA
    START 25/2
    bokomslag Femte kollusionen

    Femte kollusionen

    Denise Rudberg

    Inbunden

    119:- (299:-)
  8. bokomslag Formal Methods: Foundations and Applications

    Formal Methods: Foundations and Appli...

    Carroll Morgan Adenilso Simao

    Pocket

    749:-
  9. BOKREA
    START 25/2
    bokomslag Stacken

    Stacken

    Annika Norlin

    Inbunden

    99:- (299:-)
  10. BOKREA
    START 25/2
    bokomslag Stickat från kust och strand

    Stickat från kust och strand

    Erika Åberg

    Inbunden

    89:- (329:-)

Andra av samma författare

  1. bokomslag Formal Methods The Next 30 Years

    Formal Methods The Next 30 Years

    Maurice H Ter Beek, Annabelle Mciver, Jos N Oliveira

    Pocket

    749:-
  2. bokomslag The Science of Quantitative Information Flow

    The Science of Quantitative Informati...

    Mrio S Alvim, Konstantinos Chatzikokolakis, Annabelle Mciver, Carroll Morgan, Catuscia Palamidessi

    Inbunden

    889:-
  3. bokomslag Quantitative Evaluation of Systems

    Quantitative Evaluation of Systems

    Andras Horvath Annabelle Mciver

    Pocket

    749:-
  4. bokomslag Theoretical Aspects of Computing - ICTAC 2009

    Theoretical Aspects of Computing - IC...

    Charles Carroll Morgan Martin Leucker

    Pocket

    749:-
  5. bokomslag Logic for Programming, Artificial Intelligence, and Reasoning

    Logic for Programming, Artificial Int...

    Martin Davis, Ansgar Fehnker, Annabelle Mciver, Andrei Voronkov

    Pocket

    749:-