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

2199:-

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

    2199:-
  2. bokomslag Theoretical Aspects of Computing - ICTAC 2009

    Theoretical Aspects of Computing - IC...

    Charles Carroll Morgan Martin Leucker

    Pocket

    749:-
  3. 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:-
  4. bokomslag Formal Methods: Foundations and Applications

    Formal Methods: Foundations and Appli...

    Carroll Morgan Adenilso Simao

    Pocket

    749:-
  5. bokomslag Programming Methodology

    Programming Methodology

    Carroll Morgan Annabelle McLver

    Inbunden

    1479:-
  6. bokomslag Programming Methodology

    Programming Methodology

    Carroll Morgan Annabelle McLver

    Pocket

    1629:-
  7. bokomslag Mathematics of Program Construction

    Mathematics of Program Construction

    Richard S Bird, C Carroll Morgan, James C P Woodcock

    Pocket

    749:-
  8. bokomslag Quantitative Evaluation of Systems

    Quantitative Evaluation of Systems

    Andras Horvath Annabelle Mciver

    Pocket

    749:-
  9. bokomslag Steel Rails On The Old Trails In The Western Pacific Country

    Steel Rails On The Old Trails In The ...

    Charles Carroll Goodwin Western Pacif...

    Inbunden

    479:-
  10. bokomslag Steel Rails On The Old Trails In The Western Pacific Country

    Steel Rails On The Old Trails In The ...

    Charles Carroll Goodwin Western Pacif...

    Pocket

    239:-

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

    899:-
  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:-