Brezplačna dostava za naročila nad 69.99 € na paketomatih Pošte Slovenije.

Preverjanje stanja naročila

Postanite del skupnosti ljubiteljev knjig z vsega sveta in uživajte v številnih ugodnostih. Ustvarite brezplačen račun

Brezplačna dostava Zásilkovna nad 69.99 €

Zbirna točka GLS 4.49 € Zbirna točka DPD 2.99 € Kurirska služba GLS 5.49 € Kurir DPD 3.49 € Kurirska služba Express One 3.49 € Zbirno mesto Express One 3.49 € Zbirno mesto Pošte Slovenije 3.49 € Dostava preko Pošte Slovenije 3.49 €

Kontakt

Kako nakupovati

Pomoč

Moj račun

▸ Prazna :-(

Brezplačna dostava za naročila nad 69.99 € na paketomatih Pošte Slovenije.

Formal Systems Specification

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

The RPC-Memory Specification Case Study

Manfred Broy

Stephan Merz

Katharina Spies

Jezik

Angleščina

Knjiga Mehka

Koda Libristo: 01566254

Založba Springer, Berlin, november 1995

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

Koda Libristo: 01566254

118 b

48.89 €

Na zalogi pri dobavitelju Odposlali bomo v 5-8 dneh

Do 30 dni za vračilo

Drugi so kupili tudi

Ortsverzeichnis 1991 Erich Bader

Mehka

28.54 €

Wunder in meinem Leben Daisy Gräfin von Arnim

Mehka

8.09 €

Myszonek pod namiotem. Myszonek Riikka Jäntti

Trda

7.58 €

Insegna al tuo drago il pericolo degli sconosciuti Steve Herman

Trda

18.42 €

Autoatlas Crete / Kreta

Zemljevid

28.24 €

Rínxols d'Or Perrault

Spiralna

2.42 €

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

Mehka

12.34 €

Parmenides und die Geschichte der griechischen Philosophie Karl Reinhardt

Mehka

25.71 €

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

Trda

45.65 €

Su-jok Semenoterapie Jae Woo Park

Mehka

9.00 €

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.