Edité par Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 1990
ISBN 10 : 3540195815 ISBN 13 : 9783540195818
Vendeur : Ammareal, Morangis, France
Softcover. Etat : Très bon. Ancien livre de bibliothèque. Edition 1990. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 1990. Ammareal gives back up to 15% of this item's net price to charity organizations.
Edité par Springer, 1990
ISBN 10 : 3540195815 ISBN 13 : 9783540195818
Vendeur : booksXpress, Bayonne, NJ, Etats-Unis
Soft Cover. Etat : new. This item is printed on demand.
Edité par Springer, 1990
ISBN 10 : 3540195815 ISBN 13 : 9783540195818
Vendeur : Lucky's Textbooks, Dallas, TX, Etats-Unis
Etat : New.
Edité par Springer, 1990
ISBN 10 : 3540195815 ISBN 13 : 9783540195818
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Etat : New.
Edité par Springer 23.07.1990., 1990
ISBN 10 : 3540195815 ISBN 13 : 9783540195818
Vendeur : NEPO UG, Rüsselsheim am Main, Allemagne
Etat : Gut. Auflage: 1st Edition. 624 Seiten ex Library Book / aus einer wissenschafltichen Bibliothek / Sprache: Englisch Gewicht in Gramm: 1193 24,4 x 17,0 x 3,6 cm, Taschenbuch.
Edité par Springer, 1990
ISBN 10 : 3540195815 ISBN 13 : 9783540195818
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Etat : New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book.
Edité par Springer, 1990
ISBN 10 : 3540195815 ISBN 13 : 9783540195818
Vendeur : GreatBookPricesUK, Castle Donington, DERBY, Royaume-Uni
Etat : New.
Edité par Springer London, 1990
ISBN 10 : 3540195815 ISBN 13 : 9783540195818
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
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.
Edité par Springer, 1990
ISBN 10 : 3540195815 ISBN 13 : 9783540195818
Vendeur : Revaluation Books, Exeter, Royaume-Uni
Paperback. Etat : Brand New. 620 pages. 9.61x6.70x1.41 inches. In Stock.
Edité par Springer London, 1990
ISBN 10 : 3540195815 ISBN 13 : 9783540195818
Vendeur : moluna, Greven, Allemagne
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.
Edité par Springer London Jul 1990, 1990
ISBN 10 : 3540195815 ISBN 13 : 9783540195818
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 624 pp. Englisch.
Edité par Springer 1990-07, 1990
ISBN 10 : 3540195815 ISBN 13 : 9783540195818
Vendeur : Chiron Media, Wallingford, Royaume-Uni
PF. Etat : New.
Edité par Springer, 1990
ISBN 10 : 3540195815 ISBN 13 : 9783540195818
Vendeur : GreatBookPricesUK, Castle Donington, DERBY, Royaume-Uni
Etat : As New. Unread book in perfect condition.
Edité par Springer, 1990
ISBN 10 : 3540195815 ISBN 13 : 9783540195818
Vendeur : Mispah books, Redhill, SURRE, Royaume-Uni
Paperback. Etat : Like New. Like New. book.
Edité par Springer, 1990
ISBN 10 : 3540195815 ISBN 13 : 9783540195818
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Etat : As New. Unread book in perfect condition.