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 8.49 € Correio DPD 4.99 € Ponto DPD 4.49 € Correio GLS 5.99 € Correio MRW 5.99 € Ponto GLS 4.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 132 b
54.06 €
Armazenamento externo Envio em 5-8 dias

Até 30 dias para devoluções

Os clientes também compraram

Tupilak Marko Thelen / Livro Livro de capa dura
common.buy 13.66 €
Pratique de l'analyse des correspondances Massonie / Livro Capa mole
common.buy 9.74 €
La théorie et la pratique du jardinage. 4e édition Antoine-Joseph Dezallier d'Argenville / Livro Capa mole
common.buy 39.58 €
Wunder in meinem Leben Daisy Gräfin von Arnim / Livro Capa mole
common.buy 9.03 €
Suomi-Malajalam Vaatteet Kaksikielisten lasten kuvasanakirja Richard Carlson / Livro Capa mole
common.buy 13.15 €
Insegna al tuo drago il pericolo degli sconosciuti Steve Herman / Livro Livro de capa dura
common.buy 19.69 €
Myszonek pod namiotem. Myszonek Riikka Jäntti / Livro Livro de capa dura
common.buy 7.63 €
La Pat' Patrouille - Ma mini bibliothèque - Mission exploration / Livro Livro
common.buy 8.93 €
Trug-Guld. Erzahlung Aus Dem 17. Jahrhundert Rudolf Baumbach / Livro Capa mole
common.buy 25.52 €
Uptown Girl (Band 1) - Dein Lied unter meiner Haut Jennifer Alice Jager / Livro Capa mole
common.buy 17.07 €
Autoatlas Crete / Kreta / Artigos impressos Mapa
common.buy 29.13 €
Rínxols d'Or Perrault / Livro Encadernação com argola
common.buy 3.41 €
Teoria de cuerdas La Pastilla Roja Ediciones / Livro Capa mole
common.buy 15.06 €
En el vientre del silencio X. L. Méndez Ferrín / Livro Capa mole
common.buy 19.49 €
Álgebra lineal y aplicaciones ARVESU / Livro Capa mole
common.buy 52.45 €
Stadtführer Hamburg spanisch Wolfgang Kootz / Livro Capa mole
common.buy 8.03 €
100 Fehler bei der Pflegedokumentation und was Sie dagegen tun können Jutta König / Livro Capa mole
common.buy 13.46 €
Ortsverzeichnis 1991 Erich Bader / Livro Capa mole
common.buy 31.34 €
Parmenides und die Geschichte der griechischen Philosophie Karl Reinhardt / Livro Capa mole
common.buy 28.44 €
Dehio - Handbuch der deutschen Kunstdenkmaler / Bayern Bd. 3 Bruno Bushart / Livro Livro de capa dura
common.buy 51.34 €
Principal
Su-jok Semenoterapie Jae Woo Park / Livro Capa mole
common.buy 9.54 €

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

Computational Learning Theory David Helmbold / Livro Capa mole
common.buy 107.82 €
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 118.17 €
How to Draw Pirates Step-by-Step Guide: Best Pirate Drawing Book for You and Your Kids Andy Hopper / Livro Capa mole
common.buy 13.25 €
European Union's External Action in Times of Crisis Piet Eeckhout / Livro Capa mole
common.buy 84.10 €
Novel Weighted Hybrid Approach In Recommendation Method Avadhut Wagavkar / Livro Capa mole
common.buy 33.76 €
Rock Trivia Madness: 60s to 90s Rock Music Trivia & Amazing Facts Bill O'Neill / Livro Capa mole
common.buy 14.16 €
Til Death Do Us Part K J Emrick / Livro Capa mole
common.buy 13.46 €
Facing Fallout Dorothy Hemenway Carter / Livro Capa mole
common.buy 7.73 €
Rest In Peace: Book One: The Beginning Evelyn B Sciarratta / Livro Capa mole
common.buy 15.06 €
John Andross Rebecca Harding Davis / Livro Capa mole
common.buy 24.41 €
2 Detectives: The Chronicles of Addington Peace / Luther Trant, Psychological Detective B. Fletcher Robinson / Livro Capa mole
common.buy 25.92 €
Theoretical Perspectives on Historians' Autobiographies Jaume Aurell / Livro Livro de capa dura
common.buy 266.50 €
British Mosses, Their Homes, Aspects, Structure and Uses: With a Coloured Figure of Each Species Etched From Nature Volume; Volume 2 Frances Elizabeth 1832-1890 Tripp / Livro Capa mole
common.buy 21.70 €
France's Rhineland Policy, 1914-1924 Walter A. McDougall / Livro Livro de capa dura
common.buy 217.36 €
By the Grace of the Gods: Volume 15 Ririna / Livro Capa mole
common.buy 13.05 €
Granular Matter Anita Mehta / Livro Livro de capa dura
common.buy 161.58 €
Drug Discovery Robert A. Maxwell / Livro Livro de capa dura
common.buy 179.57 €
Marketing 2.0 Gerald Corbae / Livro Livro de capa dura
common.buy 52.95 €
Joint Approaches to Social Policy Linda ChallisSusan FullerMelanie HenwoodRudolf Klein / Livro Livro de capa dura
common.buy 129.12 €

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?