«Comprobar estado del pedido»
LIBRISTO
LIBROAMANTO
obligatorio
Contraseña olvidada
Entre a formar parte de una comunidad de amantes de los libros del mundo entero y acceda a un sinfín de ventajas. Crear una cuenta gratis
0
Envío gratuito con Zásilkovna para compras superiores a 59.99 €
Mensajería SEUR 4.99 € Mensajería GLS 7.99 € Mensajería Correos 5.49 € Mensajería DHL 5.49 € Punto SEUR 3.99 €
phone Contacto phoneCómo comprar
Envío gratis a partir de 69,99 euros.

Formal Systems Specification

The RPC-Memory Specification Case Study

Idioma InglésInglés
Libro Tapa blanda
Libro Formal Systems Specification Manfred Broy
Código Libristo: 01566254
Editores Springer, Berlin, noviembre 1995
The RPC-memory specification problem was proposed by Broy and Lamport as a case study in the formal... Descripción completa
? points 139 b
56.59 €
Almacenamiento externo Envío en 5-8 días

Política de devolución de 30 días

Clientes que también han comprado

Ortsverzeichnis 1991 Erich Bader / Libro Tapa blanda
common.buy 33.59 €
Wunder in meinem Leben Daisy Gräfin von Arnim / Libro Tapa blanda
common.buy 9.59 €
Myszonek pod namiotem. Myszonek Riikka Jäntti / Libro Tapa dura
common.buy 8.69 €
Insegna al tuo drago il pericolo degli sconosciuti Steve Herman / Libro Tapa dura
common.buy 19.99 €
Autoatlas Crete / Kreta / Artículos impresos Mapa
common.buy 33.49 €
Rínxols d'Or Perrault / Libro Anillas de fijación
common.buy 2.69 €
100 Fehler bei der Pflegedokumentation und was Sie dagegen tun können Jutta König / Libro Tapa blanda
common.buy 14.69 €
Parmenides und die Geschichte der griechischen Philosophie Karl Reinhardt / Libro Tapa blanda
common.buy 29.69 €
Dehio - Handbuch der deutschen Kunstdenkmaler / Bayern Bd. 3 Bruno Bushart / Libro Tapa dura
common.buy 54.09 €
Popular
Su-jok Semenoterapie Jae Woo Park / Libro Tapa blanda
common.buy 10.79 €

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.

Actriz & Políglota
EWA KASP para
Visualizar el vídeo
Ewa Kasp
Libristo tiene la oferta más extensa de literatura en idiomas extranjeros. Por eso compran aquí sus libros.

Sobre el libro

Nombre y apellidos Formal Systems Specification
Autor Manfred Broy, Stephan Merz, Katharina Spies
Idioma Inglés
Encuadernación Libro - Tapa blanda
Fecha de publicación 1996
Número de páginas 543
EAN 9783540619840
ISBN 3540619844
Código Libristo 01566254
Editores Springer, Berlin
Peso 736
Dimensiones 234 x 156 x 29

Categorías

Computación e informática > Hardware (o soporte físico del ordenador) > Hardware de redes
Computación e informática > Programación informática/desarrollo de software > Ingeniería del software
Computación e informática > Redes y comunicaciones informáticas > Redes cliente-servidor
Computación e informática > Ciencias de la computación > Teoría matemática de la computación
Computación e informática > Ciencias de la computación > Arquitectura y diseño lógico de ordenadores
Regale este libro hoy
Es fácil
1 Añadir al carrito y elegir Entregar como regalo en el checkout 2 Le enviaremos un vale 3 El libro llegará a la dirección del destinatario

También puede interesarle

Molecular Biology of Bacteria Rajarshi Kumar Gaur / Libro Tapa dura
common.buy 284.59 €
Granular Matter Anita Mehta / Libro Tapa dura
common.buy 169.09 €
Drug Discovery Robert A. Maxwell / Libro Tapa dura
common.buy 181.49 €
How to Draw Pirates Step-by-Step Guide: Best Pirate Drawing Book for You and Your Kids Andy Hopper / Libro Tapa blanda
common.buy 13.59 €
Marketing 2.0 Gerald Corbae / Libro Tapa dura
common.buy 55.49 €
France's Rhineland Policy, 1914-1924 Walter A. McDougall / Libro Tapa dura
common.buy 174.39 €
Diplomacy and Ideology in Japanese-Korean Relations: From the Fifteenth to the Eighteenth Century Etsuko Hae-Jin Kang / Libro Tapa dura
common.buy 119.39 €
Theoretical Perspectives on Historians' Autobiographies Jaume Aurell / Libro Tapa dura
common.buy 242.59 €

Inicio de sesión

Inicie sesión en su cuenta. ¿No tiene una cuenta Libristo? ¡Cree una ahora!

 
obligatorio
obligatorio
Contraseña olvidada

¿No tiene cuenta? Descubra las ventajas de tener una cuenta Libristo.

Si tiene una cuenta Libristo, lo tendrá todo bajo control.

Crear una cuenta Libristo
Asesor de libros Libroamiko
Hola, soy Libroamiko, ¿puedo ayudarte?