Copied Integrated Formal Methods
Integrated Formal Methods
This book constitutes the refereed proceedings of the 7th International Conference on Integrated Formal Methods, IFM 2009, held in Dsseldorf, Germany in February 2009. The 21 revised full papers presented together with 3 invited papers were carefully reviewed and selected from 55 submissions. The papers address the whole spectrum of integrated formal methods, ranging from formal and semiformal modelling notations, semantics, verification, refinement, model transformations to type systems, logics, tools and case studies.
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
Metzler Lexikon Sprache
$49.99
Gesellschafts- und Kartellrecht
$69.99
Gynecologic Cancer
$39.99
Vom traditionellen China zum modernen Taiwan
$79.99
Gummielastische Stoffe als Dmpfungselemente an schlagenden Werkzeugen
$59.99
Schulschlieungen und Umbau von Schulstandorten
$39.99
Colour in Fashion Illustration
$27.50
Open Source Geospatial Tools
$109.99
Migrants Before the Law
$99.99
Critical Pedagogy in Nursing
$119.99
Tourism Product Development in China, Asian and European Countries
$179.99
Phnomenologische Rheologie
$249.99
Advances in Smart Medical, IoT & Artificial Intelligence
$149.00
Sex, Time, and Space in Contemporary Fiction
$54.99
Political Alternation in the Azores, Madeira and the Canary Islands
$54.99
Die bedrohte Supermacht
$59.99
Theory of Incomplete Cylindrical Functions and their Applications
$39.99
The Centre of City: Wind Environment and Spatial Morphology
$199.99
Acute Respiratory Distress Syndrome
$39.99
Intelligent Integrated Media Communication Techniques
$39.99
Excimer Lasers
$39.99
Nanocarrier Technologies
$169.99
Blastoff! Readers - Character Education: I am Tolerant
$5.21
An Introduction to -Convergence
$149.00
Holgazn
$5.24
Principles of Flexible Endoscopy for Surgeons
$159.99
The Recess Queen (Hardcover)
$14.24
Handbuch Produktionsmanagement
$59.99
Nichtlineare Funktionalanalysis
$44.99
Digital Typefaces
$39.99
Angewandte Kernphysik
$49.99
Psychopathologie und Verlauf der postakuten Schizophrenie
$54.99
Democratic Protests and New Forms of Collective Action
$129.99
RNA-Protein Complexes and Interactions
$249.99
Kunden- und mitarbeiterorientierte Organisationsgestaltung industrieller Dienstleistungsunternehmen
$79.99
Challenging the United Nations Peace and Security Agenda in Africa
$99.00
Advances in Mobile Computing and Multimedia Intelligence
$64.99
Understanding X-Rays
$39.99
Cold Spray in the Realm of Additive Manufacturing
$149.00
Reachability Problems
$39.99
