Noch Fragen? 0800 / 33 82 637

Formal Methods for Components and Objects

11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures

Produktform: Buch / Einband - flex.(Paperback)

This book constitutes revised lectures from the 11th Symposium on Formal Methods for Components and Object, FMCO 2012, held in Bertinoro, Italy, in September 2012. The 8 lectures featured in this volume are by world-renowned experts within the area of formal models for objects and components. The book provides a unique combination of ideas on software engineering and formal methods which reflect the expanding body of knowledge on modern software systems.weiterlesen

Dieser Artikel gehört zu den folgenden Serien

Sprache(n): Englisch

ISBN: 978-3-642-40614-0 / 978-3642406140 / 9783642406140

Verlag: Springer Berlin

Erscheinungsdatum: 26.08.2013

Seiten: 241

Auflage: 1

Zielgruppe: Research

Herausgegeben von Marcello M. Bonsangue, Frank S. de Boer, Reiner Hähnle, Elena Giachino

49,22 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zurück