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

2389:-

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

Uppskattad leveranstid 7-11 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

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

    Theoretical Aspects of Computing - IC...

    Charles Carroll Morgan Martin Leucker

    Pocket

    989:-
  3. bokomslag Quantitative Evaluation of Systems

    Quantitative Evaluation of Systems

    Andras Horvath Annabelle Mciver

    Pocket

    989:-
  4. Ny
    bokomslag Tips & trix : Smarta idéer för alla tillfällen

    Tips & trix : Smarta idéer för alla t...

    Louise Scott

    Inbunden

    329:-
  5. 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

    539:-
  6. bokomslag Formal Methods: Foundations and Applications

    Formal Methods: Foundations and Appli...

    Carroll Morgan Adenilso Simao

    Pocket

    989:-
  7. bokomslag Stacken

    Stacken

    Annika Norlin

    Inbunden

    299:-
  8. bokomslag Lektioner i kemi

    Lektioner i kemi

    Bonnie Garmus

    Pocket

    69:- (119:-)
  9. bokomslag Programming Methodology

    Programming Methodology

    Carroll Morgan Annabelle McLver

    Inbunden

    1959:-
  10. Ny
    bokomslag Det förlorade paradiset : berättelsen om Konsums uppgång och fall

    Det förlorade paradiset : berättelsen...

    Sara Kristoffersson

    Inbunden

    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

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

    1199:-
  3. bokomslag Quantitative Evaluation of Systems

    Quantitative Evaluation of Systems

    Andras Horvath Annabelle Mciver

    Pocket

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

    Theoretical Aspects of Computing - IC...

    Charles Carroll Morgan Martin Leucker

    Pocket

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

    Logic for Programming, Artificial Int...

    Martin Davis, Ansgar Fehnker, Annabelle Mciver, Andrei Voronkov

    Pocket

    989:-