2004, ISBN: 0387401156
[EAN: 9780387401157], Neubuch, [PU: Springer New York], COMPUTERS - LANGUAGES PROGRAMMING COMPUTER SCIENCE GENERAL INFORMATIK EDV ALGORITHMS DATA REFINEMENT PROGRAM SEMANTICS RANDOM SEQUE… mais…
AbeBooks.de moluna, Greven, Germany [73551232] [Rating: 5 (von 5)] NEW BOOK. Custos de envio:Versandkostenfrei. (EUR 0.00) Details... |
Abstraction, Refinement and Proof for Probabilistic Systems (Monographs in Computer Science) - encadernada, livro de bolso
2004, ISBN: 9780387401157
Springer, Gebundene Ausgabe, Auflage: 2005, 408 Seiten, Publiziert: 2004-11-19T00:00:01Z, Produktgruppe: Buch, 3.64 kg, Verkaufsrang: 9284, Softwareentwicklung, IT-Ausbildung & -Berufe, C… mais…
Amazon.de (Intern... DISCOUNTED COLLEGE MANUALS Custos de envio:Auf Lager. Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.00) Details... |
ISBN: 9780387401157
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 resear… mais…
Indigo.ca new in stock. Custos de envio:zzgl. Versandkosten., mais custos de envio Details... |
2004, ISBN: 9780387401157
Edição encadernada
[ED: Gebunden], [PU: Springer New York], Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This unique, example-driven monograph integrates … mais…
booklooker.de |
2004, ISBN: 9780387401157
Buch, Hardcover, 2005 ed. [PU: Springer-Verlag New York Inc.], Springer-Verlag New York Inc., 2004
lehmanns.de Custos de envio:Lieferbar. (EUR 0.00) Details... |
2004, ISBN: 0387401156
[EAN: 9780387401157], Neubuch, [PU: Springer New York], COMPUTERS - LANGUAGES PROGRAMMING COMPUTER SCIENCE GENERAL INFORMATIK EDV ALGORITHMS DATA REFINEMENT PROGRAM SEMANTICS RANDOM SEQUE… mais…
McIver, Annabelle, Morgan, Charles Carroll:
Abstraction, Refinement and Proof for Probabilistic Systems (Monographs in Computer Science) - encadernada, livro de bolso2004, ISBN: 9780387401157
Springer, Gebundene Ausgabe, Auflage: 2005, 408 Seiten, Publiziert: 2004-11-19T00:00:01Z, Produktgruppe: Buch, 3.64 kg, Verkaufsrang: 9284, Softwareentwicklung, IT-Ausbildung & -Berufe, C… mais…
ISBN: 9780387401157
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 resear… mais…
2004, ISBN: 9780387401157
Edição encadernada
[ED: Gebunden], [PU: Springer New York], Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This unique, example-driven monograph integrates … mais…
2004, ISBN: 9780387401157
Buch, Hardcover, 2005 ed. [PU: Springer-Verlag New York Inc.], Springer-Verlag New York Inc., 2004
Dados bibliográficos do melhor livro correspondente
Autor: | |
Título: | |
Número ISBN: |
Dados detalhados do livro - Abstraction, Refinement and Proof for Probabilistic Systems (Monographs in Computer Science)
EAN (ISBN-13): 9780387401157
ISBN (ISBN-10): 0387401156
Livro de capa dura
Ano de publicação: 2005
Editor/Editora: Springer
388 Páginas
Peso: 0,750 kg
Língua: eng/Englisch
Livro na base de dados desde 2007-06-03T05:42:20-03:00 (Sao Paulo)
Página de detalhes modificada pela última vez em 2023-03-29T11:51:17-03:00 (Sao Paulo)
Número ISBN/EAN: 9780387401157
Número ISBN - Ortografia alternativa:
0-387-40115-6, 978-0-387-40115-7
Ortografia alternativa e termos de pesquisa relacionados:
Autor do livro: morgan charles, caroll, mciver, clifford backman
Título do livro: abstraction refinement proof probalbilistic system, der computer, annabelle
Dados da editora
Autor: Annabelle McIver
Título: Monographs in Computer Science; Abstraction, Refinement and Proof for Probabilistic Systems
Editora: Springer; Springer US
388 Páginas
Ano de publicação: 2004-11-19
New York; NY; US
Língua: Inglês
164,99 € (DE)
BB; Hardcover, Softcover / Informatik, EDV/Informatik; Software Engineering; Verstehen; Algorithms; Data refinement; Program semantics; Random algorithms; Sequential programming; Temporal logic; algorithm; logic; model checking; programming; semantics; Software Engineering; Probability Theory; Programming Techniques; Computer Science Logic and Foundations of Programming; Compilers and Interpreters; Formal Languages and Automata Theory; Wahrscheinlichkeitsrechnung und Statistik; Stochastik; Computerprogrammierung und Softwareentwicklung; Theoretische Informatik; Compiler und Übersetzer; EA; BC
Probabilistic guarded commands and their refinement logic.- to pGCL: Its logic and its model.- Probabilistic loops: Invariants and variants.- Case studies in termination: Choice coordination, the dining philosophers, and the random walk.- Probabilistic data refinement: The steam boiler.- Semantic structures.- Theory for the demonic model.- The geometry of probabilistic programs.- Proved rules for probabilistic loops.- Infinite state spaces, angelic choice and the transformer hierarchy.- Advanced topics: Quantitative modal logic and game interpretations.- Quantitative temporal logic: An introduction.- The quantitative algebra of qTL.- The quantitative modal ?-calculus, and gambling games.Outros livros adicionais, que poderiam ser muito similares com este livro:
Último livro semelhante:
9781441923127 Abstraction Refinement and Proof for Probabilistic Systems by Annabelle Mciver Paperback | Indigo Chapters (Annabelle McIver; Charles Carroll Morgan)
- 9781441923127 Abstraction Refinement and Proof for Probabilistic Systems by Annabelle Mciver Paperback | Indigo Chapters (Annabelle McIver; Charles Carroll Morgan)
- 9780387516097 Abstraction, Refinement and Proof for Probabilistic Systems (McIver, Annabelle / Morgan, Charles C.)
- 9780387270067 Abstraction, Refinement and Proof for Probabilistic Systems (Annabelle McIver; Charles Carroll Morgan)
< Para arquivar...