Semantics of systems of concurrent processes : proceedings. LITP Spring School on Theoretical Computer Science, La Roche Posay, France, April 23 - 27, 1990. I. Guessarian (ed.), Lecture notes in computer science

ISBN 10: 3540534792 / ISBN 13: 9783540534792

Published by Berlin , Heidelberg , New York , London , Paris , Tokyo , Hong Kong , Barcelona : Springer, 1990

About this Item

IV, 456 S. : graph. Darst. , 25 cm Sofort verfügbar / Versand spätestens am nächsten Arbeitstag / Rechnung mit ausgewiesener MwSt. liegt bei / daily shipping worldwide with invoice / ex library in good condition / aus Bibliothek in guten Zustand/, Literaturangaben. - Später zeitschr.-artige Reihe mit Stücktiteln. - Später auch angezeigt u.d.T.: Laboratoire d'Informatique Théorique et Programmation : . Spring school Sprache: Englisch Gewicht in Gramm: 550.

Seller Inventory # 183435

Bibliographic Details

• Title: Semantics of systems of concurrent processes : proceedings. LITP Spring School on Theoretical Computer Science, La Roche Posay, France, April 23 - 27, 1990. I. Guessarian (ed.), Lecture notes in computer science
• Publisher: Berlin , Heidelberg , New York , London , Paris , Tokyo , Hong Kong , Barcelona : Springer
• Publication Date: 1990
• Language: English
• ISBN 10: 3540534792
• ISBN 13: 9783540534792
• Binding: kart.
• Condition: Gut
• Seller catalogs:
  • Alle Bücher

About this title

Synopsis

This volume is the proceedings of a 1990 Spring School devoted to the semantics of concurrency. Surveys and tutorials introduce the subject to novices and students and give updates of the state of the art, and research papers present recent achievements in the field.