FME for Increasing Software Productivity: March 12-16, Proceedings
6 Angebote vergleichen
Preise | 2012 | 2013 | 2014 | 2015 | 2023 |
---|---|---|---|---|---|
Schnitt | € 64,76 | € 50,73 | € 71,99 | € 57,61 | € 106,99 |
Nachfrage |
1
FME 2001: Formal Methods for Increasing Software Productivity
DE PB NW
ISBN: 9783540417910 bzw. 3540417915, in Deutsch, Springer, Berlin, Taschenbuch, neu.
Lieferung aus: Deutschland, Versandkostenfrei.
buecher.de GmbH & Co. KG, [1].
FME 2001 is the tenth in a series of meetings organized every eighteen months by Formal Methods Europe (FME), an independent association whose aim is to stimulate the use of, and research on, formal methods for software development. It follows four VDM Europe Symposia, four other Formal Methods Europe S- posia, and the 1999 World Congress on Formal Methods in the Development of Computing Systems. These meetings have been notably successful in bringing - gether a community of users, researchers, and developers of precise mathematical methods for software development. FME 2001 took place in Berlin, Germany and was organized by the C- puter Science Department of the Humboldt-Universit at zu Berlin. The theme of the symposium was Formal Methods for Increasing Software Productivity. This theme recognizes that formal methods have the potential to do more for industrial software development than enhance software quality they can also increase productivity at many di erent points in the software life-cycle. The importance of the theme is borne out by the many contributed papers showing how formal methods can make software development more e cient. There is an emphasis on tools that nd errors automatically, or with relatively little human e ort. There is also an emphasis on the use of formal methods to assist with critical, labor-intensive tasks such as program design and test-case generation.2001. xiv, 634 S. XIV, 634 p. 233 mmVersandfertig in 3-5 Tagen, Softcover.
buecher.de GmbH & Co. KG, [1].
FME 2001 is the tenth in a series of meetings organized every eighteen months by Formal Methods Europe (FME), an independent association whose aim is to stimulate the use of, and research on, formal methods for software development. It follows four VDM Europe Symposia, four other Formal Methods Europe S- posia, and the 1999 World Congress on Formal Methods in the Development of Computing Systems. These meetings have been notably successful in bringing - gether a community of users, researchers, and developers of precise mathematical methods for software development. FME 2001 took place in Berlin, Germany and was organized by the C- puter Science Department of the Humboldt-Universit at zu Berlin. The theme of the symposium was Formal Methods for Increasing Software Productivity. This theme recognizes that formal methods have the potential to do more for industrial software development than enhance software quality they can also increase productivity at many di erent points in the software life-cycle. The importance of the theme is borne out by the many contributed papers showing how formal methods can make software development more e cient. There is an emphasis on tools that nd errors automatically, or with relatively little human e ort. There is also an emphasis on the use of formal methods to assist with critical, labor-intensive tasks such as program design and test-case generation.2001. xiv, 634 S. XIV, 634 p. 233 mmVersandfertig in 3-5 Tagen, Softcover.
2
FME 2001: Formal Methods for Increasing Software Productivity (2001)
~EN PB NW
ISBN: 9783540417910 bzw. 3540417915, vermutlich in Englisch, Springer Nature, Taschenbuch, neu.
Lieferung aus: Deutschland, Lagernd, zzgl. Versandkosten.
FME 2001 is the tenth in a series of meetings organized every eighteen months by Formal Methods Europe (FME), an independent association whose aim is to stimulate the use of, and research on, formal methods for software development. It follows four VDM Europe Symposia, four other Formal Methods Europe S- posia, and the 1999 World Congress on Formal Methods in the Development of Computing Systems. These meetings have been notably successful in bringing - gether a community of users, researchers, and developers of precise mathematical methods for software development. FME 2001 took place in Berlin, Germany and was organized by the C- puter Science Department of the Humboldt-Universit¨at zu Berlin. The theme of the symposium was Formal Methods for Increasing Software Productivity. This theme recognizes that formal methods have the potential to do more for industrial software development than enhance software quality { they can also increase productivity at many di erent points in the software life-cycle. The importance of the theme is borne out by the many contributed papers showing how formal methods can make software development more e cient. There is an emphasis on tools that nd errors automatically, or with relatively little human e ort. There is also an emphasis on the use of formal methods to assist with critical, labor-intensive tasks such as program design and test-case generation. Soft cover.
FME 2001 is the tenth in a series of meetings organized every eighteen months by Formal Methods Europe (FME), an independent association whose aim is to stimulate the use of, and research on, formal methods for software development. It follows four VDM Europe Symposia, four other Formal Methods Europe S- posia, and the 1999 World Congress on Formal Methods in the Development of Computing Systems. These meetings have been notably successful in bringing - gether a community of users, researchers, and developers of precise mathematical methods for software development. FME 2001 took place in Berlin, Germany and was organized by the C- puter Science Department of the Humboldt-Universit¨at zu Berlin. The theme of the symposium was Formal Methods for Increasing Software Productivity. This theme recognizes that formal methods have the potential to do more for industrial software development than enhance software quality { they can also increase productivity at many di erent points in the software life-cycle. The importance of the theme is borne out by the many contributed papers showing how formal methods can make software development more e cient. There is an emphasis on tools that nd errors automatically, or with relatively little human e ort. There is also an emphasis on the use of formal methods to assist with critical, labor-intensive tasks such as program design and test-case generation. Soft cover.
3
Symbolbild
FME 2001 : FORMAL METHODS FOR INCREASING SOFTWARE PRODUCTIVITY (2001)
DE
ISBN: 9783540417910 bzw. 3540417915, in Deutsch, Springer, Berlin/Heidelberg, Deutschland.
Lieferung aus: Deutschland, Versandkostenfrei.
Von Händler/Antiquariat, Bookshub [56517106], Karol Bagh, KB, India.
US edition. Perfect condition. Ship by express service to USA, Canada, Australia, France, Italy, UK, Germany and Netherland. Customer satisfaction our priority. Please email before placeing order if you have any doubt in mind regarding book.
Von Händler/Antiquariat, Bookshub [56517106], Karol Bagh, KB, India.
US edition. Perfect condition. Ship by express service to USA, Canada, Australia, France, Italy, UK, Germany and Netherland. Customer satisfaction our priority. Please email before placeing order if you have any doubt in mind regarding book.
4
Symbolbild
Fme for Increasing Software Productivity 10th March 12-16 (2001)
DE
ISBN: 9783540417910 bzw. 3540417915, in Deutsch, Springer, Berlin.
Von Händler/Antiquariat, Lawrence's Books [36203], TORRANCE, CA, U.S.A.
Very good ex-library (Caltech) softcover. Binding tight. Text very good. Usual library markings.
Very good ex-library (Caltech) softcover. Binding tight. Text very good. Usual library markings.
5
Symbolbild
FME 2001 : FORMAL METHODS FOR INCREASING SOFTWARE PRODUCTIVITY (2001)
DE NW
ISBN: 9783540417910 bzw. 3540417915, in Deutsch, Springer, Berlin/Heidelberg, Deutschland, neu.
Lieferung aus: Deutschland, Versandkostenfrei.
Von Händler/Antiquariat, firstbookstore [56533785], NEW DELHI, IN, India.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Von Händler/Antiquariat, firstbookstore [56533785], NEW DELHI, IN, India.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
6
Symbolbild
FME 2001 : FORMAL METHODS FOR INCREASING SOFTWARE PRODUCTIVITY (2010)
DE NW
ISBN: 9783540417910 bzw. 3540417915, in Deutsch, Springer, Berlin/Heidelberg, Deutschland, neu.
Lieferung aus: Deutschland, Versandkostenfrei.
Von Händler/Antiquariat, EBOOKSTORE2010 [55268631], NajafGarh, ND, India.
New. US edition. Customer Satisfaction guaranteed!!
Von Händler/Antiquariat, EBOOKSTORE2010 [55268631], NajafGarh, ND, India.
New. US edition. Customer Satisfaction guaranteed!!
Lade…