Lumpe markus (45 risultati)

Paperback. Condizione: Very Good. Sorry, No international shipping on this item.Ex-library paperback in very nice condition with the usual markings and attachments.

Condizione: New. pp. 298.

Condizione: New. pp. 298 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam.

Condizione: New. pp. 298.

Condizione: New.

Condizione: New.

Paperback or Softback. Condizione: New. Formal Aspects of Component Software: 7th International Workshop, Facs 2010, Guimar�es, Portugal, October 14-16, 2010, Revised Selected Papers. Book.

Condizione: New.

Condizione: As New. Unread book in perfect condition.

Condizione: As New. Unread book in perfect condition.

Paperback. Condizione: New. 2012. This book constitutes revised selected papers of the 7th International Workshop on Formal Aspects of Component Software, FACS 2010, held in Guimarães, Portugal, in October 2010. The 13 full papers and 4 short papers presented together with 1 panel discussion and 2 invited talks were carefully reviewed and selected from 37 submissions. The workshop seeks to develop a better understanding on how formal methods can or should be used for component-based software development to succeed.…

Condizione: As New. Unread book in perfect condition.

Paperback. Condizione: New.

PF. Condizione: New.

Condizione: New.

Condizione: New.

Condizione: New. In English.

Condizione: New.

Condizione: New.

Condizione: New. In English.

Condizione: New. In English.

Condizione: As New. Unread book in perfect condition.

Condizione: As New. Unread book in perfect condition.

Condizione: As New. Unread book in perfect condition.

Condizione: New.

Paperback. Condizione: Brand New. 264 pages. 9.25x6.10x0.59 inches. In Stock.

Paperback. Condizione: Brand New. 1st edition. 280 pages. 9.00x6.00x0.75 inches. In Stock.

Paperback. Condizione: Brand New. 2012 edition. 315 pages. 9.30x6.10x0.70 inches. In Stock.

Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - OnbehalfoftheOrganizingCommitteewearepleasedtopresenttheproceedings ofthe2007SymposiumonSoftwareComposition(SC2007).ThegoalofSC2007 wastobringtogethertheresearchandindustrialcommunitiesinordertoaddress the challenges of the component-based softwaredevelopment approach. SC 2007 was the sixth symposium on software composition in the SC series that seeks to develop a better understanding of how software components may be used to build and maintain large software systems. This LNCS volume contains the revised versions of the papers presented at SC 2007, which was held as a satellite event of the European Joint Conferences on Theory and Practice of Software (ETAPS) in Braga, Portugal, March 24-25, 2007. The symposium began with a keynote on 'Composition by Anonymous Parties' by Farhad Arbab (CWI and Leiden University). The main program consisted of six technical sessions related to speci c aspects of component-based software development. In response to the call for papers, we received 59 submissions from over 20 countries and 6 continents. Each paper was reviewed by at least three Program Committeemembers.TheentirereviewingprocesswassupportedbyMicrosoft's Conference Management Toolkit. In total, 15 submissions were accepted as full papers and 5 submissions were accepted as short papers.…

Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the thoroughly revised selected papers from the 14th International Conference on Formal Aspects of Component Software, FACS 2017, held in Braga, Portugal, in October 2017. The 14 full papers presented were carefully reviewed and selected from 26 submissions. FACS 2016 is concerned with how formal methods can be used to make component-based and service-oriented software development succeed. Formal methods have provided a foundation for component-based software by successfully addressing challenging issues such as mathematical models for components, composition and adaptation, or rigorous approaches to verification, deployment, testing, and certification.…