Copied Integrated Formal Methods
Integrated Formal Methods
This book constitutes the refereed proceedings of the 11th International Conference on Integrated Formal Methods, IFM 2014, held in Bertinoro, Italy, in September 2014. The 21 revised full papers presented together with 2 invited papers were carefully reviewed and selected from 43 submissions. The papers have been organized in the following topical sections: tool integration; model verification; program development; security analysis; analysis and transformation; and concurrency and control.
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
Human Interface and the Management of Information. Information in Intelligent Systems
$69.99
Hybrid High-Order Methods
$64.99
Persnlichkeitsbewusste Mitarbeiterfhrung
$69.99
Biologische Psychologie
$29.99
Care Sharing
$14.99
Financial Counseling
$59.99
Hhere Analysis durch Anwendungen lernen
$37.99
Discrete Event Systems, Manufacturing Systems, and Communication Networks
$39.99
Data
$84.99
Gravitational Lenses
$129.00
Mobile Radio Communications and Networks
$219.99
Bo and the Dragon-Pup: A Branches Book (Unicorn Diaries #2)
$3.74
HCI for Cybersecurity, Privacy and Trust
$54.99
Quiero un auto!
$5.96
Emerging Targets in Antibacterial and Antifungal Chemotherapy
$219.99
Biomembrane Frontiers
$89.00
Political Engagement Amongst Ethnic Minority Young People
$54.99
Rethinking Stormwater Management through Sustainable Urban Design
$169.99
Redirection of Th1 and Th2 Responses
$39.99
Sustainability Valuation of Business
$54.99
ber einen Pflanzenfarbstoff aus Cichorium
$54.99
Effects of Nicotine on Biological Systems II
$39.99
Steroid and Sterol Hormone Action
$219.99
Advances in Transport Phenomena in Porous Media
$429.00
Open Abdomen
$129.99
Nonlinear Assignment Problems
$169.99
Advanced Intelligent Computing Technology and Applications
$79.99
Euro-Par 2021: Parallel Processing
$99.00
Biophysical Techniques in Photosynthesis
$259.00
Medievalism, Multilingualism, and Chaucer
$84.99
Creating Romantic Obsession
$99.99
Terahertz Optoelectronics
$169.00
Die Viruskrankheiten der Haut
$59.99
Lebensstilanalysen in der strategischen Marktforschung
$59.99
Physikalische Mythen auf dem Prfstand
$79.99
Das Telekommunikationsgesetz auf dem Prfstand
$59.99
19. Hmophilie-Symposion Hamburg 1988
$69.99
Statistische Fabrikationsberwachung in der Industrie
$59.99
Studierendenmigration und Entwicklung
$49.99
Software Engineering for Resilient Systems
$54.99
