Search:

Type:

Format:

Library:

Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems 16th Monterey Workshop 2010, Redmond, WA, USA, March 31- April 2, 2010, Revised Selected Papers Cover Image

E-book

E-book

Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems [electronic resource] : 16th Monterey Workshop 2010, Redmond, WA, USA, March 31- April 2, 2010, Revised Selected Papers / edited by Radu Calinescu, Ethan Jackson.

Calinescu, Radu. (editor.). Jackson, Ethan. (editor.). SpringerLink (Online service) (Added Author).

Record details

ISBN: 9783642212925
Physical Description: 250p. online resource.
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Search for related items by subject

Subject:

Computer science.
Computer Communication Networks.
Computer system performance.
Software engineering.
Information storage and retrieval systems.
Information systems.
Artificial intelligence.
Computer Science.
Software Engineering.
Information Systems Applications (incl.Internet).
Information Storage and Retrieval.
Computer Communication Networks.
System Performance and Evaluation.
Artificial Intelligence (incl. Robotics).

Search for related items by series

Add to basket Print Email Permalink Disable Highlighting

Electronic resources

► Awards, Reviews, & Suggested Reads

► Shelf Browser

► MARC Record