Verificar estado da encomenda
LIBRISTO
LIBROAMANTO
obrigatório
Esqueceu-se da palavra-passe
Faça parte de uma comunidade de amantes de livros de todo o mundo e tenha acesso a uma série de benefícios. Crie uma conta gratuitamente
0
Correio DHL 7.99 € Correio DPD 4.49 € Ponto DPD 3.99 € Correio GLS 5.49 € Correio MRW 5.49 €
phone Contacto phoneComo comprar

Abstraction, Refinement and Proof for Probabilistic Systems

Língua InglêsInglês
Livro Capa mole
Livro Abstraction, Refinement and Proof for Probabilistic Systems Annabelle McIver
Código Libristo: 05256930
Editoras Springer-Verlag New York Inc., fevereiro 2010
Illustrates by example the typical steps necessary in computer science to build a mathematical model...
? points 320 b
132.44 €
Armazenamento externo Envio em 10-18 dias

Política de devolução de 30 dias

Os clientes também compraram

Guess What! Level 5 Activity Book with Home Booklet and Online Interactive Activities Spanish Edition Lynne Marie Robertson / Livro Capa mole
common.buy 26.93 €
Libération et guérisons multidimensionnelles - A la découverte de l'Homme nouveau Kaci / Livro Capa mole
common.buy 19.94 €
The Head & the Load William Kentridge / Livro Livro de capa dura
common.buy 58.11 €
Ninnoli Gerolamo Rovetta / Livro Capa mole
common.buy 10.32 €
Kwestionariusz wrazliwosci przetwarzania sensorycznego u dzieci BARY&#X00142 / Livro Capa mole
common.buy 5.46 €
Der Shakespeare-Dieb Gary Blackwood / Livro Capa mole
common.buy 7.28 €
Arménie – Rother Michael Wellhausen / Livro Capa mole
common.buy 12.85 €
prince. Il «principe» in francese (XVI-XVII secolo) Niccoló Machiavelli / Livro Livro
common.buy 43.23 €

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.§

Atriz & Poliglota
EWA KASP para
Reproduzir vídeo
Ewa Kasp
A Libristo tem a maior seleção de literatura estrangeira. É por isso que compro os meus livros aqui.

Sobre o livro

Nome completo Abstraction, Refinement and Proof for Probabilistic Systems
Autor Annabelle McIver, Charles Carroll Morgan
Língua Inglês
Encadernação Livro - Capa mole
Data de emissão 2010
Número de páginas 388
EAN 9781441923127
ISBN 1441923128
Código Libristo 05256930
Editoras Springer-Verlag New York Inc.
Peso 617
Dimensões 155 x 235 x 235

Categorias

Matemática & ciência > Matemática > Matemática aplicada > Estocástica
Matemática & ciência > Matemática > Probabilidade e estatística
Informática & tecnologia da informação > Programação & engenharia informática > Compiladores e intérpretes
Informática & tecnologia da informação > Programação & engenharia informática > Linguagens de programação e escrita: generalidades
Informática & tecnologia da informação > Programação & engenharia informática > Engenharia de programas
Informática & tecnologia da informação > Ciência informática > Teoria matemática da informática
Informática & tecnologia da informação > Ciência informática > Arquitetura informática e conceção lógica
Informática & tecnologia da informação > Sistemas operativos
Ofereça este livro hoje
É fácil
1 Adicione ao carrinho e escolha Entregar como presente ao finalizar a compra 2 Receberá um vale 3 O livro chegará ao endereço do destinatário

Também pode estar interessado em

Macromolecular Crystallography Maria Armenia Carrondo / Livro Livro de capa dura
common.buy 137.81 €
Super Minds Level 5 Student's Book with Digital Pack Special Edition Herbert Puchta / Livro Capa mole
common.buy 8.19 €
What Winners Won't Tell You: Lessons from a Legendary Defender Jenkins / Livro Livro de capa dura
common.buy 26.72 €
Toxic Travel Guide Frankie McNamara / Livro Livro de capa dura
common.buy 12.14 €
It Starts with YOU! LASHAI BEN SALMI / Livro Capa mole
common.buy 14.37 €
How to Make Huge Cash with Section 8 Rentals the Landlord Handbook How to Be a Great Landlord & How Small Investors Can Get Started in Commercial Prop Ernie Braveboy / Livro Capa mole
common.buy 12.55 €
Pathways to Bliss Joseph Campbell / Livro Capa mole
common.buy 30.27 €
Reliability of Maintained Systems Subjected to Wear Failure Mechanisms - Theory and Applications Bayle Bayle / Livro Livro de capa dura
common.buy 142.57 €
iQuit Vincent Yanez / Livro Capa mole
common.buy 9.51 €
Ave Maria: selection from a chirographic opus in 300 languages Z W Wolkowski / Livro Capa mole
common.buy 20.24 €
Comparing Super-Diversity Fran Meissner / Livro Capa mole
common.buy 62.57 €
Nanohybrid Catalyst based on Carbon Nanotube Rasel Das / Livro Livro de capa dura
common.buy 91.94 €
If Pressed Andrew McEwan / Livro Capa mole
common.buy 11.64 €
Love in a Cold Climate Nancy Mitford / Livro Capa mole
common.buy 10.42 €
Vitamix Cookbook Jodi Berg / Livro Livro de capa dura
common.buy 21.76 €
Transmedia Archaeology Carlos Scolari / Livro Livro de capa dura
common.buy 59.43 €
Mandoa, Mandoa! Winifred Holtby / Livro Capa mole
common.buy 27.33 €
New Culture of Desire Melinda Davis / Livro Capa mole
common.buy 13.56 €
Designing Gestural Interfaces Dan Saffer / Livro Capa mole
common.buy 44.04 €
Introduction to Protein Structure Prediction Huzefa Rangwala / Livro Livro de capa dura
common.buy 140.34 €
Earthcare David Clowney / Livro Livro de capa dura
common.buy 155.63 €
Encountering the Past in Nature Timo Myllyntaus / Livro Capa mole
common.buy 23.28 €
Integration in an Expanding European Union: Reasse ssing the Fundamentals J. H. H. Weiler / Livro Capa mole
common.buy 22.88 €
Archaeology of Ancient Mexico and Central America David L. Webster / Livro Livro de capa dura
common.buy 332.53 €

Iniciar sessão

Inicie sessão na sua conta. Não tem uma conta Libristo? Crie uma agora!

 
obrigatório
obrigatório
Esqueceu-se da palavra-passe

Não tem uma conta? Descubra os benefícios de ter uma conta Libristo!

Com uma conta Libristo, terá tudo sob controlo.

Crie uma conta Libristo
Conselheiro de livros Libroamiko
Olá, sou o Libroamiko, posso ajudar?