Radu Mardare (21 results)
Models, Algorithms, Logics and Tools : Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday
Aceto, Luca (EDT); Bacci, Giorgio (EDT); Bacci, Giovanni (EDT); Ingólfsdóttir, Anna (EDT); Legay, Axel (EDT)
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
£ 52.49
£ 1.95 shippingShips within U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
- Softcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
£ 50.80
£ 11.98 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In.
- Softcover
Seller: Chiron Media, Wallingford, United KingdomChiron Media
Contact seller5-star sellerCondition: New
£ 48.07
£ 15.49 shippingShips from United Kingdom to U.S.A.Quantity: 10 available
PF. Condition: New.
Models, Algorithms, Logics and Tools : Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday
Aceto, Luca (EDT); Bacci, Giorgio (EDT); Bacci, Giovanni (EDT); Ingólfsdóttir, Anna (EDT); Legay, Axel (EDT)
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
£ 63.98
£ 1.95 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
Models, Algorithms, Logics and Tools : Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday
Aceto, Luca (EDT); Bacci, Giorgio (EDT); Bacci, Giovanni (EDT); Ingólfsdóttir, Anna (EDT); Legay, Axel (EDT)
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: New
£ 50.55
£ 15.00 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New.
- Softcover
Seller: Kennys Bookshop and Art Galleries Ltd., Galway, GY, IrelandKennys Bookshop and Art Galleries Ltd.
Contact seller5-star sellerCondition: New
£ 63.37
£ 8.17 shippingShips from Ireland to U.S.A.Quantity: 15 available
Condition: New.
Models, Algorithms, Logics and Tools : Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday
Aceto, Luca (EDT); Bacci, Giorgio (EDT); Bacci, Giovanni (EDT); Ingólfsdóttir, Anna (EDT); Legay, Axel (EDT)
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: Used - As new
£ 55.90
£ 15.00 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
- Softcover
Seller: Kennys Bookstore, Olney, MD, U.S.A.Kennys Bookstore
Contact seller5-star sellerCondition: New
£ 76.02
£ 7.76 shippingShips within U.S.A.Quantity: 15 available
Condition: New.
Language: English
Published by Springer International Publishing, Springer International Publishing, 2017
- Softcover
Seller: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH
Contact seller5-star sellerCondition: New
£ 47.35
£ 55.93 shippingShips from Germany to U.S.A.Quantity: 1 available
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This Festschrift is published in honor of Kim Guldstrand Larsen, one of the earliest precursors of computer science in Denmark, on the occasion of his 60th birthday. During the last three decades, Kim Guldstrand Larsen has given major contributions…across a remarkably wide range of topics, including real-time, concurrent,and probabilistic models of computation, logic in computer science, andmodel checking. Since 1995, he has been one of the prime movers behind the modelchecking tool for real-time systems UPPAAL, for which he was a co-recipient ofthe CAV Award in 2013.The Festschrift contains 32 papers that feature the broad range of Kim Guldstrand Larsen's research topics, such as formal languages and automata theory; logic; verification, model checking and testing; algorithmic game theory and mechanism design; semantics and reasoning; real-time and distributed systems; and modeling and simulation.
- Softcover
Seller: preigu, Osnabrück, Germanypreigu
Contact seller5-star sellerCondition: New
£ 44.66
£ 60.17 shippingShips from Germany to U.S.A.Quantity: 5 available
Taschenbuch. Condition: Neu. Models, Algorithms, Logics and Tools | Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday | Luca Aceto (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xvii | Englisch | 2017 | Springer | EAN 9783319631202 | Verantwortliche Person für die EU: Springer Verlag Gmb…H, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
- Softcover
Seller: preigu, Osnabrück, Germanypreigu
Contact seller5-star sellerCondition: New
£ 58.88
£ 60.17 shippingShips from Germany to U.S.A.Quantity: 5 available
Taschenbuch. Condition: Neu. Logical Analysis of Complex Concurrent Systems | Dynamic-Epistemic Spatial Logics for Process Algebras | Radu Mardare | Taschenbuch | 244 S. | Englisch | 2010 | LAP LAMBERT Academic Publishing | EAN 9783838388984 | Verantwortliche Person für die EU: BoD - Books on Demand, In de Tarpen 42, 22848 Norde…rstedt, info[at]bod[dot]de | Anbieter: preigu.
- Softcover
Seller: Mispah books, Redhill, SURRE, United KingdomMispah books
Contact seller4-star sellerCondition: New
£ 142.00
£ 25.00 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Paperback. Condition: New. NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
- Softcover
Seller: Mispah books, Redhill, SURRE, United KingdomMispah books
Contact seller4-star sellerCondition: Used - As new
£ 146.00
£ 25.00 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Paperback. Condition: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
Language: English
Published by Springer International Publishing Jul 2017, 2017
- Softcover
- Print on Demand
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermanyBuchWeltWeit Ludwig Meier e.K.
Contact seller5-star sellerCondition: New
£ 47.35
£ 19.77 shippingShips from Germany to U.S.A.Quantity: 2 available
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This Festschrift is published in honor of Kim Guldstrand Larsen, one of the earliest precursors of computer science in Denmark, on the occasion of his 60th birthday. During the last three decades, Kim Guldstrand Larsen has given maj…or contributionsacross a remarkably wide range of topics, including real-time, concurrent,and probabilistic models of computation, logic in computer science, andmodel checking. Since 1995, he has been one of the prime movers behind the modelchecking tool for real-time systems UPPAAL, for which he was a co-recipient ofthe CAV Award in 2013.The Festschrift contains 32 papers that feature the broad range of Kim Guldstrand Larsen's research topics, such as formal languages and automata theory; logic; verification, model checking and testing; algorithmic game theory and mechanism design; semantics and reasoning; real-time and distributed systems; and modeling and simulation. 680 pp. Englisch.
Models, Algorithms, Logics and Tools
Aceto, Luca|Bacci, Giorgio|Bacci, Giovanni|Ingólfsdóttir, Anna|Legay, Axel|Mardare, Radu
- Softcover
- Print on Demand
Seller: moluna, Greven, Germanymoluna
Contact seller5-star sellerCondition: New
£ 42.82
£ 42.11 shippingShips from Germany to U.S.A.Quantity: Over 20 available
Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Contains papers dedicated to Kim Guldstrand LarsenFeatures the broad range of Kim Guldstrand Larsen s research topics, including real-time, concurrent, and probabilistic models of computation, logic in computer sc…ience, and model checking.
Language: English
Published by LAP LAMBERT Academic Publishing Aug 2010, 2010
- Softcover
- Print on Demand
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermanyBuchWeltWeit Ludwig Meier e.K.
Contact seller5-star sellerCondition: New
£ 69.94
£ 19.77 shippingShips from Germany to U.S.A.Quantity: 2 available
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book proposes a logical framework to specify and analyze the knowledge of the observers of a concurrent-distributed computational system. Such a system could be a computer network, a financial market, a biological/ecological sy…stem, or a social network. The system is observed by agents who are trying to obtain information about it and about the other observers the competitors. The logical framework allows one to analyze the flux of information in this kind of scenarios and to design strategies to obtain or exchange information. It is a framework conceived for addressing questions regarding communication and security issues. Formally, this work combines two successful paradigms from Computer Science: Process Algebras and Dynamic-Epistemic Logics. Starting from the observation that Process Algebras generalize the modal Kripke structures, this work proposes the Dynamic-Epistemic Spatial Logics which extend the Dynamic-Epistemic Logics developed for epistemic Kripke structures to the more general case of Process Algebras. Thus, this new class of logics combines features of process logics such as Hennessy- Milner and Spatial Logics with Epistemic Logic. 244 pp. Englisch.
- Softcover
- Print on Demand
Seller: moluna, Greven, Germanymoluna
Contact seller5-star sellerCondition: New
£ 56.14
£ 42.11 shippingShips from Germany to U.S.A.Quantity: Over 20 available
Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Autor/Autorin: Mardare RaduRadu Mardare is a researcher at the Microsoft Research centre in Trento, Italy. He received his PhD in Computer Science from the University of Trento, holds a Master of Science in logic from… Bucharest University and two b.
- Softcover
- Print on Demand
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germanybuchversandmimpf2000
Contact seller5-star sellerCondition: New
£ 47.35
£ 51.57 shippingShips from Germany to U.S.A.Quantity: 1 available
Taschenbuch. Condition: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This Festschrift is published in honor of Kim Guldstrand Larsen, one of the earliest precursors of computer science in Denmark, on the occasion of his 60th birthday. During the last three decades, Kim Guldstrand Larsen has given major c…ontributions across a remarkably wide range of topics, including real-time, concurrent, and probabilistic models of computation, logic in computer science, and model checking. Since 1995, he has been one of the prime movers behind the model checking tool for real-time systems UPPAAL, for which he was a co-recipient of the CAV Award in 2013.The Festschrift contains 32 papers that feature the broad range of Kim Guldstrand Larsen's research topics, such as formal languages and automata theory; logic; verification, model checking and testing; algorithmic game theory and mechanism design; semantics and reasoning; real-time and distributed systems; and modeling and simulation.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 680 pp. Englisch.
- Softcover
- Print on Demand
Seller: Brook Bookstore On Demand, Napoli, NA, ItalyBrook Bookstore On Demand
Contact seller5-star sellerCondition: New
£ 40.92
£ 67.90 shippingShips from Italy to U.S.A.Quantity: Over 20 available
Condition: new. Questo è un articolo print on demand.
Language: English
Published by LAP LAMBERT Academic Publishing Aug 2010, 2010
- Softcover
- Print on Demand
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germanybuchversandmimpf2000
Contact seller5-star sellerCondition: New
£ 69.94
£ 51.57 shippingShips from Germany to U.S.A.Quantity: 1 available
Taschenbuch. Condition: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This book proposes a logical framework to specify and analyze the knowledge of the observers of a concurrent-distributed computational system. Such a system could be a computer network, a financial market, a biological/ecological system…, or a social network. The system is observed by agents who are trying to obtain information about it and about the other observers ¿ the competitors. The logical framework allows one to analyze the flux of information in this kind of scenarios and to design strategies to obtain or exchange information. It is a framework conceived for addressing questions regarding communication and security issues. Formally, this work combines two successful paradigms from Computer Science: Process Algebras and Dynamic-Epistemic Logics. Starting from the observation that Process Algebras generalize the modal Kripke structures, this work proposes the Dynamic-Epistemic Spatial Logics which extend the Dynamic-Epistemic Logics developed for epistemic Kripke structures to the more general case of Process Algebras. Thus, this new class of logics combines features of process logics such as Hennessy- Milner and Spatial Logics with Epistemic Logic.VDM Verlag, Dudweiler Landstraße 99, 66123 Saarbrücken 244 pp. Englisch.
- Softcover
- Print on Demand
Seller: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH
Contact seller5-star sellerCondition: New
£ 70.78
£ 53.21 shippingShips from Germany to U.S.A.Quantity: 1 available
Taschenbuch. Condition: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - This book proposes a logical framework to specify and analyze the knowledge of the observers of a concurrent-distributed computational system. Such a system could be a computer network, a financial market, a biological/ecological system,… or a social network. The system is observed by agents who are trying to obtain information about it and about the other observers the competitors. The logical framework allows one to analyze the flux of information in this kind of scenarios and to design strategies to obtain or exchange information. It is a framework conceived for addressing questions regarding communication and security issues. Formally, this work combines two successful paradigms from Computer Science: Process Algebras and Dynamic-Epistemic Logics. Starting from the observation that Process Algebras generalize the modal Kripke structures, this work proposes the Dynamic-Epistemic Spatial Logics which extend the Dynamic-Epistemic Logics developed for epistemic Kripke structures to the more general case of Process Algebras. Thus, this new class of logics combines features of process logics such as Hennessy- Milner and Spatial Logics with Epistemic Logic.
