Status van bestelling controleren
LIBRISTO
LIBROAMANTO
verplicht
Wachtwoord vergeten
Word lid van een gemeenschap van boekenliefhebbers van over de hele wereld en krijg een heleboel voordelen. Gratis account aanmaken
0
Gratis bezorging met Zásilkovna boven 59.99 €
DPD koerier 5.99 € DHL koeriersdienst 5.99 € GLS koerier 5.49 € DPD-punt 4.49 €
phone Contact phoneHoe winkelen bij ons werkt
Gratis verzending vanaf 59,99 euro.

Formal Systems Specification

The RPC-Memory Specification Case Study

Taal EngelsEngels
Boek Paperback
Boek Formal Systems Specification Manfred Broy
Libristo-code: 01566254
Uitgeverij Springer, Berlin, november 1995
The RPC-memory specification problem was proposed by Broy and Lamport as a case study in the formal... Volledige beschrijving
? points 125 b
51.36 €
In extern magazijn Wordt binnen 5-8 dagen verzonden

Tot 30 dagen retourrecht

Klanten kochten ook

Tupilak Marko Thelen / Boek Gebonden
common.buy 12.96 €
Pratique de l'analyse des correspondances Massonie / Boek Paperback
common.buy 10.14 €
La théorie et la pratique du jardinage. 4e édition Antoine-Joseph Dezallier d'Argenville / Boek Paperback
common.buy 41.41 €
Wunder in meinem Leben Daisy Gräfin von Arnim / Boek Paperback
common.buy 8.54 €
Suomi-Malajalam Vaatteet Kaksikielisten lasten kuvasanakirja Richard Carlson / Boek Paperback
common.buy 13.16 €
Insegna al tuo drago il pericolo degli sconosciuti Steve Herman / Boek Gebonden
common.buy 19.69 €
Myszonek pod namiotem. Myszonek Riikka Jäntti / Boek Gebonden
common.buy 8.13 €
La Pat' Patrouille - Ma mini bibliothèque - Mission exploration / Boek Boek
common.buy 9.34 €
Trug-Guld. Erzahlung Aus Dem 17. Jahrhundert Rudolf Baumbach / Boek Paperback
common.buy 25.53 €
Uptown Girl (Band 1) - Dein Lied unter meiner Haut Jennifer Alice Jager / Boek Paperback
common.buy 16.08 €
Autoatlas Crete / Kreta / Drukwerk Kaart
common.buy 27.54 €
Rínxols d'Or Perrault / Boek Ringband
common.buy 3.41 €
Teoria de cuerdas La Pastilla Roja Ediciones / Boek Paperback
common.buy 15.07 €
En el vientre del silencio X. L. Méndez Ferrín / Boek Paperback
common.buy 20.40 €
Álgebra lineal y aplicaciones ARVESU / Boek Paperback
common.buy 54.88 €
Stadtführer Hamburg spanisch Wolfgang Kootz / Boek Paperback
common.buy 7.63 €
100 Fehler bei der Pflegedokumentation und was Sie dagegen tun können Jutta König / Boek Paperback
common.buy 14.17 €
Ortsverzeichnis 1991 Erich Bader / Boek Paperback
common.buy 32.86 €
Parmenides und die Geschichte der griechischen Philosophie Karl Reinhardt / Boek Paperback
common.buy 27.03 €
Dehio - Handbuch der deutschen Kunstdenkmaler / Bayern Bd. 3 Bruno Bushart / Boek Gebonden
common.buy 48.45 €
TOP
Su-jok Semenoterapie Jae Woo Park / Boek Paperback
common.buy 10.04 €

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.

Actrice & Polyglot
EWA KASP voor
Video afspelen
Ewa Kasp
Libristo heeft de grootste selectie boeken in vreemde talen. Daarom koop ik mijn boeken hier.

Informatie over het boek

Volledige naam Formal Systems Specification
Auteur Manfred Broy, Stephan Merz, Katharina Spies
Taal Engels
Bindwijze Boek - Paperback
Datum van uitgifte 1996
Aantal pagina's 543
EAN 9783540619840
ISBN 3540619844
Libristo-code 01566254
Uitgeverij Springer, Berlin
Gewicht 736
Afmetingen 234 x 156 x 29

Categorieën

Informatica en informatietechnologie > Computer hardware > Netwerkhardware
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Softwareontwikkeling
Informatica en informatietechnologie > Computernetwerken en communicatiesystemen > Client-servernetwerken
Informatica en informatietechnologie > Informatica > Wiskundige systeemtheorie
Informatica en informatietechnologie > Informatica > Computerarchitectuur en logica-ontwerp
Geef dit boek vandaag nog cadeau
Dat gaat heel eenvoudig
1 Voeg het boek toe aan je winkelwagentje en selecteer Als cadeau bezorgen 2 Je krijgt van ons per omgaand een voucher 3 Het boek wordt bezorgd op het adres van de ontvanger

Dit vind je misschien ook interessant

Computational Learning Theory David Helmbold / Boek Paperback
common.buy 102.33 €
Diplomacy and Ideology in Japanese-Korean Relations: From the Fifteenth to the Eighteenth Century Etsuko Hae-Jin Kang / Boek Gebonden
common.buy 118.22 €
How to Draw Pirates Step-by-Step Guide: Best Pirate Drawing Book for You and Your Kids Andy Hopper / Boek Paperback
common.buy 13.26 €
European Union's External Action in Times of Crisis Piet Eeckhout / Boek Paperback
common.buy 84.14 €
Novel Weighted Hybrid Approach In Recommendation Method Avadhut Wagavkar / Boek Paperback
common.buy 31.96 €
Rock Trivia Madness: 60s to 90s Rock Music Trivia & Amazing Facts Bill O'Neill / Boek Paperback
common.buy 14.17 €
Til Death Do Us Part K J Emrick / Boek Paperback
common.buy 13.46 €
Facing Fallout Dorothy Hemenway Carter / Boek Paperback
common.buy 7.73 €
Rest In Peace: Book One: The Beginning Evelyn B Sciarratta / Boek Paperback
common.buy 15.07 €
John Andross Rebecca Harding Davis / Boek Paperback
common.buy 23.11 €
2 Detectives: The Chronicles of Addington Peace / Luther Trant, Psychological Detective B. Fletcher Robinson / Boek Paperback
common.buy 25.93 €
Theoretical Perspectives on Historians' Autobiographies Jaume Aurell / Boek Gebonden
common.buy 266.61 €
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 / Boek Paperback
common.buy 21.71 €
France's Rhineland Policy, 1914-1924 Walter A. McDougall / Boek Gebonden
common.buy 217.45 €
By the Grace of the Gods: Volume 15 Ririna / Boek Paperback
common.buy 13.06 €
Granular Matter Anita Mehta / Boek Gebonden
common.buy 153.40 €
Drug Discovery Robert A. Maxwell / Boek Gebonden
common.buy 179.64 €
Marketing 2.0 Gerald Corbae / Boek Gebonden
common.buy 50.16 €
Joint Approaches to Social Policy Linda ChallisSusan FullerMelanie HenwoodRudolf Klein / Boek Gebonden
common.buy 129.18 €

Inloggen

Log in op je account. Heb je nog geen Libristo-account? Maak nu een account aan!

 
verplicht
verplicht
Wachtwoord vergeten

Heb je geen account? Profiteer van de voordelen van een Libristo-account!

Met een Libristo-account heb je alles onder controle.

Een Libristo-account aanmaken
Boekadviseur Libroamiko
Hoi, ik ben Libroamiko, kan ik helpen?