Produktbild
Paul P. (Hrsg.) Boca

Formal Methods: State of the Art and New Directions

State of the Art and New Directions

Buch

The last decade has witnessed a modest but sustained increase in researching and applying formal methods. A number of well cited success stories are now available and provide strong evidence that formal methods can be effective and deployed in industrial-scale applications.Through fundamental contributions from leading researchers, this book provides further evidence of the use of formal methods in the areas of requirements, design, modelling and implementation, verification and validation. The self-contained chapters are views from experts in these areas, providing readers with rich background information and a diverse breadth of specialist… Mehr

CHF 179.00

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

Versandfertig innerhalb 1-3 Werktagen

Produktdetails


Weitere Autoren: Bowen, Jonathan P. (Hrsg.) / Siddiqi, Jawed I. (Hrsg.)
  • ISBN: 978-1-84882-735-6
  • EAN: 9781848827356
  • Produktnummer: 4866562
  • Verlag: Springer-Verlag GmbH
  • Sprache: Englisch
  • Erscheinungsjahr: 2009
  • Seitenangabe: 273 S.
  • Masse: H24.3 cm x B16.4 cm x D2.5 cm 579 g
  • Abbildungen: 67 schwarz-weiße Abbildungen, 1 schwarz-weiße Tabellen
  • Gewicht: 579

Bewertungen


0 von 0 Bewertungen

Geben Sie eine Bewertung ab!

Teilen Sie Ihre Erfahrungen mit dem Produkt mit anderen Kunden.