Produktbild
Dominique (Hrsg.) Méry

Integrated Formal Methods

8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010, Proceedings

Buch

ThisvolumecontainstheproceedingsofIFM2010,the8thInternationalConf- ence on Integrated Formal Methods. The conference took place October 12-14, 2010,atthe INRIA researchcenterandthe LORIAlaboratoryinNancy,France. Previous editions were held in York, Dagstuhl, Turku, Canterbury, Eindhoven, Oxford, and Dusseldorf ¿ . The IFM conference series seeks to promote research into the combination of di?erent formal methods, including the combination of formal with semiformal methods, for system development. Such combinations are useful in order to apprehend di?erent aspects of systems, including fu- tional correctness, security, performance, and fault-t… Mehr

CHF 100.00

Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)

Versandfertig innerhalb 1-3 Werktagen

Produktdetails


Weitere Autoren: Merz, Stephan (Hrsg.)
  • ISBN: 978-3-642-16264-0
  • EAN: 9783642162640
  • Produktnummer: 9663820
  • Verlag: Springer-Verlag GmbH
  • Sprache: Englisch
  • Erscheinungsjahr: 2010
  • Seitenangabe: 337 S.
  • Masse: H23.5 cm x B15.5 cm x D1.8 cm 528 g
  • Reihenbandnummer: 6396
  • Gewicht: 528

12 weitere Werke von Dominique (Hrsg.) Méry:


Bewertungen


0 von 0 Bewertungen

Geben Sie eine Bewertung ab!

Teilen Sie Ihre Erfahrungen mit dem Produkt mit anderen Kunden.