Integrated Formal Methods: Third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002. Proceedings. - Lecture Notes in Computer Science 2335 (Paperback)
  • Integrated Formal Methods: Third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002. Proceedings. - Lecture Notes in Computer Science 2335 (Paperback)
zoom

Integrated Formal Methods: Third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002. Proceedings. - Lecture Notes in Computer Science 2335 (Paperback)

(editor), (editor), (editor)
£78.50
Paperback 401 Pages / Published: 02/05/2002
  • We can order this from the publisher

Usually dispatched within 15 working days

  • This item has been added to your basket
The third in a series of international conferences on Integrated Formal Methods, IFM 2002, was held in Turku, Finland, May 15-17, 2002. Turku, situated in the south western corner of the country, is the former capital of Finland. The ? conference was organized jointly by Abo Akademi University and Turku Centre for Computer Science. The theme of IFM 1999 was the integration of state and behavioral based formalisms. For IFM 2000 this was widened to include all aspects pertaining to the integration of formal methods and formal notations. One of the goals of IFM 2002 was to further investigate these themes. Moreover, IFM 2002 explored the relations between formal methods and graphical notations, especially the industrialstandardlanguageforsoftwaredesign,theUni?edModelingLanguage (UML). The themes of IFM 2002 re?ect what we believe is a growing trend in the Formal Methods and Software Engineering research communities. Over the last threedecades,computerscientistshavedevelopedarangeofformalismsfocusing on particular aspects of behavior or analysis, such as sequential program str- tures,concurrentprogramstructures,dataandinformationstructures,temporal reasoning, deductive proof, and model checking. Much e?ort is now being - voted to integrating these methods in order to combine their advantages and ensure they scale up to industrial needs. Graphical notations are now widely used in software engineering and there is growing recognition of the importance ofprovidingthesewiththeformalunderpinningsandformalanalysiscapabilities found in formal methods.

Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN: 9783540437031
Number of pages: 401
Weight: 1280 g
Dimensions: 235 x 155 x 21 mm
Edition: 2002 ed.

You may also be interested in...

Macintosh Terminal Pocket Guide
Added to basket
Types and Programming Languages
Added to basket
Schaum's Outline's UML
Added to basket
C++ Primer
Added to basket
£44.49
Paperback
Learn To Program
Added to basket
£19.99
Paperback
The Elements of C++ Style
Added to basket
Test Driven Development in C
Added to basket
Gestalt Graphology
Added to basket
£12.00
Paperback
Coding for Beginners in easy steps
Added to basket
C++ For Dummies
Added to basket
£21.99
Paperback
Programming
Added to basket
£55.49
Paperback
C++ Programming Language, The
Added to basket
C Programming Language
Added to basket
How to Live on 24 Hours a Day
Added to basket

Please sign in to write a review

Your review has been submitted successfully.