Cantitate/Preț
Produs
Total produse
Vezi coșul
Fundamentals of Software Engineering: 5th International Conference, FSEN 2013, Tehran, Iran, April 24-26, 2013, Revised Selected Papers de Farhad Arbab

Fundamentals of Software Engineering: 5th International Conference, FSEN 2013, Tehran, Iran, April 24-26, 2013, Revised Selected Papers: Lecture Notes in Computer Science, cartea 8161

Editat de Farhad Arbab, Marjan Sirjani
en Limba Engleză Paperback – 13 sep 2013
This book constitutes the proceedings of the 5th IPM International Conference on Fundamentals of Software Engineering, FSEN 2013, held in Tehran, Iran, in April 2013. The 17 full papers presented in this volume were carefully reviewed and selected from 65 submissions. The topics of interest in FSEN span over all aspects of formal methods, especially those related to advancing the application of formal methods in software industry and promoting their integration with practical engineering techniques.
Citește tot Restrânge

Toate formatele și edițiile

Toate formatele și edițiile Preț Express
Paperback (3) 32603 lei  6-8 săpt.
  Springer Berlin, Heidelberg – 13 sep 2013 32603 lei  6-8 săpt.
  Springer Berlin, Heidelberg – 5 apr 2012 33039 lei  6-8 săpt.
  Springer Berlin, Heidelberg – 27 ian 2010 33671 lei  6-8 săpt.

Din seria Lecture Notes in Computer Science

Preț: 32603 lei

Preț vechi: 40754 lei
-20% Nou

Puncte Express: 489
Preț estimativ în valută:
6240€ • 6486$ • 5169£

Carte tipărită la comandă

Livrare economică 04-18 februarie 25

 Adaugă în coș

Wish list
Gift list
Am citit!
Adaugă în listă
Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9783642402128
ISBN-10: 3642402127
Pagini: 304
Ilustrații: XIX, 283 p. 85 illus.
Dimensiuni: 155 x 235 x 16 mm
Greutate: 0.43 kg
Ediția:2013
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seriile Lecture Notes in Computer Science, Programming and Software Engineering

Locul publicării:Berlin, Heidelberg, Germany

Public țintă

Research

Cuprins

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 Protocolfor 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.

Caracteristici

Conference proceedings of the International Conference on Fundamentals of Software Engineering, FSEN 2013 Includes supplementary material: sn.pub/extras

Textul de pe ultima copertă

This book constitutes the thoroughly refereed post-conference proceedings of the Third International Conference on Fundamentals of Software Engineering, FSEN 2009, held in Kish Island, Iran, in April 2009.
The 22 revised full papers and 5 revised short papers presented together with 3 invited lectures were carefully reviewed and selected from 88 submissions. The topics include models of programs and systems, software specification, validation and verification, software architectures and their description languages, object and multi-agent systems, coordination and feature interaction, integration of formal and informal methods, integration of different formal methods, component-based development, service-oriented development, model checking and theorem proving, software and hardware verification and CASE tools and tool integration.