Klimaneutrales UnternehmenFaire PreiseSchneller & kostenloser Versand
Tools and Algorithms for the Construction and Analysis of Systems

Tools and Algorithms for the Construction and Analysis of Systems

90,94 €

inkl. MwSt. versandkostenfrei

Lieferzeit 1 Werktag(e)

Kurzinformation
Sprache:
Englisch
ISBN:
3540787992
Seitenzahl:
518
Auflage:
-
Erschienen:
2008-03-18
Dein Kauf tut Gutes! Mit diesem Kauf trägst Du zur Neupflanzung eines Baumes bei. Jeder Baum zählt! Green Tree

Gebrauchte Bücher kaufen

Information
Das Buch befindet sich in einem sehr guten, unbenutzten Zustand.
Information
Das Buch befindet sich in einem sehr guten, gelesenen Zustand. Die Seiten und der Einband sind intakt. Buchrücken/Ecken/Kanten können leichte Gebrauchsspuren aufweisen.
Information
Das Buch befindet sich in einem guten, gelesenen Zustand. Die Seiten und der Einband sind intakt. Buchrücken/Ecken/Kanten können Knicke/Gebrauchsspuren aufweisen.
Information
Das Buch befindet sich in einem lesbaren Zustand. Die Seiten und der Einband sind intakt, jedoch weisen Buchrücken/Ecken/Kanten starke Knicke/Gebrauchsspuren auf. Zusatzmaterialien können fehlen.

Neues Buch oder eBook (pdf) kaufen

Information
Neuware - verlagsfrische aktuelle Buchausgabe.
Natural CO2 neutral
Coins Faire Preise
Check Schnelle & einfache Abwichlung
90,94 €

inkl. MwSt. versandkostenfrei

Lieferzeit 1 Werktag(e)

90,94 €

inkl. MwSt. versandkostenfrei


Beschreibung

Tools and Algorithms for the Construction and Analysis of Systems
14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008, Proceedings

ETAPS2008wasthe11thinstanceoftheEuropeanJointConferencesonTheory and Practice of Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of existing and new conferences. This yearit comprised?ve conferences (CC, ESOP,FASE, FOSSACS, TACAS), 22satelliteworkshops(ACCAT,AVIS,Bytecode,CMCS,COCV,DCC,FESCA, FIT, FORMED, GaLoP, GT-VMT, LDTA, MBT, MOMPES, PDMC, QAPL, RV,SafeCert,SC,SLA++P,WGT,andWRLA),ninetutorials,andseveninvited lectures (excluding those that were speci?c to the satellite events). The ?ve main conferences received 571 submissions, 147 of which were accepted, giving an overall acceptance rate of less than 26%, with each conference below 27%. Congratulationsthereforetoallthe authorswhomadeittothe ?nalprogramme! I hope that most of the other authors will still have found a way of participating in this exciting event, and that you will all continue submitting to ETAPS and contributing to make of it the best conference in the area. The events that comprise ETAPS address various aspects of the system - velopment process, including speci?cation, design, implementation, analysis and improvement. The languages, methodologies and tools which support these - tivities are all well within its scope. Di?erent blends of theory and practice are represented, with an inclination towards theory with a practical motivation on the one hand and soundly based practice on the other. Many of the issues involved in software design apply to systems in general, including hardware s- tems, and the emphasis on software is not intended to be exclusive. von Ramakrishnan, C. R.

Produktdetails

Einband:
Kartoniert
Seitenzahl:
518
Erschienen:
2008-03-18
Sprache:
Englisch
EAN:
9783540787990
ISBN:
3540787992
Gewicht:
809 g
Auflage:
-
Verwandte Sachgebiete:

Über den Autor


Entdecke mehr vom Verlag


Kundenbewertungen

0
Kundenbewertungen für "Tools and Algorithms for the Construction and Analysis of Systems"
Bewertung schreiben
Bewertungen werden nach Überprüfung freigeschaltet.

Die mit einem * markierten Felder sind Pflichtfelder.

Ich habe die Datenschutzbestimmungen zur Kenntnis genommen.


Neu
90,94 €
Zuletzt angesehen
Entdecke mehr Gebrauchtes für Dich
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
A Course in Statistics with R A Course in Statistics with R
Tattar, Prabhanjan N.;Ramai...
22,83 €
frontend/listing/product-box/box-product-slider.tpl
REST und HTTP REST und HTTP
Tilkov, Stefan
37,90 €
frontend/listing/product-box/box-product-slider.tpl
Einstieg in C++ Einstieg in C++
Willemer, Arnold
20,27 €
frontend/listing/product-box/box-product-slider.tpl
Typographie kompakt Typographie kompakt
Bollwage, Max
8,37 €
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
Technisches Schreiben Technisches Schreiben
Rechenberg, Peter
6,12 €
frontend/listing/product-box/box-product-slider.tpl
Beautiful Architecture Beautiful Architecture
Spinellis, Diomidis;Gousios...
17,80 €
frontend/listing/product-box/box-product-slider.tpl
Wien wartet auf Dich! Wien wartet auf Dich!
DeMarco, Tom;Lister, Timothy;
1,49 €
frontend/listing/product-box/box-product-slider.tpl
Facebook für Dummies Facebook für Dummies
Pearlman, Leah;Abram, Carolyn;
10,25 €