Beschreibung
Herstellerkennzeichnung:
Springer Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE
E-Mail: juergen.hartmann@springer.com
Verified Software: Theories, Tools, Experiments
Lieferzeit: Lieferbar innerhalb 14 Tagen
53,49 €
inkl. 7 % MwSt. zzgl. Versandkosten
Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19,2010, Proceedings, Lecture Notes in Computer Science 6217 – Programming and Software Engineering
| ISBN: | 364215056X |
|---|---|
| ISBN 13: | 9783642150562 |
| Herausgeber: | Gary T Leavens/Peter O’Hearn/Sriram K Rajamani |
| Verlag: | Springer Verlag GmbH |
| Umfang: | x, 217 S., 68 s/w Illustr., 217 p. 68 illus. |
| Erscheinungsdatum: | 05.08.2010 |
| Auflage: | 1/2010 |
| Produktform: | Kartoniert |
| Einband: | Kartoniert |
Fast track conference proceedingUnique visibilityState of the art research
Das könnte Ihnen auch gefallen …
-
![Produktbild: Ein Experiment]()
Ein Experiment
6,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Das Experiment]()
Das Experiment
15,50 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Multicore Software Engineering, Performance and Tools]()
Multicore Software Engineering, Performance and Tools
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Ada Software Tools Interfaces]()
Ada Software Tools Interfaces
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Dependable Software Engineering. Theories, Tools, and Applications]()
Dependable Software Engineering. Theories, Tools, and Applications
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Software Reuse: Methods, Techniques, and Tools]()
Software Reuse: Methods, Techniques, and Tools
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Duchamps Experiment]()
Duchamps Experiment
72,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: VLISP A Verified Implementation of Scheme]()
VLISP A Verified Implementation of Scheme
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Theorie und Planung Psychologischer Experimente]()
Theorie und Planung Psychologischer Experimente
54,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Software Development Tools]()
Software Development Tools
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Dependable Software Engineering. Theories, Tools, and Applications]()
Dependable Software Engineering. Theories, Tools, and Applications
85,59 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Das Experiment]()
Das Experiment
13,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Theorie und Experiment in der Psychologie]()
Theorie und Experiment in der Psychologie
109,95 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Intelligent Software Methodologies, Tools and Techniques]()
Intelligent Software Methodologies, Tools and Techniques
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Tools for Practical Software Verification]()
Tools for Practical Software Verification
49,22 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: BRÜCKENSCHLAG ZWISCHEN THEORIE UND EXPERIMENT: INNOVATIVE PROJEKTE FÜR GRUNDSCHÜLER]()
BRÜCKENSCHLAG ZWISCHEN THEORIE UND EXPERIMENT: INNOVATIVE PROJEKTE FÜR GRUNDSCHÜLER
43,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: The Impact of the Verified Gross Mass Regulations in Port Operations]()
The Impact of the Verified Gross Mass Regulations in Port Operations
39,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: KNX/EIB Engineering Tool Software]()
KNX/EIB Engineering Tool Software
45,80 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Dependable Software Engineering: Theories, Tools, and Applications]()
Dependable Software Engineering: Theories, Tools, and Applications
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Verified Software. Theories, Tools and Experiments.]()
Verified Software. Theories, Tools and Experiments.
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Verified Software: Theories, Tools, Experiments]()
Verified Software: Theories, Tools, Experiments
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Die operante Konditionierung.Ein Experiment mit Bezug zur Theorie]()
Die operante Konditionierung.Ein Experiment mit Bezug zur Theorie
15,95 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Experiment und Exploration]()
Experiment und Exploration
29,80 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Software Security -- Theories and Systems]()
Software Security — Theories and Systems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Verified Software. Theories, Tools and Experiments]()
Verified Software. Theories, Tools and Experiments
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Role of software requirements management tools in rework & software project success]()
Role of software requirements management tools in rework & software project success
44,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Dependable Software Engineering. Theories, Tools, and Applications]()
Dependable Software Engineering. Theories, Tools, and Applications
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Verified Software. Theories, Tools and Experiments]()
Verified Software. Theories, Tools and Experiments
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Advances in Software Tools for Scientific Computing]()
Advances in Software Tools for Scientific Computing
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Das letzte Experiment]()
Das letzte Experiment
12,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Guide to Graphics Software Tools]()
Guide to Graphics Software Tools
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: VLISP A Verified Implementation of Scheme]()
VLISP A Verified Implementation of Scheme
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Verified Software: Theories, Tools and Experiments]()
Verified Software: Theories, Tools and Experiments
51,36 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Dependable Software Engineering. Theories, Tools, and Applications]()
Dependable Software Engineering. Theories, Tools, and Applications
69,54 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: FM8501: A Verified Microprocessor]()
FM8501: A Verified Microprocessor
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Das Experiment]()
Das Experiment
7,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Software Tools and Algorithms for Biological Systems]()
Software Tools and Algorithms for Biological Systems
213,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: TOOLS]()
TOOLS
19,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Theorie und Experiment in der Psychologie]()
Theorie und Experiment in der Psychologie
33,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Das Experiment]()
Das Experiment
76,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Dependable Software Engineering. Theories, Tools, and Applications]()
Dependable Software Engineering. Theories, Tools, and Applications
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: The Bible Verified]()
The Bible Verified
21,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Experiment Arbeitsweltredaktion]()
Experiment Arbeitsweltredaktion
22,50 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Ideen und Experimente für eine einheitliche Theorie der Materie]()
Ideen und Experimente für eine einheitliche Theorie der Materie
54,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Bioinformatics Software Tools]()
Bioinformatics Software Tools
35,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Das Experiment]()
Das Experiment
12,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: The Bible Verified]()
The Bible Verified
20,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Theorie und Design von FRAP-Experimenten auf komplexen Geometrien]()
Theorie und Design von FRAP-Experimenten auf komplexen Geometrien
59,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Software Regression Tools and Methods]()
Software Regression Tools and Methods
39,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Hypothese, Experiment, Theorie]()
Hypothese, Experiment, Theorie
109,95 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Software Tools: Automatisierung im Software Engineering]()
Software Tools: Automatisierung im Software Engineering
54,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Verified Software: Theories, Tools, Experiments]()
Verified Software: Theories, Tools, Experiments
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Experimente]()
Experimente
38,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Multicore Software Engineering, Performance, and Tools]()
Multicore Software Engineering, Performance, and Tools
49,22 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Numerical Toolbox for Verified Computing II]()
Numerical Toolbox for Verified Computing II
64,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Verified Software. Theories, Tools, and Experiments]()
Verified Software. Theories, Tools, and Experiments
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Verified Software: Theories, Tools, Experiments]()
Verified Software: Theories, Tools, Experiments
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Schreibtisch-Experimente]()
Schreibtisch-Experimente
11,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Das Experiment]()
Das Experiment
8,95 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Verified Software. Theories, Tools, and Experiments]()
Verified Software. Theories, Tools, and Experiments
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Software Reuse: Methods, Techniques, and Tools]()
Software Reuse: Methods, Techniques, and Tools
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Verified Software. Theories, Tools, and Experiments]()
Verified Software. Theories, Tools, and Experiments
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Einsatz von CAME-Tools zur Qualitätssicherung in großen Software-Projekten]()
Einsatz von CAME-Tools zur Qualitätssicherung in großen Software-Projekten
38,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Experiment und Literatur]()
Experiment und Literatur
39,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Das Experiment]()
Das Experiment
19,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Das Experiment]()
Das Experiment
22,95 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Das Experiment]()
Das Experiment
10,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Modern Software Tools for Scientific Computing]()
Modern Software Tools for Scientific Computing
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Software Tools and Algorithms for Biological Systems]()
Software Tools and Algorithms for Biological Systems
213,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Tools]()
Tools
40,00 €inkl. 19 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Software Quality: Methods and Tools for Better Software and Systems]()
Software Quality: Methods and Tools for Better Software and Systems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Theorien und Experimente der Moderne]()
Theorien und Experimente der Moderne
55,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Dependable Software Engineering: Theories, Tools, and Applications]()
Dependable Software Engineering: Theories, Tools, and Applications
51,36 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Software Engineering Tools]()
Software Engineering Tools
53,45 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Dependable Software Engineering. Theories, Tools, and Applications]()
Dependable Software Engineering. Theories, Tools, and Applications
80,24 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Software Technology: Methods and Tools]()
Software Technology: Methods and Tools
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Numerical Methods and Software Tools in Industrial Mathematics]()
Numerical Methods and Software Tools in Industrial Mathematics
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Mathematische Theorie statistischer Experimente]()
Mathematische Theorie statistischer Experimente
49,95 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Verified Software: Theorie, Tools, Experiments]()
Verified Software: Theorie, Tools, Experiments
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Dependable Software Engineering. Theories, Tools, and Applications]()
Dependable Software Engineering. Theories, Tools, and Applications
79,17 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Guide to Graphics Software Tools]()
Guide to Graphics Software Tools
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Es ist ein Experiment]()
Es ist ein Experiment
39,80 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Entwicklung eines Software-Tools zu Grundstücksvergabeverfahren für Klein- und Mittelstädte]()
Entwicklung eines Software-Tools zu Grundstücksvergabeverfahren für Klein- und Mittelstädte
47,95 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: C++ Toolbox for Verified Computing I]()
C++ Toolbox for Verified Computing I
117,69 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Dependable Software Engineering. Theories, Tools, and Applications]()
Dependable Software Engineering. Theories, Tools, and Applications
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Tools]()
Tools
24,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Verified Software. Theories, Tools, and Experiments]()
Verified Software. Theories, Tools, and Experiments
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Theories and Experiments in High-Energy Physics]()
Theories and Experiments in High-Energy Physics
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Software Tools to Facilitate Research]()
Software Tools to Facilitate Research
35,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Numerical Methods and Software Tools in Industrial Mathematics]()
Numerical Methods and Software Tools in Industrial Mathematics
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Das Experiment]()
Das Experiment
62,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: 'Wir sind Experimente: wollen wir es auch sein!']()
‚Wir sind Experimente: wollen wir es auch sein!‘
34,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Verified Signal Processing Algorithms in MATLAB and C]()
Verified Signal Processing Algorithms in MATLAB and C
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Numerical Toolbox for Verified Computing I]()
Numerical Toolbox for Verified Computing I
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Intelligent Software Methodologies, Tools and Techniques]()
Intelligent Software Methodologies, Tools and Techniques
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Verified Software: Theories, Tools, and Experiments]()
Verified Software: Theories, Tools, and Experiments
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Grid Computing: Software Environments and Tools]()
Grid Computing: Software Environments and Tools
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Verified Signal Processing Algorithms in MATLAB and C]()
Verified Signal Processing Algorithms in MATLAB and C
74,89 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: The Bible verified]()
The Bible verified
21,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Using Toolpack Software Tools]()
Using Toolpack Software Tools
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb
