fachmedien.de - spezialisierte Fachinformationen für Studium und Beruf
fachmedien.de - spezialisierte Fachinformationen für Studium und Beruf
fachmedien.de - spezialisierte Fachinformationen für Studium und Beruf
fachmedien.de - spezialisierte Fachinformationen für Studium und Beruf
fachmedien.de - spezialisierte Fachinformationen für Studium und Beruf

Site Breadcrumb

Verkauf durch Sack Fachmedien

Giachino / Bonsangue / Hähnle

Formal Methods for Components and Objects

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

Medium: Buch
ISBN: 978-3-642-40614-0
Verlag: Springer
Erscheinungstermin: 26.08.2013
In den Warenkorb
Lieferfrist: bis zu 10 Tage
Auf die Merkliste Drucken
Leseprobe
Überschrift

Beschreibung

Kostenloser Versand

nach Deutschland, Österreich und in die Schweiz

Bequem zahlen

Rechnung, Kreditkarte, PayPal oder Bankeinzug

Wir sind gerne für Sie da

0800 000-1378 (Inland)
service@fachmedien.de
<<Kontaktformular>>

Fragen

Fragen Lorem ipsum dolor sit amet, consetetur sadipscing elitr, sed diam nonumy eirmod tempor invidunt ut labore et dolore magna aliquyam erat, sed diam voluptua
Anwtorten

Anwtorten At vero eos et accusam et justo duo dolores et ea rebum. Stet clita kasd gubergren, no sea takimata sanctus est Lorem ipsum dolor sit amet. Lorem ipsum dolor sit amet

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.

Produkteigenschaften

  • Artikelnummer: 9783642406140
  • Medium: Buch
  • ISBN: 978-3-642-40614-0
  • Verlag: Springer
  • Erscheinungstermin: 26.08.2013
  • Sprache(n): Englisch
  • Auflage: 2013
  • Serie: Programming and Software Engineering
  • Produktform: Kartoniert
  • Gewicht: 3869 g
  • Seiten: 241
  • Format (B x H x T): 155 x 235 x 14 mm
  • Ausgabetyp: Kein, Unbekannt

Themen

Autoren/Hrsg.

Herausgeber

The Abstract Behavioral Specification Language: A Tutorial Introduction.- Subobject-Oriented Programming.- Verification of Open Concurrent Object Systems.- Automatic Inference of Bounds on Resource Consumption.- Separating Cost and Capacity for Load Balancing in ABS Deployment Models.- Composing Distributed Systems: Overcoming the Interoperability Challenge.- Controlling Application Interactions on the Novel Smart Cards with Security-by-Contract.- Formal Aspects of Free and Open Source Software Components.