Free shipping on all orders over $79* Limited Time Only
Track My Order
Help Centre
Likes
My Wish ListsLogin / Join
Booktopia
Australia's local bookstore
Get Free Shipping on orders over $79
FME 2002: Formal Methods - Getting IT Right : International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002 Proceedings - LarsHenrik Eriksson

FME 2002: Formal Methods - Getting IT Right

International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002 Proceedings

By: LarsHenrik Eriksson, ?Peter A. Lindsay

eText | 2 August 2003 | Edition Number 1

At a Glance

eText

$159.01

or 4 interest-free payments of $39.75 with

 or 

Instant online reading in your Booktopia eTextbook Library *

Why choose an eTextbook?

Instant Access *

Purchase and read your book immediately

Read Aloud

Listen and follow along as Bookshelf reads to you

Study Tools

Built-in study tools like highlights and more

* eTextbooks are not downloadable to your eReader or an app and can be accessed via web browsers only. You must be connected to the internet and have no technical issues with your device or browser that could prevent the eTextbook from operating.
This volume contains the proceedings of the 2002 symposium Formal Methods th Europe (FME 2002). The symposium was the 11 in a series that began with a VDM Europe symposium in 1987. The symposia are traditionally held every 18 months. In 2002 the symposium was held at the University of Copenhagen, as part of the 2002 Federated Logic Conference (FLoC 2002), which brought - gether in one event seven major conferences related to logic in computer science, as well as their a?liated workshops, tutorials, and tools exhibitions. Formal Methods Europe (www.fmeurope.org) is an independent association which aims to stimulate the use of, and research on, formal methods for software development. FME symposia have been notably successful in bringing together a community of users, researchers, and developers of precise mathematical - thods for software development. The theme of FME 2002 was "Formal Methods: Getting IT Right". The double meaning was intentional. On the one hand, the theme acknowledged the signi?cant contribution formal methods can make to Information Technology, by enabling computer systems to be described precisely and reasoned about with rigour. On the other hand, it recognized that current formal methods are not perfect, and further research and practice are required to improve their foundations, applicability, and e?ectiveness.
on
Desktop
Tablet
Mobile

You Can Find This eBook In

Non-FictionComputing & I.T.Computer Programming & Software DevelopmentSoftware EngineeringComputer ScienceProgramming & Scripting LanguagesCompilers & Interpreters

More in Computer Programming & Software Development

The End of Leadership - Barbara Kellerman

eBOOK

The End of Leadership

eBook

$21.99

This product is categorised by