Beschreibung
Herstellerkennzeichnung:
Springer Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE
E-Mail: juergen.hartmann@springer.com
Formal Refinement for Operating System Kernels
Lieferzeit: Lieferbar innerhalb 14 Tagen
106,99 €
inkl. 7 % MwSt. zzgl. Versandkosten
| ISBN: | 1846289661 |
|---|---|
| ISBN 13: | 9781846289668 |
| Autor: | Craig, Iain D |
| Verlag: | Springer Verlag GmbH |
| Umfang: | xv, 332 S., 4 s/w Illustr., 4 s/w Zeichng. |
| Erscheinungsdatum: | 31.07.2007 |
| Auflage: | 1/2007 |
| Produktform: | Gebunden/Hardback |
| Einband: | Gebunden |
Das könnte Ihnen auch gefallen …
-
![Produktbild: Asymmetric Kernel Smoothing]()
Asymmetric Kernel Smoothing
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Operating System]()
Operating System
54,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Windows Phone: Mobile operating system]()
Windows Phone: Mobile operating system
45,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Treewidth, Kernels, and Algorithms]()
Treewidth, Kernels, and Algorithms
69,54 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Das Gehirn als ein formales System]()
Das Gehirn als ein formales System
59,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: 6th Refinement Workshop]()
6th Refinement Workshop
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Developing Message Interface Architecture for Android Operating System]()
Developing Message Interface Architecture for Android Operating System
35,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Object-Oriented Programming Languages: Interpretation]()
Object-Oriented Programming Languages: Interpretation
37,40 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Refinement Calculus]()
Refinement Calculus
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: KERNEL-ANSATZ]()
KERNEL-ANSATZ
43,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Embedded Operating Systems]()
Embedded Operating Systems
58,84 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Program Development by Refinement]()
Program Development by Refinement
213,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Multi-Threaded Operating System for WSN Platforms]()
Multi-Threaded Operating System for WSN Platforms
74,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Operating System Security]()
Operating System Security
40,65 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automatic Methods for the Refinement of System Models]()
Automatic Methods for the Refinement of System Models
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Virtual Machines]()
Virtual Machines
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Robot Operating System (ROS)]()
Robot Operating System (ROS)
246,09 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: SystemC Kernel Extensions for Heterogeneous System Modeling]()
SystemC Kernel Extensions for Heterogeneous System Modeling
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: The Innermost Kernel]()
The Innermost Kernel
171,19 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: 5th Refinement Workshop]()
5th Refinement Workshop
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Operating System]()
Operating System
89,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: UNIX Operating System]()
UNIX Operating System
106,95 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Refinement in Z and Object-Z]()
Refinement in Z and Object-Z
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Rietveld Refinement]()
Rietveld Refinement
94,95 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: The Innermost Kernel]()
The Innermost Kernel
171,19 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Models of Operating System Kernels]()
Formal Models of Operating System Kernels
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Abstraction Refinement for Large Scale Model Checking]()
Abstraction Refinement for Large Scale Model Checking
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Kernel Mode Decomposition and the Programming of Kernels]()
Kernel Mode Decomposition and the Programming of Kernels
80,24 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Operating System]()
Operating System
10,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: The Tech Executive Operating System]()
The Tech Executive Operating System
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Operating Systems]()
Operating Systems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Robot Operating System (ROS)]()
Robot Operating System (ROS)
181,89 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Refinement]()
Refinement
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Robot Operating System (ROS)]()
Robot Operating System (ROS)
149,79 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Methods for Distributed System Development]()
Formal Methods for Distributed System Development
213,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: The Sustainable Finance Operating System]()
The Sustainable Finance Operating System
42,79 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: The desktop operating system Haiku]()
The desktop operating system Haiku
18,55 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Robot Operating System (ROS)]()
Robot Operating System (ROS)
139,09 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: On the Refinement Calculus]()
On the Refinement Calculus
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Isolation In Operating Field]()
Isolation In Operating Field
36,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Refinements of the Nash Equilibrium Concept]()
Refinements of the Nash Equilibrium Concept
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Information Refinement Technologies for Crisis Informatics]()
Information Refinement Technologies for Crisis Informatics
117,69 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Robot Operating System (ROS)]()
Robot Operating System (ROS)
192,59 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: REPRODUCING KERNEL HILBERT SPACES]()
REPRODUCING KERNEL HILBERT SPACES
49,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Robot Operating System (ROS)]()
Robot Operating System (ROS)
181,89 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Operating Rules in Organizations]()
Operating Rules in Organizations
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Abstraction Refinement and Proof for Probabilistic Systems]()
Abstraction Refinement and Proof for Probabilistic Systems
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Agile Refinement]()
Agile Refinement
14,32 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Robot Operating System (ROS)]()
Robot Operating System (ROS)
246,09 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Systemidentifikation und -diagnose durch Kernel-Methoden]()
Systemidentifikation und -diagnose durch Kernel-Methoden
60,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Operating Systems/Betriebssysteme]()
Operating Systems/Betriebssysteme
39,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Refinement Techniques in Software Engineering]()
Refinement Techniques in Software Engineering
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Virtual Machines]()
Virtual Machines
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Linux kernel]()
Linux kernel
18,11 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Concept of an internet-based operating system]()
Concept of an internet-based operating system
15,95 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal System Verification]()
Formal System Verification
128,39 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Robot Operating System (ROS)]()
Robot Operating System (ROS)
213,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Refinement in Z and Object-Z]()
Refinement in Z and Object-Z
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: VLSI Synthesis of DSP Kernels]()
VLSI Synthesis of DSP Kernels
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Distributed Operating Systems]()
Distributed Operating Systems
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal System Verification]()
Formal System Verification
128,39 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Abstraction Refinement for Large Scale Model Checking]()
Abstraction Refinement for Large Scale Model Checking
119,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Adaptive Mesh Refinement in Time-Domain Numerical Electromagnetics]()
Adaptive Mesh Refinement in Time-Domain Numerical Electromagnetics
35,30 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Models of Operating System Kernels]()
Formal Models of Operating System Kernels
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: SystemC based Functional Model Refinement]()
SystemC based Functional Model Refinement
39,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Operating System]()
Operating System
76,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Robot Operating System (ROS)]()
Robot Operating System (ROS)
171,19 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Programming in Dylan]()
Programming in Dylan
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Modern Operating Systems]()
Modern Operating Systems
54,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Operating Systems]()
Operating Systems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Robot Operating System (ROS) for Absolute Beginners]()
Robot Operating System (ROS) for Absolute Beginners
58,84 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: VLSI Synthesis of DSP Kernels]()
VLSI Synthesis of DSP Kernels
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: 4th Refinement Workshop]()
4th Refinement Workshop
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Classic Operating Systems]()
Classic Operating Systems
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Embedded Co-Design for Real Time Operating System]()
Embedded Co-Design for Real Time Operating System
35,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Evicence-Based Questionnaire Evaluation and Refinement]()
Evicence-Based Questionnaire Evaluation and Refinement
17,95 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Concept of Operating System]()
Concept of Operating System
43,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: SystemC Kernel Extensions for Heterogeneous System Modeling]()
SystemC Kernel Extensions for Heterogeneous System Modeling
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Operating System Process Scheduling]()
Operating System Process Scheduling
35,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Abstraction, Refinement and Proof for Probabilistic Systems]()
Abstraction, Refinement and Proof for Probabilistic Systems
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Refinement]()
Refinement
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Robot Operating System (ROS)]()
Robot Operating System (ROS)
128,39 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Operating Systems Engineering]()
Operating Systems Engineering
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Operating System Services for Task-Specific Power Management]()
Operating System Services for Task-Specific Power Management
49,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Robot Operating System (ROS)]()
Robot Operating System (ROS)
171,19 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Kernel Contraction in EL]()
Kernel Contraction in EL
23,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: The Refinement of Poverty Alleviation in China]()
The Refinement of Poverty Alleviation in China
96,29 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Robot Operating System (ROS)]()
Robot Operating System (ROS)
235,39 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Linux Kernel Networking]()
Linux Kernel Networking
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: The Interpretation of Object-Oriented Programming Languages]()
The Interpretation of Object-Oriented Programming Languages
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Operating System Basics and Practice]()
Operating System Basics and Practice
42,79 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Robot Operating System (ROS)]()
Robot Operating System (ROS)
128,39 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Architectural and Operating System Support for Virtual Memory]()
Architectural and Operating System Support for Virtual Memory
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Robot Operating System (ROS)]()
Robot Operating System (ROS)
235,39 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Semi-Automated Refinement of Semantic Models]()
Semi-Automated Refinement of Semantic Models
59,80 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Advances in Proximal Kernel Classifiers]()
Advances in Proximal Kernel Classifiers
79,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Classic Operating Systems]()
Classic Operating Systems
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: The MOSIX Distributed Operating System]()
The MOSIX Distributed Operating System
50,28 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Refinement for Operating System Kernels]()
Formal Refinement for Operating System Kernels
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Operating Rules in Organizations]()
Operating Rules in Organizations
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb
