Sprache: Englisch
Verlag: Springer-Verlag New York Inc, 2010
ISBN 10: 3642162649 ISBN 13: 9783642162640
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 78,58
Anzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 347 pages. 9.41x6.26x0.79 inches. In Stock.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 81,64
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Sprache: Englisch
Verlag: Springer Berlin Heidelberg, 2010
ISBN 10: 3642162649 ISBN 13: 9783642162640
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 8th International Conference on Integrated Formal Methods, IFM 2010, held in Nancy, France, in October 2010. The 20 revised full papers presented together with 3 invited papers were carefully reviewed and selected from 59 submissions. The papers address the spectrum of integrated formal methods, ranging from formal and semiformal notations, semantics, refinement, verification and model transformations to type systems, logics, tools and case studies.
Anbieter: preigu, Osnabrück, Deutschland
Taschenbuch. Zustand: Neu. Integrated Formal Methods | 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010, Proceedings | Dominique Méry (u. a.) | Taschenbuch | x | Englisch | 2010 | Springer | EAN 9783642162640 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.