Deutsch
Deutschland
Anmelden
Tipp von eurobuch.com
Ähnliche Bücher
Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Buch verkaufen
Anbieter, die das Buch mit der ISBN 9780521018456 ankaufen:
Suchtools
Buchtipps
Aktuelles
FILTER
- 0 Ergebnisse
Kleinster Preis: 46,62 €, größter Preis: 62,52 €, Mittelwert: 54,65 €
Nets, Terms and Formulas: Three Views of Concurrent Processes and their Relationship (Cambridge Tracts in Theoretical Computer Science) - E. -R. Olderog
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
E. -R. Olderog:
Nets, Terms and Formulas: Three Views of Concurrent Processes and their Relationship (Cambridge Tracts in Theoretical Computer Science) - gebrauchtes Buch

ISBN: 0521018455

ID: 6352822

The author presents a theory whereby nets, terms and formulas represent concurrent process at three levels of abstractions: Petri nets are used to describe all details of the operational machine behavior of processes. Algebraic process terms such as Calculus of Communicating Systems (CCS) or Communicating Sequential Processes (CSP) two of the main models for parallel programming, are used to describe the architecture of processes, i.e. how they can be composed from subprocesses. Logical formulas of a first-order trace logic are used to describe the safety and liveness aspects of the communication behavior of processes as required by their users. The main emphasis and technical contribution of this theory are transformations for a top-down design of concurrent processes starting with formulas and proceeding through terms to nets. computers and technology,education and reference,languages and tools,networking,networks protocols and apis,parallel processing computers,programming,software design testing and engineering,software development Computers & Technology, Cambridge University Press

gebrauchtes bzw. antiquarisches Buch Thriftbooks.com
used Versandkosten:zzgl. Versandkosten
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
Nets, Terms and Formulas: Three Views of Concurrent Processes and Their Relationship - Olderog, E R, and Van Rijsbergen, C J (Editor), and Abramsky, Samson (Editor)
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Olderog, E R, and Van Rijsbergen, C J (Editor), and Abramsky, Samson (Editor):
Nets, Terms and Formulas: Three Views of Concurrent Processes and Their Relationship - Taschenbuch

2005, ISBN: 9780521018456

ID: 11298824308

Trade paperback, New., Trade paperback (US). Glued binding. 280 p. Contains: Illustrations, black & white. Cambridge Tracts in Theoretical Computer Science (Paperback), 23., Cambridge, [PU: Cambridge University Press]

Neues Buch Alibris.com
Alibris
Versandkosten:zzgl. Versandkosten
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
Nets, Terms and Formulas: Three Views of Concurrent Processes and their Relationship (Cambridge Tracts in Theoretical Computer Science) - E. -R. Olderog
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
E. -R. Olderog:
Nets, Terms and Formulas: Three Views of Concurrent Processes and their Relationship (Cambridge Tracts in Theoretical Computer Science) - Taschenbuch

2005, ISBN: 9780521018456

ID: 496422612

Cambridge University Press, 2005-08-22. Paperback. Used:Good. Buy with confidence. Excellent Customer Service & Return policy. Ships Fast. 24*7 Customer Service., Cambridge University Press, 2005-08-22

gebrauchtes bzw. antiquarisches Buch Biblio.com
Ergodebooks
Versandkosten: EUR 14.17
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
Nets, Terms and Formulas: Three Views of Concurrent Processes and their Relationship (Cambridge Tracts in Theoretical Computer Science) - E. -R. Olderog
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
E. -R. Olderog:
Nets, Terms and Formulas: Three Views of Concurrent Processes and their Relationship (Cambridge Tracts in Theoretical Computer Science) - Taschenbuch

2005, ISBN: 9780521018456

ID: 496422612

Cambridge University Press, 2005-08-22. Paperback. Good., Cambridge University Press, 2005-08-22

gebrauchtes bzw. antiquarisches Buch Biblio.com
Ergodebooks
Versandkosten: EUR 12.74
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
Nets, Terms and Formulas: Three Views of Concurrent Processes and their Relationship (Cambridge Tracts in Theoretical Computer Science) - E. -R. Olderog
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
E. -R. Olderog:
Nets, Terms and Formulas: Three Views of Concurrent Processes and their Relationship (Cambridge Tracts in Theoretical Computer Science) - Taschenbuch

ISBN: 9780521018456

ID: 972652576

Cambridge University Press. Paperback. New. NEW BOOK, Cambridge University Press

gebrauchtes bzw. antiquarisches Buch Biblio.com
Bookshopee
Versandkosten: EUR 17.83
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.

Details zum Buch
Nets, Terms and Formulas: Three Views of Concurrent Processes and Their Relationship

The author presents a theory whereby nets, terms and formulas represent concurrent processes at three levels of abstraction.

Detailangaben zum Buch - Nets, Terms and Formulas: Three Views of Concurrent Processes and Their Relationship


EAN (ISBN-13): 9780521018456
ISBN (ISBN-10): 0521018455
Taschenbuch
Erscheinungsjahr: 2005
Herausgeber: CAMBRIDGE UNIV PR
280 Seiten
Gewicht: 0,449 kg
Sprache: eng/Englisch

Buch in der Datenbank seit 20.12.2007 20:20:41
Buch zuletzt gefunden am 18.10.2017 14:03:19
ISBN/EAN: 9780521018456

ISBN - alternative Schreibweisen:
0-521-01845-5, 978-0-521-01845-6


< zum Archiv...
Benachbarte Bücher