Ethan Jackson – författare
Visar alla böcker från författaren Ethan Jackson. Handla med fri frakt och snabb leverans.
4 produkter
Foundations of Computer Software
Modeling, Development, and Verification of Adaptive Systems 16th Monterey Workshop 2010, Redmond, USA, WA, USA, March 31--April 2, Revised Selected Papers
Av Radu Calinescu, Ethan Jackson
Häftad, 2011
568 kr
Lägg i varukorg
This book presents the thoroughly refereed and revised post-workshop proceedings of the 16th Monterey Workshop, held in Redmond, WA, USA, in March/April 2010. The theme of the workshop was Foundations of Computer Software, with a special focus on Modeling, Development, and Verification of Adaptive …
Foundations of Computer Software
Modeling, Development, and Verification of Adaptive Systems 16th Monterey Workshop 2010, Redmond, USA, WA, USA, March 31--April 2, Revised Selected Papers
Av Ethan Jackson, Radu Calinescu
E-bok, 2011
755 kr
Lägg i varukorg
This book presents the thoroughly refereed and revised post-workshop proceedings of the 16th Monterey Workshop, held in Redmond, WA, USA, in March/April 2010. The theme of the workshop was Foundations of Computer Software, with a special focus on Modeling, Development, and Verification of Adaptive …
Software Composition
10th International Conference, SC 2011, Zurich, Switzerland, June 30 - July 1, 2011, Proceedings
Häftad, 2011
568 kr
Lägg i varukorg
The book constitutes the refereed proceedings of the 10th International Conference on Software Composition, SC 2011, held in Zurich, Switzerland, in June/July 2011, co-located with TOOLS 2011 Federated Conferences.The 10 revised full papers and 2 short papers were carefully reviewed and selected …
Software Composition
10th International Conference, SC 2011, Zurich, Switzerland, June 30 - July 1, 2011, Proceedings
E-bok, 2011
734 kr
Lägg i varukorg
The book constitutes the refereed proceedings of the 10th International Conference on Software Composition, SC 2011, held in Zurich, Switzerland, in June/July 2011, co-located with TOOLS 2011 Federated Conferences.The 10 revised full papers and 2 short papers were carefully reviewed and selected …
