Springer Nature
Linear Time, Branching Time And Partial Order In Logics And Models For Concurrency
Miglior prezzo disponibile
105,49€
Springer Nature · Spedizione gratuita
VISAPayPal
Prezzi aggiornati
Specifiche
MarcaSpringer Nature
CondizioneNuovo
Descrizione
This volume is based on the "School/Workshop on Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency" organized by the editors and held in the period May 30-June 3, 1988 at Noordwijkerhout, The Netherlands. The School/Workshop was an activity of the project REX - Research and Education in Concurrent Systems. The volume contains tutorials and research contributions to the three approaches - linear time, - branching time, and - partial order in semantics and proof theory of concurrent programs by the main specialists in this field. It promotes an in-depth understanding of the relative merits and disadvantages of these three approaches. An introduction to the recent literature on the subject is provided by the invited research contributions.
Storico prezzi
Ricevi una notifica se il prezzo scende
Ti invieremo un'email quando il prezzo di questo prodotto diminuirà.
- Aggiornamenti dei prezzi in tempo reale
- Oltre 50 negozi monitorati
- Avvisi gratuiti di calo prezzo
- Solo negozi verificati
Avvisami quando il prezzo scende sotto: 105,49€
Prodotti simili
Una selezione di prodotti che potrebbero interessarti. Guarda tutti
Linear Time, Branching Time And Partial Order In Logics And Models For Concurrency
85,59€
Linear Models For Multivariate, Time Series, And Spatial Data
67,40€
Research Papers In Statistical Inference For Time Series And Related Models
192,59€
The Method Of Discretization In Time And Partial Differential Equations
105,49€
Linear Algebra For Large Scale And Real-Time Applications
84,39€
Threshold Models In Non-Linear Time Series Analysis
105,49€
Run-Time Models For Self-Managing Systems And Applications
52,74€
Financial Pricing Models In Continuous Time And Kalman Filtering
36,99€