Filter By
Books (7)
- Book
- Qty in Cart
- Quantity
- Price
- Subtotal
-
Formal Methods for Embedded Distributed Systems: How to master the complexity by Fabrice Kordon 9781441954596
Booksplease Price: £90.56The development of any Software (Industrial) Intensive System, e.g. critical embedded software, requires both different notations, and a strong devel- ment process. Different notations are mandatory... -
Formal Methods for Embedded Distributed Systems: How to master the complexity by Fabrice Kordon 9781402079962
Booksplease Price: £90.86The development of any Software (Industrial) Intensive System, e.g. critical embedded software, requires both different notations, and a strong devel- ment process. Different notations are mandatory... -
Composition of Embedded Systems. Scientific and Industrial Issues: 13th Monterey Workshop 2006 Paris, France, October 16-18, 2006 Revised Selected Papers by Fabrice Kordon 9783540774181
Booksplease Price: £46.74This book constitutes the thoroughly refereed post-proceedings of the 13th International Monterey Workshop on Composition of Embedded Systems: Scientific and Industrial Issues, held in Paris, France,... -
Application and Theory of Petri Nets and Concurrency: 37th International Conference, PETRI NETS 2016, Torun, Poland, June 19-24, 2016. Proceedings by Fabrice Kordon 9783319390857
Booksplease Price: £46.28This book constitutes the proceedings of the 37th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2016, held in Torun, Poland, in June 2016. Petri Nets... -
Reliable Software Technologies - Ada-Europe 2009: 14th Ada-Europe International Conference, Brest, France, June 8-12, 2009, Proceedings by Fabrice Kordon 9783642019234
Booksplease Price: £46.28This book constitutes the proceedings of the 14th Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2009, held in Brest, France, on June 8-12, 2009. The 19 papers... -
Reliable Systems on Unreliable Networked Platforms: 12th Monterey Workshop 2005, Laguna Beach, CA, USA, September 22-24, 2005. Revised Selected Papers by Fabrice Kordon 9783540711551
Booksplease Price: £46.28This book constitutes the refereed post-proceedings of the 12th International Monterey Workshop on Networked Systems with special focus on realization of reliable systems on top of unreliable... -
Reliable Software Technologies - Ada-Europe 2008: 13th Ada-Europe International Conference on Reliable Software Technologies, Venice, Italy, June 16-20, 2008. Proceedings by Fabrice Kordon 9783540686217
Booksplease Price: £46.74th The 13 edition of the International Conference on Reliable Software Technologies (Ada-Europe 2008) marked its arrival in Italy by selecting the splendid venue of Venice. It did so after having...