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

76,30 €*

inkl. MwSt.

Versandkostenfrei per Post / DHL

Lieferzeit 1-2 Wochen

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: Importe, 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
Verantwortliche Person für die EU: Libri GmbH, Europaallee 1, D-36244 Bad Hersfeld, gpsr@libri.de
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: Importe, 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
Verantwortliche Person für die EU: Libri GmbH, Europaallee 1, D-36244 Bad Hersfeld, gpsr@libri.de
Maße: 229 x 152 x 10 mm
Von/Mit: Robin Milner
Erscheinungsdatum: 29.03.2019
Gewicht: 0,262 kg
Artikel-ID: 106631041
Sicherheitshinweis

Ähnliche Produkte

Ähnliche Produkte

Buch
Cover: 9781597492720 | Pattern Recognition | Konstantinos Koutroumbas (u. a.) | Buch | 2008
Pattern Recognition
EAN: 9781597492720
Sprache: Englisch
Von/Mit: Konstantinos Koutroumbas (u. a.)

114,95 €*

Lieferzeit 1-2 Wochen

Buch
Cover: 9783319103709 | Automated Firewall Analytics | Design, Configuration and Optimization
Automated Firewall Analytics
Design, Configuration and Optimization
EAN: 9783319103709
Sprache: Englisch
Von/Mit: Ehab Al-Shaer

91,40 €*

Lieferzeit 1-2 Wochen

Taschenbuch
Cover: 9781107565043 | Information Theory | Imre Csiszár (u. a.) | Taschenbuch | Englisch
Information Theory
EAN: 9781107565043
Sprache: Englisch
Von/Mit: Imre Csiszár (u. a.)

59,90 €*

Lieferzeit 1-2 Wochen

Taschenbuch
Cover: 9781786469847 | QlikView for Developers | Miguel Ángel García (u. a.) | Taschenbuch
QlikView for Developers
Design and build scalable and maintainable BI solutions
EAN: 9781786469847
Sprache: Englisch
Von/Mit: Miguel Ángel García (u. a.)

84,30 €*

Lieferzeit 1-2 Wochen

Taschenbuch
Cover: 9783834814272 | Bilddatenkompression | Tilo Strutz | Taschenbuch | xiii | Deutsch
Bilddatenkompression
Grundlagen, Codierung, Wavelets, JPEG, MPEG, H.264, HEVC
EAN: 9783834814272
Sprache: Deutsch
Von/Mit: Tilo Strutz

84,99 €*

Lieferzeit 4-7 Werktage

Taschenbuch
Cover: 9781788997454 | Java Deep Learning Projects | Md. Rezaul Karim | Taschenbuch | 2018
Java Deep Learning Projects
EAN: 9781788997454
Sprache: Englisch
Von/Mit: Md. Rezaul Karim

66,70 €*

Lieferzeit 1-2 Wochen

Taschenbuch
Cover: 9781119677628 | The Read Aloud Cloud | An Innocent's Guide to the Tech Inside | Buch
The Read Aloud Cloud
An Innocent's Guide to the Tech Inside
EAN: 9781119677628
Sprache: Englisch
Von/Mit: Forrest Brazeal

25,45 €*

Lieferzeit 1-2 Wochen

Buch
Cover: 9783982103846 | Token Economy | Shermin Voshmgir | Buch | Gebunden | Englisch | 2020
Token Economy
How the Web3 reinvents the Internet: How the Web3 reinvents the Internet
EAN: 9783982103846
Sprache: Englisch
Von/Mit: Shermin Voshmgir

58,80 €*

Lieferzeit 1-2 Wochen

Taschenbuch
Cover: 9781801072694 | Google Cloud Certified Professional Cloud Network Engineer Guide
Google Cloud Certified Professional Cloud Network Engineer Guide
Design, implement, manage, and secure a network architecture in Google Cloud
EAN: 9781801072694
Sprache: Englisch
Von/Mit: Maurizio Ipsale (u. a.)

59,80 €*

Lieferzeit 1-2 Wochen

Taschenbuch
Cover: 9783734709326 | Künstliche Intelligenz | Das Wichtigste, was Du wissen musst | Simon
Künstliche Intelligenz
Das Wichtigste, was Du wissen musst
EAN: 9783734709326
Sprache: Deutsch
Von/Mit: Walter Simon

18,95 €*

Lieferzeit 2-4 Werktage

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