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 - Lecture Notes in Computer Science - Radu Calinescu - Books - Springer-Verlag Berlin and Heidelberg Gm - 9783642212918 - May 23, 2011
In case cover and title do not match, the title is correct

Radu Calinescu
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 - Lecture Notes in Computer Science

Get an email once the item is available
Do you have a profile? Log in
Christmas presents can be returned until 31 January
Get notified about new Radu Calinescu releases

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

Not rated yet

Presents the refereed and revised post-workshop proceedings of the 16th Monterey Workshop, held in Redmond, WA, USA, in March/April 2010. This book features contributions showing how the foundations and development techniques of computer software could be adapted for industrial safety-critical and business-critical applications.

250 pages, 67 black & white illustrations, 35 colour illustrations, biography

Media Books     Paperback Book   (Book with soft cover and glued back)
Released May 23, 2011
ISBN13 9783642212918
Publishers Springer-Verlag Berlin and Heidelberg Gm
Pages 250
Dimensions 155 × 235 × 15 mm   ·   408 g
Language French  
Editor Calinescu, Radu C.
Editor Jackson, Ethan

More by Radu Calinescu

Show all

More from the same publisher

See all of Radu Calinescu