Zur Startseite gehen
0,00 €*
Cover: 9780521658690 | Communicating and Mobile Systems | Robin Milner | Taschenbuch | 2019
Dekorationsartikel gehören nicht zum Leistungsumfang.
Communicating and Mobile Systems
Taschenbuch von Robin Milner
Sprache: Englisch

71,60 €*

inkl. MwSt.

Versandkostenfrei per Post / DHL

Aktuell nicht verfügbar

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
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
Artikel-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
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
Artikel-ID: 106631041
Warnhinweis

Ähnliche Produkte

Ähnliche Produkte

Buch
Cover: 9783642166099 | Elektromagnetische Verträglichkeit | Adolf J. Schwab (u. a.) | Buch
Elektromagnetische Verträglichkeit
EAN: 9783642166099
Sprache: Deutsch
Von/Mit: Wolfgang Kürner (u. a.)

149,99 €*

Lieferzeit 1-2 Wochen

Taschenbuch
Cover: 9781783986545 | Boost.Asio C++ Network Programming Cookbook | Dmytro Radchuk | Buch
Boost.Asio C++ Network Programming Cookbook
Over 25 hands-on recipes to create robust and highly-efficient cross-platform distributed applications with the...
EAN: 9781783986545
Sprache: Englisch
Von/Mit: Dmytro Radchuk

63,95 €*

Lieferzeit 1-2 Wochen

Buch
Cover: 9781259644696 | Antenna Engineering Handbook | John Volakis | Buch | Englisch | 2018
Antenna Engineering Handbook
EAN: 9781259644696
Sprache: Englisch
Von/Mit: John Volakis

223,95 €*

Lieferzeit 1-2 Wochen

Buch
Cover: 9781108480727 | Machine Learning Refined | Jeremy Watt | Buch | Englisch | 2020
Machine Learning Refined
EAN: 9781108480727
Sprache: Englisch
Von/Mit: Jeremy Watt

84,95 €*

Lieferzeit 1-2 Wochen

Taschenbuch
Cover: 9783658305161 | IT-Prüfung, Datenschutzaudit und Kennzahlen für die Sicherheit | Sowa
IT-Prüfung, Datenschutzaudit und Kennzahlen für die Sicherheit
Neue Ansätze für die IT-Revision
EAN: 9783658305161
Sprache: Deutsch
Von/Mit: Aleksandra Sowa

49,99 €*

Lieferzeit 2-3 Wochen

Buch
Cover: 9781777005467 | Machine Learning Engineering | Andriy Burkov | Buch | Englisch | 2020
Machine Learning Engineering
EAN: 9781777005467
Sprache: Englisch
Von/Mit: Andriy Burkov

96,90 €*

Aktuell nicht verfügbar

Taschenbuch
Cover: 9781803234083 | iOS Forensics for Investigators | Gianluca Tiepolo | Taschenbuch
iOS Forensics for Investigators
Take mobile forensics to the next level by analyzing, extracting, and reporting sensitive evidence
EAN: 9781803234083
Sprache: Englisch
Von/Mit: Gianluca Tiepolo

56,95 €*

Lieferzeit 1-2 Wochen

Taschenbuch
Cover: 9781009014809 | Python for Scientists | John M. Stewart (u. a.) | Taschenbuch | 2023
Python for Scientists
EAN: 9781009014809
Sprache: Englisch
Von/Mit: John M. Stewart (u. a.)

38,95 €*

Lieferzeit 1-2 Werktage

Bundle
Cover: 9783662689516 | Communications-Based Train Control (CBTC) | Lars Schnieder | Bundle
Communications-Based Train Control (CBTC)
Komponenten, Funktionen und Betrieb
EAN: 9783662689516
Sprache: Deutsch
Von/Mit: Lars Schnieder

54,99 €*

Lieferzeit 1-2 Werktage

Taschenbuch
Cover: 9781032538334 | The Metaverse for Learning and Education | David Burden (u. a.) | Buch
The Metaverse for Learning and Education
EAN: 9781032538334
Sprache: Englisch
Von/Mit: David Burden (u. a.)

57,30 €*

Lieferzeit 1-2 Wochen

Diese Website verwendet Cookies, um eine bestmögliche Erfahrung bieten zu können. Mehr Informationen ...