Spedizione gratuita per ordini superiori a 69,99 euro.

Controllare lo stato dell'ordine

Entra a far parte di una comunità di amanti dei libri di tutto il mondo e ottieni numerosi vantaggi. Crea un account gratuito

Spedizione gratuita con Packeta per un prezzo superiore a 69.99 €

Bartolini 4.49 € Punto Poste 5.49 € Punto Poste 5.49 € Punto Bartolini 3.49 € DHL 6.99 € GLS 5.99 €

Contatto

Come acquistare

Aiuto

Il mio account

▸ Vuoto :-(

Spedizione gratuita per ordini superiori a 69,99 euro.

Formal Systems Specification

Name: Formal Systems Specification
Brand: Springer, Berlin
SKU: 01566254
Price: 53.79 EUR
Availability: InStock
Author: Manfred Broy
ISBN: 9783540619840

The RPC-Memory Specification Case Study

Manfred Broy

Stephan Merz

Katharina Spies

Lingua

Inglese

Libro In brossura

Codice Libristo: 01566254

Casa editrice Springer, Berlin, novembre 1995

The RPC-memory specification problem was proposed by Broy and Lamport as a case study in the formal... Descrizione completa

Codice Libristo: 01566254

132 b

53.79 €

Magazzino esterno Inviamo tra 5-8 giorni

30 giorni per il reso

I clienti hanno acquistato anche

Ortsverzeichnis 1991 Erich Bader

In brossura

32.89 €

Wunder in meinem Leben Daisy Gräfin von Arnim

In brossura

8.99 €

Myszonek pod namiotem. Myszonek Riikka Jäntti

Rigido

8.99 €

Insegna al tuo drago il pericolo degli sconosciuti Steve Herman

Rigido

19.99 €

Autoatlas Crete / Kreta

Mappa

32.79 €

Rínxols d'Or Perrault

Ad anelli

2.69 €

100 Fehler bei der Pflegedokumentation und was Sie dagegen tun können Jutta König

In brossura

14.39 €

Parmenides und die Geschichte der griechischen Philosophie Karl Reinhardt

In brossura

28.29 €

Dehio - Handbuch der deutschen Kunstdenkmaler / Bayern Bd. 3 Bruno Bushart

Rigido

51.09 €

Su-jok Semenoterapie Jae Woo Park

In brossura

10.59 €

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.