Vérifier l'état de la commande
LIBRISTO
LIBROAMANTO
Obligatoire
Mot de passe oublié
Accédez à une communauté d'amateurs de livres à travers le monde et bénéficiez d’une panoplie d'avantages. Créer un compte gratuitement
0
Livraison gratuite avec Zásilkovna à partir de 69.99 €
Coursier DPD 6.49 € Point Bpost 8.49 € Bpost 7.99 € Point DPD 3.99 € Service de messagerie GLS 5.49 €
phone Contact phoneComment faire ses achats
Livraison gratuite à partir de 69.99 euros.

Formal Systems Specification

The RPC-Memory Specification Case Study

Langue AnglaisAnglais
Livre Livre de poche
Livre Formal Systems Specification Manfred Broy
Code Libristo: 01566254
Éditeurs Springer, Berlin, novembre 1995
The RPC-memory specification problem was proposed by Broy and Lamport as a case study in the formal... Description détaillée
? points 125 b
51.36 €
Stockage externe Expédition sous 5-8 jours

Jusqu'à 30 jours pour les retours

Les clients ont également acheté

Tupilak Marko Thelen / Livre Livre relié
common.buy 12.96 €
Pratique de l'analyse des correspondances Massonie / Livre Livre de poche
common.buy 10.14 €
La théorie et la pratique du jardinage. 4e édition Antoine-Joseph Dezallier d'Argenville / Livre Livre de poche
common.buy 41.41 €
Wunder in meinem Leben Daisy Gräfin von Arnim / Livre Livre de poche
common.buy 8.54 €
Suomi-Malajalam Vaatteet Kaksikielisten lasten kuvasanakirja Richard Carlson / Livre Livre de poche
common.buy 13.16 €
Insegna al tuo drago il pericolo degli sconosciuti Steve Herman / Livre Livre relié
common.buy 19.69 €
Myszonek pod namiotem. Myszonek Riikka Jäntti / Livre Livre relié
common.buy 8.13 €
La Pat' Patrouille - Ma mini bibliothèque - Mission exploration / Livre Livre
common.buy 9.34 €
Trug-Guld. Erzahlung Aus Dem 17. Jahrhundert Rudolf Baumbach / Livre Livre de poche
common.buy 25.53 €
Uptown Girl (Band 1) - Dein Lied unter meiner Haut Jennifer Alice Jager / Livre Livre de poche
common.buy 16.08 €
Autoatlas Crete / Kreta / Articles imprimés Cartes géographiques
common.buy 27.54 €
Rínxols d'Or Perrault / Livre Reliure à anneaux
common.buy 3.41 €
Teoria de cuerdas La Pastilla Roja Ediciones / Livre Livre de poche
common.buy 15.07 €
En el vientre del silencio X. L. Méndez Ferrín / Livre Livre de poche
common.buy 20.40 €
Álgebra lineal y aplicaciones ARVESU / Livre Livre de poche
common.buy 54.88 €
Stadtführer Hamburg spanisch Wolfgang Kootz / Livre Livre de poche
common.buy 7.63 €
100 Fehler bei der Pflegedokumentation und was Sie dagegen tun können Jutta König / Livre Livre de poche
common.buy 13.46 €
Ortsverzeichnis 1991 Erich Bader / Livre Livre de poche
common.buy 31.36 €
Parmenides und die Geschichte der griechischen Philosophie Karl Reinhardt / Livre Livre de poche
common.buy 27.03 €
Dehio - Handbuch der deutschen Kunstdenkmaler / Bayern Bd. 3 Bruno Bushart / Livre Livre relié
common.buy 48.45 €
Top
Su-jok Semenoterapie Jae Woo Park / Livre Livre de poche
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 & Polyglotte
EWA KASP pro
Regarder la vidéo
Ewa Kasp
Libristo propose la plus grande sélection littéraire en langues étrangères. N’hésitez plus et venez y acheter vos livres.

À propos du livre

Nom complet Formal Systems Specification
Auteur Manfred Broy, Stephan Merz, Katharina Spies
Langue Anglais
Reliure Livre - Livre de poche
Date de parution 1996
Nombre de pages 543
EAN 9783540619840
ISBN 3540619844
Code Libristo 01566254
Éditeurs Springer, Berlin
Poids 736
Dimensions 234 x 156 x 29

Catégories

Informatique et technologies de l’information > Matériel informatique > Equipement de réseau
Informatique et technologies de l’information > Programmation informatique / génie logiciel > Génie logiciel
Informatique et technologies de l’information > Gestion de réseaux informatiques et des communications > Gestion de réseau client-serveur
Informatique et technologies de l’information > Informatique > Informatique théorique
Informatique et technologies de l’information > Informatique > Architecture informatique et conception logique
Offrez ce livre dès aujourd'hui
C’est simple
1 Ajouter au panier et choisir l'option Livrer comme cadeau à la caisse. 2 Nous vous enverrons un bon d'achat 3 Le livre arrivera à l'adresse du destinataire

Ceci pourrait également vous intéresser

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

Connexion

Connectez-vous à votre compte. Vous n'avez pas encore de compte Libristo ? Créez-en un maintenant !

 
Obligatoire
Obligatoire
Mot de passe oublié

Vous n'avez pas encore de compte ? Découvrez les avantages d’avoir un compte Libristo !

Avec un compte Libristo, vous aurez tout sous contrôle.

Créer un compte Libristo
Conseiller littéraire Libroamiko
Bonjour, je suis Libroamiko, puis-je vous aider ?