- 5 Ergebnisse
Kleinster Preis: € 67,32, größter Preis: € 85,49, Mittelwert: € 76,60
1
Understanding Concurrent Systems - Tibor Kunert
Bestellen
bei hive.co.uk
£ 59,49
(ca. € 67,32)
Bestellengesponserter Link
Tibor Kunert:

Understanding Concurrent Systems - neues Buch

ISBN: 9781848822580

CSP notation has been used extensively for teaching and applying concurrency theory, ever since the publication of the text Communicating Sequential Processes by C.A.R.Hoare in 1985. Both… Mehr…

No. 9781848822580. Versandkosten:Instock, Despatched same working day before 3pm, zzgl. Versandkosten.
2
Understanding Concurrent Systems - A.W. Roscoe
Bestellen
bei Springer.com
€ 67,40
Versand: € 0,001
Bestellengesponserter Link

A.W. Roscoe:

Understanding Concurrent Systems - neues Buch

ISBN: 9781848822580

CSP notation has been used extensively for teaching and applying concurrency theory, ever since the publication of the text Communicating Sequential Processes by C.A.R. Hoare in 1985. Bot… Mehr…

new in stock. Versandkosten:zzgl. Versandkosten. (EUR 0.00)
3
Understanding Concurrent Systems - A. W. Roscoe
Bestellen
bei eBook.de
€ 85,49
Versand: € 0,001
Bestellengesponserter Link
A. W. Roscoe:
Understanding Concurrent Systems - neues Buch

ISBN: 9781848822580

Understanding Concurrent Systems: ab 85.49 € eBooks > Sachthemen & Ratgeber > Computer & Internet Springer-Verlag GmbH, Springer-Verlag GmbH

Versandkosten:in stock, , , DE. (EUR 0.00)
4
Understanding Concurrent Systems - A.W. Roscoe
Bestellen
bei lehmanns.de
€ 83,29
Versand: € 0,001
Bestellengesponserter Link
A.W. Roscoe:
Understanding Concurrent Systems - Erstausgabe

2010, ISBN: 9781848822580

eBooks, eBook Download (PDF), Auflage, [PU: Springer London], [ED: 1], Springer London, 2010

Versandkosten:Download sofort lieferbar. (EUR 0.00)
5
Bestellen
bei lehmanns.de
€ 79,49
Versand: € 0,001
Bestellengesponserter Link
A.W. Roscoe:
Understanding Concurrent Systems - Erstausgabe

2010, ISBN: 9781848822580

[ED: 1], Auflage, eBook Download (PDF), eBooks, [PU: Springer London]

Versandkosten:Download sofort lieferbar, , Versandkostenfrei innerhalb der BRD. (EUR 0.00)

1Da einige Plattformen keine Versandkonditionen übermitteln und diese vom Lieferland, dem Einkaufspreis, dem Gewicht und der Größe des Artikels, einer möglichen Mitgliedschaft der Plattform, einer direkten Lieferung durch die Plattform oder über einen Drittanbieter (Marketplace), etc. abhängig sein können, ist es möglich, dass die von eurobuch angegebenen Versandkosten nicht mit denen der anbietenden Plattform übereinstimmen.

Bibliographische Daten des bestpassenden Buches

Details zum Buch

Detailangaben zum Buch - Understanding Concurrent Systems


EAN (ISBN-13): 9781848822580
Erscheinungsjahr: 10
Herausgeber: Springer London

Buch in der Datenbank seit 2008-07-08T04:58:51+02:00 (Berlin)
Detailseite zuletzt geändert am 2023-03-14T12:22:53+01:00 (Berlin)
ISBN/EAN: 9781848822580

ISBN - alternative Schreibweisen:
978-1-84882-258-0
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: roscoe


Daten vom Verlag:

Autor/in: A.W. Roscoe
Titel: Texts in Computer Science; Understanding Concurrent Systems; Theory and Practice of Concurrency
Verlag: Springer; Springer London
530 Seiten
Erscheinungsjahr: 2010-10-10
London; GB
Gedruckt / Hergestellt in Großbritannien.
Sprache: Englisch
53,49 € (DE)
59,00 CHF (CH)
Available
XVIII, 530 p.

EA; E107; eBook; Nonbooks, PBS / Informatik, EDV/Betriebssysteme, Benutzeroberflächen; Betriebssysteme; Verstehen; Notation; Variable; communicating sequential process; communication; computer; concurrency; concurrency theory; information; linear optimization; modeling; process algebra; programming; programming language; semantics; verification; C; Operating Systems; Logics and Meanings of Programs; Operating Systems; Computer Science Logic and Foundations of Programming; Computer Science; Theoretische Informatik; BB

Part I: A Foundation Course in CSP Building a Simple Sequential Process Understanding CSP Parallel Operators CSP Case Studies Hiding and Renaming Beyond Traces Further Operators Using FDR Part II: Theory Operational Semantics Denotational Semantics and Behavioural Models Finite Observation Models Infinite-behaviour Models The Algebra of CSP Part III: Using CSP Timed Systems 1: tock-CSP Timed Systems 2: Discrete Timed CSP More About FDR State Explosion and Parameterised Verification Part IV: Exploring Concurrency Shared-variable Programs Understanding Shared-variable Concurrency Priority and Mobility

Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:

Neuestes ähnliches Buch:
9781447126003 Understanding Concurrent Systems by A.w. Roscoe Paperback | Indigo Chapters (A. W. Roscoe)


< zum Archiv...