Merkzettel Warenkorb
  • Produktbild: Foundations of Computer Software: Future Trends and Techniques for Development
  • Produktbild: Foundations of Computer Software: Future Trends and Techniques for Development

Foundations of Computer Software: Future Trends and Techniques for Development 15th Monterey Workshop 2008, Budapest, Hungary, September 24-26, 2008, Revised Selected Papers

Aus der Reihe Programming and Software Engineering

49,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Lieferung nach Hause

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

20.04.2010

Herausgeber

Christine Choppy + weitere

Verlag

Springer Berlin

Seitenzahl

275

Maße (L/B/H)

23,5/15,5/1,6 cm

Gewicht

441 g

Auflage

2010

Sprache

Englisch

ISBN

978-3-642-12565-2

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

20.04.2010

Herausgeber

Verlag

Springer Berlin

Seitenzahl

275

Maße (L/B/H)

23,5/15,5/1,6 cm

Gewicht

441 g

Auflage

2010

Sprache

Englisch

ISBN

978-3-642-12565-2

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: GPSR Kontakt

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: Foundations of Computer Software: Future Trends and Techniques for Development
  • Produktbild: Foundations of Computer Software: Future Trends and Techniques for Development
  • Revising the UML Collaborations: A Well-Founded Approach.- Client Synthesis for Aspect Oriented Web Services.- Formal Reasoning about Software Object Translations.- Software Engineering Techniques for the Development of Systems of Systems.- Simulation of LET Models in Simulink and Ptolemy.- Requirements for Service Composition in Ultra-Large Scale Software-Intensive Systems.- On the Pragmatics of Model-Based Design.- Modelling and Verification of Relay Interlocking Systems.- Refinement of Components in Connection-Safe Assemblies with Synchronous and Asynchronous Communication.- Experiences in Model Driven Verification of Behavior with UML.- Cross-Document Dependency Analysis for System-of-System Integration.- Performance Analysis of AADL Models Using Real-Time Calculus.- On Software Certification: We Need Product-Focused Approaches.