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 € Correio MRW 3.99 € Ponto DPD 3.99 €
phone Contacto phoneComo comprar

Formal Systems Specification

The RPC-Memory Specification Case Study

Língua InglêsInglês
Livro Capa mole
Livro Formal Systems Specification Manfred Broy
Código Libristo: 01566254
Editoras Springer, Berlin, novembro 1995
The RPC-memory specification problem was proposed by Broy and Lamport as a case study in the formal... Descrição completa
? points 111 b
45.97 €
Armazenamento externo Envio em 5-8 dias

Política de devolução de 30 dias

Os clientes também compraram

Ortsverzeichnis 1991 Erich Bader / Livro Capa mole
common.buy 26.97 €
Wunder in meinem Leben Daisy Gräfin von Arnim / Livro Capa mole
common.buy 7.47 €
Myszonek pod namiotem. Myszonek Riikka Jäntti / Livro Livro de capa dura
common.buy 6.56 €
Insegna al tuo drago il pericolo degli sconosciuti Steve Herman / Livro Livro de capa dura
common.buy 16.46 €
Autoatlas Crete / Kreta / Artigos impressos Mapa
common.buy 26.57 €
Rínxols d'Or Perrault / Livro Encadernação com argola
common.buy 2.31 €
100 Fehler bei der Pflegedokumentation und was Sie dagegen tun können Jutta König / Livro Capa mole
common.buy 11.61 €
Parmenides und die Geschichte der griechischen Philosophie Karl Reinhardt / Livro Capa mole
common.buy 24.14 €
Dehio - Handbuch der deutschen Kunstdenkmaler / Bayern Bd. 3 Bruno Bushart / Livro Livro de capa dura
common.buy 42.53 €
Principal
Su-jok Semenoterapie Jae Woo Park / Livro Capa mole
common.buy 7.87 €

The RPC-memory specification problem was proposed by Broy and Lamport as a case study in the formal design of distributed and concurrent systems. As a realistic example typical for operating systems and hardware design, the RPC-memory problem was used as the basis for comparing various approaches to formal specification, refinement, and verification.Preliminary solutions were discussed during a workshop at Schloss Dagstuhl, Germany, in September 1994. Then an extensive discussion took place between the referees and authors. Finally 15 thoroughly revised papers were accepted for inclusion in this volume in full detail together with the problem statement and a synopsis.

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 Formal Systems Specification
Autor Manfred Broy, Stephan Merz, Katharina Spies
Língua Inglês
Encadernação Livro - Capa mole
Data de emissão 1996
Número de páginas 543
EAN 9783540619840
ISBN 3540619844
Código Libristo 01566254
Editoras Springer, Berlin
Peso 736
Dimensões 234 x 156 x 29

Categorias

Informática & tecnologia da informação > Equipamento informático > Equipamento em rede
Informática & tecnologia da informação > Programação & engenharia informática > Engenharia de programas
Informática & tecnologia da informação > Gestão de redes & comunicação informática > Redes cliente-servidor
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
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

Molecular Biology of Bacteria Rajarshi Kumar Gaur / Livro Livro de capa dura
common.buy 237.16 €
Granular Matter Anita Mehta / Livro Livro de capa dura
common.buy 137.52 €
Drug Discovery Robert A. Maxwell / Livro Livro de capa dura
common.buy 151.77 €
How to Draw Pirates Step-by-Step Guide: Best Pirate Drawing Book for You and Your Kids Andy Hopper / Livro Capa mole
common.buy 11.00 €
Marketing 2.0 Gerald Corbae / Livro Livro de capa dura
common.buy 44.86 €
France's Rhineland Policy, 1914-1924 Walter A. McDougall / Livro Livro de capa dura
common.buy 146.92 €
Diplomacy and Ideology in Japanese-Korean Relations: From the Fifteenth to the Eighteenth Century Etsuko Hae-Jin Kang / Livro Livro de capa dura
common.buy 100.23 €
Theoretical Perspectives on Historians' Autobiographies Jaume Aurell / Livro Livro de capa dura
common.buy 203.61 €

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