Dekorationsartikel gehören nicht zum Leistungsumfang.
Communicating and Mobile Systems
Taschenbuch von Robin Milner
Sprache: Englisch

73,80 €*

inkl. MwSt.

Versandkostenfrei per Post / DHL

Lieferzeit 4-7 Werktage

Kategorien:
Beschreibung
First account of new theory of communication in computing which describes networks, as well as parts of computer systems.
First account of new theory of communication in computing which describes networks, as well as parts of computer systems.
Inhaltsverzeichnis
Glossary; Part I. Communicating Systems: 1. Introduction; 2. Behaviour of automata; 3. Sequential processes and bisimulation; 4. Concurrent processes and reaction; 5. Transitions and strong equivalence; 6. Observation equivalence: theory; 7. Observation equivalence: examples; Part II. The ¿-Calculus: 8. What is mobility? 9. The ¿-calculus and reaction; 10. Applications of the ¿-calculus; 11. Sorts, objects and functions; 12. Commitments and strong bisimulation; 13. Observation equivalence and examples; 14. Discussion and related work; Bibliography; Index.
Details
Erscheinungsjahr: 2019
Fachbereich: EDV
Genre: Informatik
Rubrik: Naturwissenschaften & Technik
Medium: Taschenbuch
Seiten: 174
ISBN-13: 9780521658690
ISBN-10: 0521658691
Sprache: Englisch
Ausstattung / Beilage: Paperback
Einband: Kartoniert / Broschiert
Autor: Milner, Robin
Hersteller: Cambridge University Press
Maße: 229 x 152 x 10 mm
Von/Mit: Robin Milner
Erscheinungsdatum: 29.03.2019
Gewicht: 0,262 kg
preigu-id: 106631041
Inhaltsverzeichnis
Glossary; Part I. Communicating Systems: 1. Introduction; 2. Behaviour of automata; 3. Sequential processes and bisimulation; 4. Concurrent processes and reaction; 5. Transitions and strong equivalence; 6. Observation equivalence: theory; 7. Observation equivalence: examples; Part II. The ¿-Calculus: 8. What is mobility? 9. The ¿-calculus and reaction; 10. Applications of the ¿-calculus; 11. Sorts, objects and functions; 12. Commitments and strong bisimulation; 13. Observation equivalence and examples; 14. Discussion and related work; Bibliography; Index.
Details
Erscheinungsjahr: 2019
Fachbereich: EDV
Genre: Informatik
Rubrik: Naturwissenschaften & Technik
Medium: Taschenbuch
Seiten: 174
ISBN-13: 9780521658690
ISBN-10: 0521658691
Sprache: Englisch
Ausstattung / Beilage: Paperback
Einband: Kartoniert / Broschiert
Autor: Milner, Robin
Hersteller: Cambridge University Press
Maße: 229 x 152 x 10 mm
Von/Mit: Robin Milner
Erscheinungsdatum: 29.03.2019
Gewicht: 0,262 kg
preigu-id: 106631041
Warnhinweis

Ähnliche Produkte

Ähnliche Produkte