FME 2001: Formal Methods for Increasing Software Productivity: International Symposium of Formal Methods Europe, Berlin, Germany, March 12-16, 2001, ... Notes in Computer Science, 2021, Band 2021)
Kurzinformation
Sprache:
Englisch
ISBN:
9783540417910
Verlag:
Seitenzahl:
648
Auflage:
-
Erschienen:
2001-03-26
Handgeprüfte Gebrauchtware
Schnelle Lieferung
Faire Preise
inkl. MwSt. Versandinformationen
Lieferzeit 1-3 Werktage
104,43 €
Lieferzeit 1-3 Werktage
Weitere Zahlungsmöglichkeiten
Beschreibung
FME 2001: Formal Methods for Increasing Software Productivity: International Symposium of Formal Methods Europe, Berlin, Germany, March 12-16, 2001, ... Notes in Computer Science, 2021, Band 2021)
This book constitutes the refereed proceedings of the International Symposium of Formal Methods Europe, FME 2001, held in Berlin, Germany, in March 2001. The 32 revised full papers presented together with abstracts of three invited talks were carefully reviewed and selected from a total of 72 submissions. Focusing on increasing software productivity, all current aspects in formal methods are covered. Among the application areas addressed are avionics, smart cards, financial engineering, E-commerce, middleware, security, telecommunications, etc.
Produktdetails
Einband:
paperback
Seitenzahl:
648
Erschienen:
2001-03-26
Sprache:
Englisch
EAN:
9783540417910
ISBN:
9783540417910
Verlag:
Gewicht:
907 g
Auflage:
-
Alle gebrauchten Bücher werden von uns handgeprüft.
So garantieren wir Dir zu jeder Zeit Premiumqualität.
So garantieren wir Dir zu jeder Zeit Premiumqualität.
Entdecke mehr vom Verlag
Gut
104,43 €
Entdecke mehr zum Thema
