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 € Ponto GLS 4.49 €
phone Contacto phoneComo comprar

Abstraction, Refinement and Proof for Probabilistic Systems

Língua InglêsInglês
Livro Livro de capa dura
Livro Abstraction, Refinement and Proof for Probabilistic Systems Annabelle McIver
Código Libristo: 05247820
Editoras Springer-Verlag New York Inc., novembro 2004
Illustrates by example the typical steps necessary in computer science to build a mathematical model...
? points 387 b
159.62 €
Armazenamento externalo em pequenas quantidades Envio em 11-15 dias

Até 30 dias para devoluções

Os clientes também compraram

Principal
Obrázková angličtina 4 oblečení Petr Kupka / Livro Livro
common.buy 0.90 €
Santa Biblia Ntv, Edicion Compacta Letra Grande, Galatas 6:14 / Livro Livro
common.buy 21.51 €
RUSSLAND Katharina Füllenbach / Livro Capa mole
common.buy 14.34 €
Zločin i kazna, dječji Fjodor Mihajlović Dostojevski / Livro Capa mole
common.buy 9.39 €
ESTOY MEJOR SIN TI: vive el amor sin miedo y sin apegos. Laverde / Livro Capa mole
common.buy 23.63 €

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, Carroll Morgan
Língua Inglês
Encadernação Livro - Livro de capa dura
Data de emissão 2004
Número de páginas 388
EAN 9780387401157
ISBN 0387401156
Código Libristo 05247820
Editoras Springer-Verlag New York Inc.
Peso 1650
Dimensões 155 x 235 x 25

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

A Fiery Friendship Lisa Fiedler / Livro Livro de capa dura
common.buy 15.75 €
Healing for the Millions Serge King / Livro Capa mole
common.buy 14.03 €
Passion Barbara De Angelis / Livro Capa mole
common.buy 9.49 €
Company Directors' Responsibilities to Creditors Andrew Keay / Livro Capa mole
common.buy 84.55 €
Wizard of Oz and Who He Was L. F. Baum / Livro Capa mole
common.buy 27.98 €
Rickham's Neonatal Surgery Paul D. Losty / Livro Livro de capa dura
common.buy 211.96 €
Geoinformatics for Intelligent Transportation Igor Ivan / Livro Livro de capa dura
common.buy 97.28 €
Frost Thomas Bernhard / Livro Capa mole
common.buy 15.85 €
Urban Theory John Rennie Short / Livro Capa mole
common.buy 57.68 €
Who was St Patrick? E.A. Thompson / Livro Capa mole
common.buy 23.93 €
State of the Unions Philip M. Dine / Livro Capa mole
common.buy 17.27 €

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?