- 5 Ergebnisse
Kleinster Preis: € 51,28, größter Preis: € 74,99, Mittelwert: € 59,77
1
Formal Aspects of Component Software - 50-99.99
Bestellen
bei ebooks.com
€ 54,99
Bestellengesponserter Link
50-99.99:

Formal Aspects of Component Software - neues Buch

2010, ISBN: 9783642272691

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 f… Mehr…

new in stock. Versandkosten:plus shipping costs., zzgl. Versandkosten
2
Formal Aspects of Component Software - 50-99.99
Bestellen
bei ebooks.com
€ 74,99
Bestellengesponserter Link

50-99.99:

Formal Aspects of Component Software - neues Buch

2010, ISBN: 9783642272691

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 fu… Mehr…

new in stock. Versandkosten:zzgl. Versandkosten.
3
Formal Aspects of Component Software : 7th International Workshop, FACS 2010, Guimaraes, Portugal, October 14-16, 2010, Revised Selected Papers - Heinrich Kruger
Bestellen
bei hive.co.uk
£ 45,89
(ca. € 51,28)
Bestellengesponserter Link
Heinrich Kruger:
Formal Aspects of Component Software : 7th International Workshop, FACS 2010, Guimaraes, Portugal, October 14-16, 2010, Revised Selected Papers - neues Buch

2010

ISBN: 9783642272691

; PDF; Computing > Computer hardware > Network hardware, Vieweg+Teubner Verlag

  - No. 9783642272691. Versandkosten:Instock, Despatched same working day before 3pm, zzgl. Versandkosten.
4
Bestellen
bei lehmanns.de
€ 64,09
Versand: € 0,001
Bestellengesponserter Link
Luis Soares Barbosa; Markus Lumpe:
Formal Aspects of Component Software - neues Buch

2012, ISBN: 9783642272691

7th International Workshop, FACS 2010, Guimaraes, Portugal, October 14-16, 2010, Revised Selected Papers, eBook Download (PDF), eBooks, [PU: Springer Berlin Heidelberg]

Versandkosten:Download sofort lieferbar, , Versandkostenfrei innerhalb der BRD. (EUR 0.00)
5
Bestellen
bei eBook.de
€ 53,49
Bestellengesponserter Link
Formal Aspects of Component Software - neues Buch

2010, ISBN: 9783642272691

Formal Aspects of Component Software ab 53.49 EURO 7th International Workshop, FACS 2010, Guimarães, Portugal, October 14-16, 2010, Revised Selected Papers Medien > Bücher, [PU: Springer,… Mehr…

  - Nr. Versandkosten:, , zzgl. Versandkosten.

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

Detailangaben zum Buch - Formal Aspects of Component Software


EAN (ISBN-13): 9783642272691
Erscheinungsjahr: 2010
Herausgeber: Springer Berlin Heidelberg

Buch in der Datenbank seit 2017-02-19T15:04:13+01:00 (Berlin)
Detailseite zuletzt geändert am 2020-11-06T11:53:45+01:00 (Berlin)
ISBN/EAN: 9783642272691

ISBN - alternative Schreibweisen:
978-3-642-27269-1
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: alf krüger, teubner
Titel des Buches: aspects form, guimaraes


Daten vom Verlag:

Autor/in: Luis Soares Barbosa; Markus Lumpe
Titel: Programming and Software Engineering; Lecture Notes in Computer Science; Formal Aspects of Component Software - 7th International Workshop, FACS 2010, Guimarães, Portugal, October 14-16, 2010, Revised Selected Papers
Verlag: Springer; Springer Berlin
305 Seiten
Erscheinungsjahr: 2012-01-19
Berlin; Heidelberg; DE
Sprache: Englisch
53,49 € (DE)
55,00 € (AT)
59,00 CHF (CH)
Available
X, 305 p.

EA; E107; eBook; Nonbooks, PBS / Informatik, EDV/Informatik; Software Engineering; Verstehen; aspect-oriented modeling; constraint automata ^; graph transformation; object orientation; run-time verification; C; Software Engineering; Computer Science Logic and Foundations of Programming; Compilers and Interpreters; Formal Languages and Automata Theory; Programming Techniques; Computer Communication Networks; Computer Science; Theoretische Informatik; Compiler und Übersetzer; Computerprogrammierung und Softwareentwicklung; Netzwerk-Hardware; BC

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.
Up-to-date results Fast-track conference proceedings State-of-the-art research

< zum Archiv...