Vor Ort
Merkzettel Warenkorb
  • Produktbild: Fundamentals of Software Engineering
  • Produktbild: Fundamentals of Software Engineering
Band 5961

Fundamentals of Software Engineering 5th International Conference, FSEN 2013, Tehran, Iran, April 24-26, 2013, Revised Selected Papers

Aus der Reihe Programming and Software Engineering

51,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

13.09.2013

Abbildungen

XIX, 85 illus., schwarz-weiss Illustrationen

Herausgeber

Farhad Arbab + weitere

Verlag

Springer Berlin

Seitenzahl

283

Maße (L/B/H)

23,5/15,5/1,7 cm

Gewicht

464 g

Auflage

2013

Sprache

Englisch

ISBN

978-3-642-40212-8

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

13.09.2013

Abbildungen

XIX, 85 illus., schwarz-weiss Illustrationen

Herausgeber

Verlag

Springer Berlin

Seitenzahl

283

Maße (L/B/H)

23,5/15,5/1,7 cm

Gewicht

464 g

Auflage

2013

Sprache

Englisch

ISBN

978-3-642-40212-8

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: Fundamentals of Software Engineering
  • Produktbild: Fundamentals of Software Engineering
  • Unbounded Allocation in Bounded Heaps.- On the Complexity of Adding Convergence.- Deadlock Checking by Data Race Detection.- Delta Modeling and Model Checking of Product Families.- Lending Petri Nets and Contracts.- On Efficiency Preorders.- Compiling Cooperative Task Management to Continuations.- Extending UPPAAL for the Modeling and Verification of Dynamic Real-Time Systems.- Efficient Operational Semantics for EB3 for Verification of Temporal Properties.- Interval Soundness of Resource-Constrained Workflow Nets: Decidability and Repair.- Statistical Model Checking of a Clock Synchronization Protocol
    for Sensor Networks.- A New Representation of Two-Dimensional Patterns and Applications to Interactive Programming.- Push-Down Automata with Gap-Order Constraints.- Model Checking MANETs with Arbitrary Mobility.- Validating SCTP Simultaneous Open Procedure.- Improving Time Bounded Reachability Computations in Interactive Markov Chains.- Checking Compatibility of Web Services Behaviorally.