Muutke küpsiste eelistusi

Formal Methods for Components and Objects: 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures 2013 ed. [Pehme köide]

Edited by , Edited by , Edited by , Edited by
  • Formaat: Paperback / softback, 241 pages, kõrgus x laius: 235x155 mm, kaal: 3869 g, 125 Illustrations, black and white; IX, 241 p. 125 illus., 1 Paperback / softback
  • Sari: Lecture Notes in Computer Science 7866
  • Ilmumisaeg: 26-Aug-2013
  • Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
  • ISBN-10: 3642406149
  • ISBN-13: 9783642406140
Teised raamatud teemal:
  • Pehme köide
  • Hind: 45,00 €*
  • * hind on lõplik, st. muud allahindlused enam ei rakendu
  • Tavahind: 52,94 €
  • Säästad 15%
  • Raamatu kohalejõudmiseks kirjastusest kulub orienteeruvalt 2-4 nädalat
  • Kogus:
  • Lisa ostukorvi
  • Tasuta tarne
  • Tellimisaeg 2-4 nädalat
  • Lisa soovinimekirja
Formal Methods for Components and Objects: 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures 2013 ed.Suurem pilt
  • Formaat: Paperback / softback, 241 pages, kõrgus x laius: 235x155 mm, kaal: 3869 g, 125 Illustrations, black and white; IX, 241 p. 125 illus., 1 Paperback / softback
  • Sari: Lecture Notes in Computer Science 7866
  • Ilmumisaeg: 26-Aug-2013
  • Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
  • ISBN-10: 3642406149
  • ISBN-13: 9783642406140
Teised raamatud teemal:
Püsilink: https://www.kriso.ee/db/9783642406140.html
Märksõnad:
This book constitutes revised lectures from the 11th Symposium on Formal Methods for Components and Object, FMCO 2012, held in Bertinoro, Italy, in September 2012. The 8 lectures featured in this volume are by world-renowned experts within the area of formal models for objects and components. The book provides a unique combination of ideas on software engineering and formal methods which reflect the expanding body of knowledge on modern software systems.
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.