Formal Methods for Multicore Programming
Lieferzeit: Lieferbar innerhalb 14 Tagen
51,36 €
inkl. 7 % MwSt. zzgl. Versandkosten
15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19,2015, Advanced Lectures, Lecture Notes in Computer Science 9104 – Programming and Software Engineering
| ISBN: | 3319189409 |
|---|---|
| ISBN 13: | 9783319189406 |
| Herausgeber: | Marco Bernardo/Einar Broch Johnsen |
| Verlag: | Springer Verlag GmbH |
| Umfang: | vii, 211 S., 72 s/w Illustr., 211 p. 72 illus. |
| Erscheinungsdatum: | 19.05.2015 |
| Auflage: | 1/2015 |
| Produktform: | Kartoniert |
| Einband: | KT |
Original, readable and useful lecture notes written by leading expertsMade for students, researchers and practitionersCovers a variety of topics in formal methods for software systems, with particular focus on modeling and verification; runtime assessment and testingA detailed preface, introducing the chapters, is included in the front matter and is freely available for perusal on SpringerLinkIncludes supplementary material: sn.pub/extras
Das könnte Ihnen auch gefallen …
-
![]()
Ein Vorgehen für die Portierung sequenzieller Software auf Multicore-Plattformen.
48,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Formal Methods in Systems Engineering
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
MULTICORE ARCHITECTURE : Performance Aware Schedulers
71,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Integrated Formal Methods
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
NASA Formal Methods
79,17 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Memory Subsystem in Multicore Architectures
51,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Performance Enhancement in Multicore Processors
54,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Integrated Formal Methods
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
FM 2005: Formal Methods
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Integrated Formal Methods
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Formal Methods
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Formal Methods for Hardware Verification
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
NASA Formal Methods
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Integrated Formal Methods
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
NASA Formal Methods
69,54 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Multicore Software Engineering, Performance and Tools
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Effectiveness of Tracing in a Multicore Environment
59,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
FM 2011: Formal Methods
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Leibniz Methode der formalen Begründung
109,95 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Heterogeneous Multicore Processor Technologies for Embedded Systems
119,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Formal Methods in Architecture
213,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Formal Methods in Architecture
165,84 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Formal Methods in Systems Biology
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Formal Methods in Programming and Their Applications
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
FM 2015: Formal Methods
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Formale Methoden und kleine Systeme
74,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Integrated Formal Methods
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Integrated Formal Methods
85,59 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
FM’99 – Formal Methods
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Formal Methods for Software Engineering
58,84 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Multicore Software Engineering, Performance, and Tools
49,22 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Dependable Multicore Architectures at Nanoscale
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
NASA Formal Methods
79,17 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Formal Methods for Mobile Computing
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
NASA Formal Methods
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Formal Methods
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Formal Methods Teaching
58,84 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Thread and Data Mapping for Multicore Systems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Multicore Processors and Systems
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Formal Methods Teaching
58,84 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Integrated Formal Methods
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
NASA Formal Methods
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Integrated Formal Methods
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
FM 2014: Formal Methods
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Formal Methods
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Heterogeneous Multicore Technologies for Embedded Systems
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Smart Multicore Embedded Systems
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Facing the Multicore-Challenge III
49,22 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Smart Multicore Embedded Systems
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Formal Methods for an Informal World
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Integration von Prozessen mit formalen Methoden
59,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Integrated Formal Methods
117,69 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
FM 2012: Formal Methods
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Formal Methods in Policy Formulation
79,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Unifying Theories of Programming and Formal Engineering Methods
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Theories of Programming and Formal Methods
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Integrated Formal Methods
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Formal Methods
96,29 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
FM 2009: Formal Methods
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Integrated Formal Methods
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Multicore Processors and Systems
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Formal Methods in Developmental Psychology
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Formal Methods in Macro-Biology
51,36 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Verifying multicore software : A case study
39,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Formal Methods in Architecture
235,39 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Multicore: Parallele Programmierung
27,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
FM 2006: Formal Methods
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Teaching Formal Methods
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Dependable Multicore Architectures at Nanoscale
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Advanced Multicore Systems-On-Chip
123,04 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Approaches for Hardware Fault Mitigation in Multicore Processors
68,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
NASA Formal Methods
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Formal Methods for Software Engineering
80,24 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Theories of Programming and Formal Methods
74,89 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Formal Methods for Industrial Applications
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
NASA Formal Methods
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
NASA Formal Methods
70,61 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Formal Methods in Outer Space
58,84 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Formal Methods and Testing
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Formal Description of Programming Concepts
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
NASA Formal Methods
96,29 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Formal Methods
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Integrated Formal Methods
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Integrated Formal Methods
80,24 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Issues in Multicore Programming Using The ParC Language
48,10 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Integrated Formal Methods
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Formal Methods for Web Services
49,17 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Facing the Multicore-Challenge II
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Formal Methods in Standards
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Formal Methods for Dynamical Systems
49,22 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Formal Methods
117,69 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Advanced Multicore Systems-On-Chip
171,19 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
NASA Formal Methods
139,09 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Formal Methods for Quantitative Aspects of Programming Languages
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
NASA Formal Methods
90,94 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Facing the Multicore-Challenge
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Formal Methods – Fun for Everybody
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
FM 2016: Formal Methods
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Formal Methods Teaching
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
NASA Formal Methods
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb
