Sign In | Not yet a member? | Submit your article
 
Home   Technical   Study   Novel   Nonfiction   Health   Tutorial   Entertainment   Business   Magazine   Arts & Design   Audiobooks & Video Training   Cultures & Languages   Family & Home   Law & Politics   Lyrics & Music   Software Related   eBook Torrents   Uncategorized  

Integrated Formal Methods 7th International Conference IFM 2009, Dusseldorf, Germany, February 16-19, 2009, Proceedings (Lecture Notes in Computer Science Programming and Software Engineering)
Integrated Formal Methods 7th International Conference IFM 2009, Dusseldorf, Germany, February 16-19, 2009, Proceedings (Lecture Notes in Computer Science Programming and Software Engineering)
Date: 23 May 2011, 04:09
Product Description:
This book constitutes the refereed proceedings of the 7th International Conference on Integrated Formal Methods, IFM 2009, held in Dusseldorf, 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.

DISCLAIMER:

This site does not store Integrated Formal Methods 7th International Conference IFM 2009, Dusseldorf, Germany, February 16-19, 2009, Proceedings (Lecture Notes in Computer Science Programming and Software Engineering) on its server. We only index and link to Integrated Formal Methods 7th International Conference IFM 2009, Dusseldorf, Germany, February 16-19, 2009, Proceedings (Lecture Notes in Computer Science Programming and Software Engineering) provided by other sites. Please contact the content providers to delete Integrated Formal Methods 7th International Conference IFM 2009, Dusseldorf, Germany, February 16-19, 2009, Proceedings (Lecture Notes in Computer Science Programming and Software Engineering) if any and email us, we'll remove relevant links or contents immediately.


Posts related to "Integrated Formal Methods 7th International Conference IFM 2009, Dusseldorf, Germany, February 16-19, 2009, Proceedings (Lecture Notes in Computer Science Programming and Software Engineering)"
CONCUR 2004 -- Concurrency Theory: 15th International Conference, London, UK, August 31 - September 3, 2004, Proceedings (Lecture Notes in Computer Science) CONCUR 2004 -- Concurrency Theory: 15th International Conference, London, UK, August 31 - September 3, 2004, Proceedings (Lecture Notes in Computer Science)

ISBN/ASIN: 354022940X
Total size: 16.07 MB
Wavelet Analysis and Its Applications: Second International Conference, WAA 2001, Hong Kong, China, December 18-20, 2001. Proceedings (Lecture Notes in Computer Science) Wavelet Analysis and Its Applications: Second International Conference, WAA 2001, Hong Kong, China, December 18-20, 2001. Proceedings (Lecture Notes in Computer Science)

ISBN/ASIN: 3540430342
Total size: 8 MB
Pervasive Computing: Second International Conference, PERVASIVE 2004, Vienna Austria, April 21-23, 2004, Proceedings (Lecture Notes in Computer Science) Pervasive Computing: Second International Conference, PERVASIVE 2004, Vienna Austria, April 21-23, 2004, Proceedings (Lecture Notes in Computer Science)

ISBN/ASIN: 3540218351
Total size: 14 MB
The Navier-Stokes Equations II - Theory and Numerical Methods: Proceedings of a Conference held in Oberwolfach, Germany, August 18-24, 1991 (Lecture Notes in Mathematics) The Navier-Stokes Equations II - Theory and Numerical Methods: Proceedings of a Conference held in Oberwolfach, Germany, August 18-24, 1991 (Lecture Notes in Mathematics)

ISBN/ASIN: 3540562613
Total size: 2.6 MB
Fun and Games: Second International Conference, Eindhoven, The Netherlands, October 20-21, 2008, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering) Fun and Games: Second International Conference, Eindhoven, The Netherlands, October 20-21, 2008, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering)

ISBN/ASIN: 3540883215
Total size: 66 MB
Mathematics of Program Construction: 7th International Conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004, Proceedings (Lecture Notes in Computer Science) Mathematics of Program Construction: 7th International Conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004, Proceedings (Lecture Notes in Computer Science)

ISBN/ASIN: 3540223800
Total size: 5.1 MB
Methods, Models and Tools for Fault Tolerance (Lecture Notes in Computer Science / Programming and Software Engineering) Methods, Models and Tools for Fault Tolerance (Lecture Notes in Computer Science / Programming and Software Engineering)

ISBN/ASIN: 3642008666
Total size: 6 MB
Data Warehousing and Knowledge Discovery: Second International Conference, DaWaK 2000 London, UK, September 4-6, 2000 Proceedings (Lecture Notes in Computer Science) Data Warehousing and Knowledge Discovery: Second International Conference, DaWaK 2000 London, UK, September 4-6, 2000 Proceedings (Lecture Notes in Computer Science)

ISBN/ASIN: 3540679804
Total size: 4.5 MB
Advances in Case-Based Reasoning: 9th European Conference, ECCBR 2008, Trier, Germany, September 1-4, 2008, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence) Advances in Case-Based Reasoning: 9th European Conference, ECCBR 2008, Trier, Germany, September 1-4, 2008, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)

ISBN/ASIN: 3540855017
Total size: 38 MB

Comments

Comments (0) All

Verify: Verify

    Sign In   Not yet a member?


Popular searches
running