Formal Systems Specification | The RPC-Memory Specification Case Study

Manfred Broy (u. a.)

ISBN 10: 3540619844 ISBN 13: 9783540619840

Edit� par Springer, 1996

impression � la demande

Neuf(s) Taschenbuch

Vendeur preigu, Osnabr�ck, Allemagne �valuation du vendeur 5 sur 5 �toiles

Vendeur AbeBooks depuis 5 ao�t 2024

Cet article sp�cifique n'est plus disponible.

Afficher tous les articles du vendeur Cr�er une demande de livres portant sur des articles similaires

Afficher tous les exemplaires de ce livre

A propos de cet article

Signaler cet article

Synopsis :

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.

Les informations fournies dans la section � A propos du livre � peuvent faire r�f�rence � une autre �dition de ce titre.

D�tails bibliographiques

Titre : Formal Systems Specification | The ...
�diteur : Springer
Date d'�dition : 1996
Reliure : Taschenbuch
Etat : Neu

Meilleurs r�sultats de recherche sur AbeBooks

Image d'archives

Formal Systems Specification: The Rpc-Memory Specification Case Study

Manfred Broy, Stephan Merz et Katharina Spies

Edit� par Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 1996

ISBN 10 : 3540619844 ISBN 13 : 9783540619840

Ancien ou d'occasion Softcover

Vendeur : Ammareal, Morangis, France

�valuation du vendeur 5 sur 5 �toiles

Softcover. Etat : Tr�s bon. Ancien livre de biblioth�que. Edition 1996. Ammareal reverse jusqu'� 15% du prix net de cet article � des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 1996. Ammareal gives back up to 15% of this item's net price to charity organizations. N� de r�f. du vendeur E-571-316

Contacter le vendeur

Acheter D'occasion

EUR 5,84

Exp�dition �EUR 20,50
Exp�dition depuis France vers Etats-Unis

Quantit� disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

Formal Systems Specification: The RPC-Memory Specification Case Study (Lecture Notes in Computer Science)

Broy, Manfred [Editor]; Merz, Stephan [Editor]; Spies, Katharina [Editor];

Edit� par Springer, 1996

ISBN 10 : 3540619844 ISBN 13 : 9783540619840

Ancien ou d'occasion Paperback

Vendeur : GuthrieBooks, Spring Branch, TX, Etats-Unis

�valuation du vendeur 5 sur 5 �toiles

Paperback. Etat : Very Good. Ex-library paperback in very nice condition with the usual markings and attachments. N� de r�f. du vendeur UTD14a-0964

Contacter le vendeur

Acheter D'occasion

EUR 16,58

Exp�dition �EUR 6
Exp�dition nationale�: Etats-Unis

Quantit� disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

Formal Systems Specification: The RPC-Memory Specification Case Study (Lecture Notes in Computer Science, 1169)

Broy, Manfred

Edit� par Springer, 1996

ISBN 10 : 3540619844 ISBN 13 : 9783540619840

Neuf Couverture souple

Vendeur : GoldBooks, Denver, CO, Etats-Unis

�valuation du vendeur 5 sur 5 �toiles

Etat : new. N� de r�f. du vendeur 50O45_51_3540619844

Contacter le vendeur

Acheter neuf

EUR 30,82

Exp�dition �EUR 3,65
Exp�dition nationale�: Etats-Unis

Quantit� disponible : 1 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Formal Systems Specification

Broy, Manfred|Merz, Stephan|Spies, Katharina

Edit� par Springer Berlin Heidelberg, 1996

ISBN 10 : 3540619844 ISBN 13 : 9783540619840

Neuf Couverture souple

impression � la demande

Vendeur : moluna, Greven, Allemagne

�valuation du vendeur 4 sur 5 �toiles

Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 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 th. N� de r�f. du vendeur 4895828

Contacter le vendeur

Acheter neuf

EUR 48,37

Exp�dition �EUR 48,99
Exp�dition depuis Allemagne vers Etats-Unis

Quantit� disponible : Plus de 20 disponibles

Ajouter au panier

Image d'archives

Formal Systems Specification: The RPC-Memory Specification Case Study (Lecture Notes in Computer Science, 1169)

Edit� par Springer, 1996

ISBN 10 : 3540619844 ISBN 13 : 9783540619840

Neuf Couverture souple

Vendeur : Lucky's Textbooks, Dallas, TX, Etats-Unis

�valuation du vendeur 5 sur 5 �toiles

Etat : New. N� de r�f. du vendeur ABLIING23Mar3113020172500

Contacter le vendeur

Acheter neuf

EUR 53,01

Exp�dition �EUR 3,42
Exp�dition nationale�: Etats-Unis

Quantit� disponible : Plus de 20 disponibles

Ajouter au panier

Image fournie par le vendeur

Formal Systems Specification : The RPC-Memory Specification Case Study

Manfred Broy

Edit� par Springer Berlin Heidelberg, 1996

ISBN 10 : 3540619844 ISBN 13 : 9783540619840

Neuf Taschenbuch

Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne

�valuation du vendeur 5 sur 5 �toiles

Taschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - 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. N� de r�f. du vendeur 9783540619840

Contacter le vendeur

Acheter neuf

EUR 53,49

Exp�dition �EUR 64,28
Exp�dition depuis Allemagne vers Etats-Unis

Quantit� disponible : 1 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Formal Systems Specification

Manfred Broy

Edit� par Springer Berlin Heidelberg, Springer Berlin Heidelberg Nov 1996, 1996

ISBN 10 : 3540619844 ISBN 13 : 9783540619840

Neuf Taschenbuch

Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne

�valuation du vendeur 5 sur 5 �toiles

Taschenbuch. Etat : Neu. Neuware -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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 572 pp. Englisch. N� de r�f. du vendeur 9783540619840

Contacter le vendeur

Acheter neuf

EUR 53,49

Exp�dition �EUR 60
Exp�dition depuis Allemagne vers Etats-Unis

Quantit� disponible : 2 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Formal Systems Specification

Manfred Broy

Edit� par Springer Berlin Heidelberg Nov 1996, 1996

ISBN 10 : 3540619844 ISBN 13 : 9783540619840

Neuf Taschenbuch

impression � la demande

Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne

�valuation du vendeur 5 sur 5 �toiles

Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 572 pp. Englisch. N� de r�f. du vendeur 9783540619840

Contacter le vendeur