- 5 Ergebnisse
Kleinster Preis: € 42,79, größter Preis: € 54,68, Mittelwert: € 47,84
1
Formal Methods for Components and Objects : 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers - Wolfgang Karl Hardle
Bestellen
bei hive.co.uk
£ 38,24
(ca. € 44,01)
Bestellen
Details und Versand
gesponserter Link
Wolfgang Karl Hardle:

Formal Methods for Components and Objects : 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers - neues Buch

2011, ISBN: 9783642358876

Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design for some time. However, their application to the development of … Mehr…

No. 9783642358876. Versandkosten:Instock, Despatched same working day before 3pm, zzgl. Versandkosten.
zuklappen (X)
2
Formal Methods for Components and Objects - Bernhard Beckert; Ferruccio Damiani; Frank S. de Boer; Marcello M. Bonsangue
Bestellen
bei Springer.com
€ 44,02
Bestellen
Details und Versand
gesponserter Link

Bernhard Beckert; Ferruccio Damiani; Frank S. de Boer; Marcello M. Bonsangue:

Formal Methods for Components and Objects - neues Buch

2011, ISBN: 9783642358876

Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design for some time. However, their application to the development of … Mehr…

new in stock. Versandkosten:zzgl. Versandkosten.
zuklappen (X)
3
Formal Methods for Components and Objects
Bestellen
bei Springer.com
€ 42,79
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Formal Methods for Components and Objects - neues Buch

2011

ISBN: 9783642358876

Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design for some time. However, their application to the development of … Mehr…

Nr. 978-3-642-35887-6. Versandkosten:Worldwide free shipping, , DE. (EUR 0.00)
zuklappen (X)
4
Bestellen
bei lehmanns.de
€ 54,68
Versand: € 9,951
Bestellen
Details beim Anbieter
gesponserter Link
Bernhard Beckert; Frank S. de Boer; Marcello M. Bonsangue; Ferruccio Damiani:
Formal Methods for Components and Objects - neues Buch

2013, ISBN: 9783642358876

10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers, eBooks, eBook Download (PDF), [PU: Springer Berlin Heidelberg], Springer Berlin Heidelbe… Mehr…

Versandkosten:Download sofort lieferbar. (EUR 9.95)
zuklappen (X)
5
Bestellen
bei lehmanns.de
€ 53,72
Versand: € 13,951
Bestellen
Details beim Anbieter
gesponserter Link
Bernhard Beckert; Frank S. de Boer; Marcello M. Bonsangue; Ferruccio Damiani:
Formal Methods for Components and Objects - neues Buch

2013, ISBN: 9783642358876

10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers, eBook Download (PDF), eBooks, [PU: Springer Berlin Heidelberg]

Versandkosten:Download sofort lieferbar, , Versandkostenfrei innerhalb der BRD. (EUR 13.95)
zuklappen (X)
1Da einige Plattformen keine Versandkonditionen übermitteln und diese vom Lieferland, dem Einkaufspreis, dem Gewicht und der Größe des Artikels, einer möglichen Mitgliedschaft der Plattform, einer direkten Lieferung durch die Plattform oder über einen Drittanbieter (Marketplace), etc. abhängig sein können, ist es möglich, dass die von eurobuch angegebenen Versandkosten nicht mit denen der anbietenden Plattform übereinstimmen.

Bibliographische Daten des bestpassenden Buches

Details zum Buch
Formal Methods for Components and Objects
Autor:
Titel:
ISBN-Nummer:

9783642358876

Detailangaben zum Buch - Formal Methods for Components and Objects


EAN (ISBN-13): 9783642358876
Erscheinungsjahr: 2011
Herausgeber: Springer Berlin Heidelberg

Buch in der Datenbank seit 2017-04-18T23:04:02+02:00 (Berlin)
Detailseite zuletzt geändert am 2023-09-07T10:52:20+02:00 (Berlin)
ISBN/EAN: 9783642358876

ISBN - alternative Schreibweisen:
978-3-642-35887-6
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: boer, bernhard frank, damiani, ferrucci, beckert, marcel bon, bons

Daten vom Verlag:

Autor/in: Bernhard Beckert; Ferruccio Damiani; Frank S. de Boer; Marcello M. Bonsangue
Titel: Programming and Software Engineering; Lecture Notes in Computer Science; Formal Methods for Components and Objects - 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers
Verlag: Springer; Springer Berlin
356 Seiten
Erscheinungsjahr: 2013-01-05
Berlin; Heidelberg; DE
Sprache: Englisch
53,49 € (DE)
55,00 € (AT)
59,00 CHF (CH)
Available
X, 356 p. 129 illus.

EA; E107; eBook; Nonbooks, PBS / Informatik, EDV/Informatik; Software Engineering; Verstehen; Web application; distributed systems; machine learning; model checking; software verification; B; Software Engineering; Compilers and Interpreters; Operating Systems; Computer Science Logic and Foundations of Programming; Computer and Information Systems Applications; Computer Science; Compiler und Übersetzer; Betriebssysteme; Theoretische Informatik; Angewandte Informatik; BC

The ASCENS Project.- ASCENS: Engineering Autonomic Service-Component Ensembles.- A Language-Based Approach to Autonomic Computing.- A Survey on Basic Connectors and Buffers.- The EternalS Coordination Action.- Synthesis-Based Variability Control: Correctness by Construction.- Modeling Application-Level Management of Virtualized Resources in ABS.- HATS Abstract Behavioral Specification: The Architectural View.- Automatic Service Categorisation through Machine Learning in Emergent Middleware.- Towards a Model- and Learning-Based Framework for Security Anomaly Detection.- Enhancing Model Driven Security through Pattern Refinement Techniques.- Project Zeppelin: A Modern Web Application Development Framework.- The ParaPhrase Project.- Managing Adaptivity in Parallel Systems.- The ParaPhrase Project: Parallel Patterns for Adaptive Heterogeneous Multicore Systems.- Paraphrasing: Generating Parallel Programs Using Refactoring.- An Abstract Annotation Model for Skeletons.- The PRO3D Project.- PRO3D, Programming for Future 3D Manycore Architectures: Project Interim Status.- Thermal-Aware Task Assignment for Real-Time Applications on Multi-Core Systems.- Component Assemblies in the Context of Manycore.- Low-Cost Dynamic Voltage and Frequency Management Based upon Robust Control Techniques under Thermal Constraints.
State of the art research in formal methods for components and objects Summary of a concertation meeting of European projects focussing on the topic Unique visibility
< zum Archiv...