Articles liés à Specification and Verification of Concurrent Systems...
L'édition de cet ISBN n'est malheureusement plus disponible.
Afficher les exemplaires de cette édition ISBN
Présentation de l'éditeur :
"Papers presented at the Bcs-Facs Workshop on Specification and Verification of Concurrent Systems held on 6-8 July 1988, at the University of Stirling, Scotland"--Pref.
Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.
- ÉditeurSpringer
- Date d'édition1990
- ISBN 10 3540195815
- ISBN 13 9783540195818
- ReliureBroché
- Nombre de pages624
- ÉditeurRattray Charles
Acheter neuf
En savoir plus sur cette édition
EUR 54,76
Frais de port :
Gratuit
Vers Etats-Unis
Meilleurs résultats de recherche sur AbeBooks
Image fournie par le vendeur
Specification and Verification of Concurrent Systems (Workshops in Computing) [Paperback ]
Edité par
Springer
(1990)
ISBN 10 : 3540195815
ISBN 13 : 9783540195818
Neuf
Soft Cover
Quantité disponible : 10
Vendeur :
Evaluation vendeur
Description du livre Soft Cover. Etat : new. This item is printed on demand. N° de réf. du vendeur 9783540195818
Acheter neuf
EUR 54,76
Autre devise
Image d'archives
Specification and Verification of Concurrent Systems (Workshops in Computing)
Edité par
Springer
(1990)
ISBN 10 : 3540195815
ISBN 13 : 9783540195818
Neuf
Couverture souple
Quantité disponible : 17
Vendeur :
Evaluation vendeur
Description du livre Etat : New. N° de réf. du vendeur ABLIING23Mar3113020162144
Acheter neuf
EUR 57,12
Autre devise
Image fournie par le vendeur
Specification and Verification of Concurrent Systems
Edité par
Springer
(1990)
ISBN 10 : 3540195815
ISBN 13 : 9783540195818
Neuf
Couverture souple
Quantité disponible : 5
Vendeur :
Evaluation vendeur
Description du livre Etat : New. N° de réf. du vendeur 20345396-n
Acheter neuf
EUR 58,39
Autre devise
Image d'archives
Specification and Verification of Concurrent Systems
Edité par
Springer
(1990)
ISBN 10 : 3540195815
ISBN 13 : 9783540195818
Neuf
Couverture souple
Quantité disponible : > 20
Vendeur :
Evaluation vendeur
Description du livre Etat : New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book. N° de réf. du vendeur ria9783540195818_lsuk
Acheter neuf
EUR 59,26
Autre devise
Image d'archives
Specification and Verification of Concurrent Systems (Workshops in Computing)
Edité par
Springer
(1990)
ISBN 10 : 3540195815
ISBN 13 : 9783540195818
Neuf
Paperback
Quantité disponible : 2
Vendeur :
Evaluation vendeur
Description du livre Paperback. Etat : Brand New. 620 pages. 9.61x6.70x1.41 inches. In Stock. N° de réf. du vendeur x-3540195815
Acheter neuf
EUR 76,63
Autre devise
Image d'archives
Specification and Verification of Concurrent Systems
Edité par
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
(1990)
ISBN 10 : 3540195815
ISBN 13 : 9783540195818
Neuf
Couverture souple
Quantité disponible : 15
Vendeur :
Evaluation vendeur
Description du livre Etat : New. "Papers presented at the BCS-FACS Workshop on Specification and Verification of Concurrent Systems held on 6-8 July 1988, at the University of Stirling, Scotland"--Pref. Editor(s): Rattray, C. Num Pages: 612 pages, 13 black & white illustrations, biography. BIC Classification: UYF. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 244 x 170 x 32. Weight in Grams: 1204. . 1990. Paperback. . . . . N° de réf. du vendeur V9783540195818
Acheter neuf
EUR 78,72
Autre devise
Image fournie par le vendeur
Specification and Verification of Concurrent Systems
Edité par
Springer London
(1990)
ISBN 10 : 3540195815
ISBN 13 : 9783540195818
Neuf
Taschenbuch
Quantité disponible : 1
Vendeur :
Evaluation vendeur
Description du livre Taschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume contains papers presented at the BCS-FACS Workshop on Specification and Verification of Concurrent Systems held on 6-8 July 1988, at the University of Stirling, Scotland. Specification and verification techniques are playing an increasingly important role in the design and production of practical concurrent systems. The wider application of these techniques serves to identify difficult problems that require new approaches to their solution and further developments in specification and verification. The Workshop aimed to capture this interplay by providing a forum for the exchange of the experience of academic and industrial experts in the field. Presentations included: surveys, original research, practical experi ence with methods, tools and environments in the following or related areas: Object-oriented, process, data and logic based models and specifi cation methods for concurrent systems Verification of concurrent systems Tools and environments for the analysis of concurrent systems Applications of specification languages to practical concurrent system design and development. We should like to thank the invited speakers and all the authors of the papers whose work contributed to making the Workshop such a success. We were particularly pleased with the international response to our call for papers. Invited Speakers Pierre America Philips Research Laboratories University of Warwick Professor M. Joseph David Freestone British Telecom Organising Committee Charles Rattray Dr Muffy Thomas Dr Simon Jones Dr John Cooke Professor Ken Turner Derek Coleman Maurice Naftalin Dr Peter Scharbach vi Preface We would like to aeknowledge the finaneial eontribution made by SD-Sysems Designers pie, Camberley, Surrey. N° de réf. du vendeur 9783540195818
Acheter neuf
EUR 60,30
Autre devise
Image fournie par le vendeur
Specification and Verification of Concurrent Systems
Edité par
Springer London
(1990)
ISBN 10 : 3540195815
ISBN 13 : 9783540195818
Neuf
Couverture souple
Quantité disponible : > 20
Vendeur :
Evaluation vendeur
Description du livre Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This volume contains papers presented at the BCS-FACS Workshop on Specification and Verification of Concurrent Systems held on 6-8 July 1988, at the University of Stirling, Scotland. Specification and verification techniques are playing an increasingly impo. N° de réf. du vendeur 4884213
Acheter neuf
EUR 48,37
Autre devise
Image d'archives
Specification and Verification of Concurrent Systems (Workshops in Computing)
Edité par
Springer
(1990)
ISBN 10 : 3540195815
ISBN 13 : 9783540195818
Neuf
Couverture souple
Quantité disponible : 5
Vendeur :
Evaluation vendeur
Description du livre N° de réf. du vendeur STOCK12249668
Acheter neuf
EUR 92,29
Autre devise
Image d'archives
Specification and Verification of Concurrent Systems
Edité par
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
(1990)
ISBN 10 : 3540195815
ISBN 13 : 9783540195818
Neuf
Couverture souple
Quantité disponible : 15
Vendeur :
Evaluation vendeur
Description du livre Etat : New. "Papers presented at the BCS-FACS Workshop on Specification and Verification of Concurrent Systems held on 6-8 July 1988, at the University of Stirling, Scotland"--Pref. Editor(s): Rattray, C. Num Pages: 612 pages, 13 black & white illustrations, biography. BIC Classification: UYF. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 244 x 170 x 32. Weight in Grams: 1204. . 1990. Paperback. . . . . Books ship from the US and Ireland. N° de réf. du vendeur V9783540195818
Acheter neuf
EUR 97,74
Autre devise