markus lumpe (13 Ergebnisse)

Zustand: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.

Zustand: 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.

Zustand: Sehr gut. Auflage: 2007. 296 Seiten Exemplar aus einer wissenchaftlichen Bibliothek Sprache: Englisch Gewicht in Gramm: 469 22,9 x 15,5 x 1,8 cm, Taschenbuch.

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

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

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

Zustand: New.

Kartoniert / Broschiert. Zustand: New.

Taschenbuch. Zustand: Neu. Neuware -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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 264 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -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. 296 pp. Englisch.

Taschenbuch. Zustand: 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.

Taschenbuch. Zustand: 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.

Zustand: Sehr gut. Zustand: Sehr gut | Seiten: 305 | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar.