SULJE VALIKKO

avaa valikko

Ryszard Janicki | Akateeminen Kirjakauppa

Haullasi löytyi yhteensä 6 tuotetta
Haluatko tarkentaa hakukriteerejä?



Specification and Analysis of Concurrent Systems: The COSY Approach
Ryszard Janicki; Peter E. Lauer
Springer (1992)
Kovakantinen kirja
80,80
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Paradigms of Concurrency
Janicki Ryszard Janicki; Kleijn Jetty Kleijn; Koutny Maciej Koutny
Springer Nature B.V. (2022)
Pehmeäkantinen kirja
115,40
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Specification and Analysis of Concurrent Systems - The COSY Approach
Ryszard Janicki; Peter E. Lauer
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2011)
Pehmeäkantinen kirja
97,90
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Application and Theory of Petri Nets and Concurrency - 41st International Conference, PETRI NETS 2020, Paris, France, June 24–25
Ryszard Janicki; Natalia Sidorova; Thomas Chatain
Springer Nature Switzerland AG (2020)
Pehmeäkantinen kirja
49,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Paradigms of Concurrency - Observations, Behaviours, and Systems — a Petri Net View
Ryszard Janicki; Jetty Kleijn; Maciej Koutny; Łukasz Mikulski
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2022)
Kovakantinen kirja
129,90
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Rough Sets and Knowledge Technology - 7th International Conference, RSKT 2012, Chengdu, China, August 17-20, 2012, Proceedings
Tianrui Li; Hung Son Nguyen; Guoyin Wang; Jerzy W. Grzymala-Busse; Ryszard Janicki; Aboul Ella Hassanien; Hong Yu
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2012)
Pehmeäkantinen kirja
49,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Specification and Analysis of Concurrent Systems: The COSY Approach
80,80 €
Springer
Sivumäärä: 480 sivua
Asu: Kovakantinen kirja
Julkaisuvuosi: 1992, 03.09.1992 (lisätietoa)
Kieli: Englanti
Concurrent systems abound in human experience but their
fully adequate conceptualization as yet eludes our most able
thinkers. The COSY (ConcurrentSystem) notation and theory
was developed in the last decade as one of a number of
mathematical approaches for conceptualizing and analyzing
concurrent and reactive systems.
The COSY approach extends theconventional notions of
grammar and automaton from formal language and automata
theory to collections of "synchronized" grammars and
automata, permitting system specification and analysis of
"true" concurrency without reduction to non-determinism.
COSY theory is developed to a great level of detail and
constitutes the first uniform and self-contained
presentationof all results about COSY published in the
past, as well as including many new results.
COSY theory is used to analyze a sufficient number of
typical problems involving concurrency, synchronization and
scheduling, to allow the reader to apply the techniques
presented tosimilar problems.
The COSY model is also related to many alternative models of
concurrency, particularly Petri Nets, Communicating
Sequential Processes and the Calculus of Communicating
Systems.

Loppuunmyyty
Myymäläsaatavuus
Helsinki
Tapiola
Turku
Tampere
Specification and Analysis of Concurrent Systems: The COSY Approach
Näytä kaikki tuotetiedot
ISBN:
9783540552048
Sisäänkirjautuminen
Kirjaudu sisään
Rekisteröityminen
Oma tili
Omat tiedot
Omat tilaukset
Omat laskut
Lisätietoja
Asiakaspalvelu
Tietoa verkkokaupasta
Toimitusehdot
Tietosuojaseloste