Copied FM 2011: Formal Methods
FM 2011: Formal Methods
This book constitutes the refereed proceedings of the 17th International Symposium on Formal Methods, FM 2011, held in Limerick, Ireland, in June 2011. The 29 revised full papers presented together with 3 invited talks were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on cyber-physical systems, runtime analysis, case studies/tools, experience, program compilation and transformation, security, progress algebra, education, concurrency, dynamic structures, and model checking.
Price Comparison
| Seller | Contact Seller | List Price | On Sale | Shipping | Best Promo | Final Price | Volume Discount | Financing | Availability | Seller's Page |
|---|---|---|---|---|---|---|---|---|---|---|
|
BEST PRICE 1 Product Purchase
|
|
$39.99 | $39.99 |
|
$39.99 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Dermatologische Reaktionen bei onkologischen Therapien
$24.99
Imaging Processes and Coherence in Physics
$74.99
Crime and the Imaginary of Disaster
$54.99
Skin Tumors and Reactions to Cancer Therapy in Children
$54.99
The Economics of Military Expenditures
$74.99
Trends in Colloid and Interface Science X
$39.99
Knowledge-Based and Intelligent Information and Engineering Systems, Part III
$39.99
Quantum Algorithms for Cryptographically Significant Boolean Functions
$69.99
History of the Treatment of Spinal Injuries
$39.99
Lessons for Science from the Seven Countries Study
$54.99
Management Decision Support Systems
$14.99
Developments and Advances in Defense and Security
$379.99
Chemische kotoxikologie
$39.99
Soft Tissues of the Extremities
$39.99
Die Regulierung elektrischer Netze
$84.99
Stefan George und die Jugendbewegung
$59.99
Werkstattbuch Familienzentrum
$54.99
Neighborhood Disorganization and Social Control
$54.99
The Proton in Chemistry
$54.99
The Epistemology of Keith Lehrer
$129.00
Marine Pollution
$109.99
XploRe: An Interactive Statistical Computing Environment
$39.99
Advanced Industrial Wastewater Treatment and Reclamation of Water
$169.99
Kuferverhalten
$34.99
Retreating from the Cold War
$54.99
Strategien fr den Lernerfolg berufsttiger Studierender
$29.99
Progress in Cryptology - INDOCRYPT 2008
$39.99
Der ttowierte Leib
$49.99
Datenorganisation und Datenbanken
$37.99
Electrical Design of a 400 kV Composite Tower
$109.99
Dental Anthropology
$89.00
Physikhtte
$59.99
Unmasking Project Management
$84.99
Fresh Princess: Fresh Princess
$4.49
Opposition in der DDR von den 70er Jahren bis zum Zusammenbruch der SED-Herrschaft
$49.99
Pathologisch-anatomische Sektionsmethode
$59.99
Planungsqualitt bei Prozessinnovationen
$74.99
Belief Functions: Theory and Applications
$54.99
Intensivmedizin und Management bei Organspende und Transplantation
$24.99
Researching Families and Relationships
$54.99
