Falls Sie nur an einem bestimmten Exempar interessiert sind, können Sie aus der folgenden Liste jenes wählen, an dem Sie interessiert sind:
Nur diese Ausgabe anzeigen…
Nur diese Ausgabe anzeigen…
FME 2002: Formal Methods - Getting IT Right : International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002 Proceedings
10 Angebote vergleichen
Bester Preis: € 85,59 (vom 29.07.2023)FME 2002: Formal Methods - Getting IT Right (2002)
ISBN: 9783540439288 bzw. 3540439285, vermutlich in Englisch, Springer Nature, Taschenbuch, neu.
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. Soft cover.
FME 2002: Formal Methods - Getting IT Right
ISBN: 9783540439288 bzw. 3540439285, in Deutsch, Springer, Berlin, Taschenbuch, neu.
buecher.de GmbH & Co. KG, [1].
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.2002. xii, 632 S. XI, 625 p. 235 mmVersandfertig in 3-5 Tagen, Softcover.
FME 2002: Formal Methods - Getting IT Right (2002)
ISBN: 9783540456148 bzw. 3540456147, vermutlich in Englisch, Springer Nature, neu, E-Book, elektronischer Download.
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. eBook.
Fme 2002: Formal Methods - Getting It Right: International Symposium Of Formal Methods Europe, Copenhagen, De (2002)
ISBN: 9783540439288 bzw. 3540439285, vermutlich in Englisch, Springer, Berlin/Heidelberg, Deutschland, neu.
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.
FME 2002: Formal Methods - Getting IT Right. International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002 Proceedings (2002)
ISBN: 9783540439288 bzw. 3540439285, in Deutsch, Springer, Taschenbuch, neu.
9783540439288 Paperback, This listing is a new book, a title currently in-print which we order directly and immediately from the publisher.
Fme 2002: Formal Methods-Getting It Right : International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 2002 : Proceedings (2002)
ISBN: 9783540439288 bzw. 3540439285, in Deutsch, Springer Verlag, Taschenbuch, neu, Erstausgabe.
1st edition. 625 pages. 9.50x6.00x1.00 inches. In Stock.
FME 2002: Formal Methods - Getting IT Right: International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002 Proceedings (Lecture Notes in Computer Science) (2002)
ISBN: 9783540439288 bzw. 3540439285, in Deutsch, Springer, Taschenbuch, neu.
This item is printed on demand.
FME 2002: Formal Methods - Getting IT Right: International Symposium of Formal Methods Europe Copenhagen, Denmark, July 22-24, 2002 Proceedings (Lecture Notes in Computer Science) (2009)
ISBN: 9783540439288 bzw. 3540439285, in Deutsch, Springer, Taschenbuch, gebraucht.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
FME 2002: Formal Methods - Getting IT Right (2002)
ISBN: 9783540456148 bzw. 3540456147, in Deutsch, Springer Nature, neu, E-Book.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
FME 2002: Formal Methods - Getting IT Right : International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002 Proceedings (2002)
ISBN: 9783540456148 bzw. 3540456147, in Englisch, Springer Berlin Heidelberg, neu, E-Book, elektronischer Download.