KI-Beratung Beta

  • Produktbild: Formal Methods for Components and Objects
  • Produktbild: Formal Methods for Components and Objects
Band 7866

Formal Methods for Components and Objects 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures

46,99 €

inkl. gesetzl. MwSt., Versandkostenfrei


Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

26.08.2013

Abbildungen

IX, 241 p. 125 illus.

Herausgeber

Elena Giachino + weitere

Verlag

Springer Berlin

Seitenzahl

241

Maße (L/B/H)

23,5/15,5/1,4 cm

Gewicht

388 g

Auflage

2013

Sprache

Englisch

ISBN

978-3-642-40614-0

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

26.08.2013

Abbildungen

IX, 241 p. 125 illus.

Herausgeber

Verlag

Springer Berlin

Seitenzahl

241

Maße (L/B/H)

23,5/15,5/1,4 cm

Gewicht

388 g

Auflage

2013

Sprache

Englisch

ISBN

978-3-642-40614-0

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: ProductSafety@springernature.com

Ein neues Kapitel für Ihre Bücher

Ein neues Kapitel für Ihre Bücher

Schenken Sie Ihren alten Schätzen ein zweites Leben und erhalten Sie dafür eine Thalia Geschenkkarte.

Jetzt verkaufen
Jetzt verkaufen

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)

  • Produktbild: Formal Methods for Components and Objects
  • Produktbild: Formal Methods for Components and Objects
  • 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.