Vor Ort
Merkzettel Warenkorb

Gutscheinbedingungen

**Gültig bis 14.09.2026 auf Spielzeug, Schreibwaren, Filme, Geschenke & Trends, Musik, tolino eReader & Zubehör, Hörbücher, nicht preisgebundene Bücher und Kalender in der Thalia App. Einzelne Artikel können ausgeschlossen sein. Aufgrund der Buchpreisbindung sind deutschsprachige Bücher und eBooks ausgenommen. Zusätzlich ausgenommen sind Abos & Flatrates, Games, Geschenkkarten/-boxen, Shelfies, Software, Zeitschriften sowie einzelne Artikel von tonies®. Pro Einkauf einmal einlösbar. Nur gültig mit im Onlineshop hinterlegter Bonuscard. Click & Collect nur bei Onlinevorabzahlung möglich. Keine Barauszahlung. Nicht kombinierbar mit anderen Aktionen und Gutscheinen. Gutschein wird auf max. 500€ Bestellwert angerechnet. Nicht gültig für Versandkosten und Services.
Produktbild: Fundamentals of Software Engineering
Band 5961

Fundamentals of Software Engineering Third IPM International Conference, FSEN 2009, Kish Island, Iran, April 15-17, 2009, Revised Selected Papers

Aus der Reihe Programming and Software Engineering

51,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

27.01.2010

Abbildungen

mit Illustrationen

Herausgeber

Farhad Arbab + weitere

Verlag

Springer Berlin

Seitenzahl

471

Maße (L/B/H)

23,6/15,7/2,8 cm

Gewicht

733 g

Auflage

2010. Edition

Sprache

Englisch

ISBN

978-3-642-11622-3

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

27.01.2010

Abbildungen

mit Illustrationen

Herausgeber

Verlag

Springer Berlin

Seitenzahl

471

Maße (L/B/H)

23,6/15,7/2,8 cm

Gewicht

733 g

Auflage

2010. Edition

Sprache

Englisch

ISBN

978-3-642-11622-3

Herstelleradresse

Springer-Verlag GmbH
Heidelberger Platz 3
14197 Berlin
Deutschland
Email: sdc-bookservice@springer.com
Url: www.springer.com
Telephone: +49 30 827870
Fax: +49 30 8214091

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: Fundamentals of Software Engineering

  • Session 1. Invited Papers.- A Process-Theoretic Look at Automata.- Verification, Performance Analysis and Controller Synthesis for Real-Time Systems.- rCOS: Theory and Tool for Component-Based Model Driven Development.- Session 2. Regular Papers.- Termination in Higher-Order Concurrent Calculi.- Typing Asymmetric Client-Server Interaction.- Equational Reasoning on Ad Hoc Networks.- Towards a Notion of Unsatisfiable Cores for LTL.- Rule Formats for Determinism and Idempotence.- The Complexity of Reachability in Randomized Sabotage Games.- Applying Step Coverability Trees to Communicating Component-Based Systems.- Program Logics for Sequential Higher-Order Control.- Modular Schedulability Analysis of Concurrent Objects in Creol.- A Timed Calculus for Wireless Systems.- Model Checking Linear Duration Invariants of Networks of Automata.- Automata Based Model Checking for Reo Connectors.- On the Expressiveness of Refinement Settings.- Bounded Rational Search for On-the-Fly Model Checking of LTL Properties.- Automated Translation and Analysis of a ToolBus Script for Auctions.- Executable Interface Specifications for Testing Asynchronous Creol Components.- Compositional Strategy Mapping.- A Sound Analysis for Secure Information Flow Using Abstract Memory Graphs.- Refinement Patterns for Hierarchical UML State Machines.- Specification and Validation of Behavioural Protocols in the rCOS Modeler.- The Interplay between Relationships, Roles and Objects.- A Coordination Model for Interactive Components.- Session 3. Short Papers.- Evolution Control in MDE Projects: Controlling Model and Code Co-evolution.- An xADL Extension for Managing Dynamic Deployment in Distributed Service Oriented Architectures.- A First Step towards Security Policy Compliance of Connectors.- A Safe Implementation of Dynamic Overloading in Java-Like Languages.- Fundamental Concepts for the Structuring of Functionality into Modular Parts.