Beschreibung
Herstellerkennzeichnung:
Springer Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE
E-Mail: juergen.hartmann@springer.com
Program Development by Refinement
Lieferzeit: Lieferbar innerhalb 14 Tagen
213,99 €
inkl. 7 % MwSt. zzgl. Versandkosten
Case Studies Using the B Method, Formal Approaches to Computing and Information Technology (FACIT)
| ISBN: | 1852330538 |
|---|---|
| ISBN 13: | 9781852330538 |
| Herausgeber: | Emil Sekerinski/Kaisa Sere |
| Verlag: | Springer Verlag GmbH |
| Umfang: | xxiv, 364 S. |
| Erscheinungsdatum: | 23.10.1998 |
| Produktform: | Kartoniert |
| Einband: | Kartoniert |
Das könnte Ihnen auch gefallen …
-
![Produktbild: Interactive Theorem Proving and Program Development]()
Interactive Theorem Proving and Program Development
128,39 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Drawing Programs]()
Drawing Programs
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Refinement Calculus]()
Refinement Calculus
117,69 €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: Structural Adjustment Program and Sustainable Development in Cameroon]()
Structural Adjustment Program and Sustainable Development in Cameroon
32,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Fostering Resilience Through a Leadership Development Program]()
Fostering Resilience Through a Leadership Development Program
76,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Logic of Programs]()
Logic of Programs
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Program Slicing]()
Program Slicing
49,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Enhancing Leadership Development in Kenyan MBA Programs]()
Enhancing Leadership Development in Kenyan MBA Programs
69,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Executive Development Programs - Requirements and Success Factors]()
Executive Development Programs – Requirements and Success Factors
18,95 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Information Retrieval Performance Refinement in Deep Web Mining]()
Information Retrieval Performance Refinement in Deep Web Mining
61,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Mathematical Methods in Program Development]()
Mathematical Methods in Program Development
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: A Theory and Practice of Program Development]()
A Theory and Practice of Program Development
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Animated Program Design]()
Animated Program Design
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Program Evaluation]()
Program Evaluation
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Program Specification]()
Program Specification
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Software Development Measurement Programs]()
Software Development Measurement Programs
69,54 €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: Program Evaluation]()
Program Evaluation
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Modelling to Program]()
Modelling to Program
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Program Evaluation]()
Program Evaluation
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Emotional Quotient in Designing Student Development Program]()
Emotional Quotient in Designing Student Development Program
59,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Bacterial Circadian Programs]()
Bacterial Circadian Programs
160,49 €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: Program Verification]()
Program Verification
320,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Program Modification]()
Program Modification
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Successful Prevention and Youth Development Programs]()
Successful Prevention and Youth Development Programs
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: In-Service Teacher Development Programs]()
In-Service Teacher Development Programs
39,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Reviews, Refinements and New Ideas in Face Recognition]()
Reviews, Refinements and New Ideas in Face Recognition
155,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Program Construction]()
Program Construction
50,28 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: PREDICTING AYO GAME STRATEGY USING NEURAL NETWORK-BASED REFINEMENT]()
PREDICTING AYO GAME STRATEGY USING NEURAL NETWORK-BASED REFINEMENT
49,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Thinking Programs]()
Thinking Programs
74,89 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Spreadsheet Program]()
Spreadsheet Program
49,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Bacterial Circadian Programs]()
Bacterial Circadian Programs
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Textual and Visual Information Retrieval using Query Refinement and Pattern Analysis]()
Textual and Visual Information Retrieval using Query Refinement and Pattern Analysis
90,94 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Crusader Programs]()
Crusader Programs
17,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Program Development]()
Formal Program Development
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Textual and Visual Information Retrieval using Query Refinement and Pattern Analysis]()
Textual and Visual Information Retrieval using Query Refinement and Pattern Analysis
128,39 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Entrepreneurial Development Program, financial independence]()
Entrepreneurial Development Program, financial independence
55,90 €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: Refinement]()
Refinement
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Algorithmic Language and Program Development]()
Algorithmic Language and Program Development
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Assessment on Education Sector Development Program (ESDP)]()
Assessment on Education Sector Development Program (ESDP)
49,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Rietveld Refinement]()
Rietveld Refinement
94,95 €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: A View of Society in Europe in Its Progress from Rudeness to Refinement]()
A View of Society in Europe in Its Progress from Rudeness to Refinement
31,90 €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: Design & Development of Information Literacy Programs]()
Design & Development of Information Literacy Programs
49,90 €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: Program Development by Specification and Transformation]()
Program Development by Specification and Transformation
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Optimal Surface Fitting of Point Clouds Using Local Refinement]()
Optimal Surface Fitting of Point Clouds Using Local Refinement
32,09 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Comprehensive Healthcare Simulation: Program & Center Development]()
Comprehensive Healthcare Simulation: Program & Center Development
80,24 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Development of Learning Coaching Program Using FEAT]()
Development of Learning Coaching Program Using FEAT
26,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Heart Program 2]()
Heart Program 2
7,50 €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: 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: Hilberts Program]()
Hilberts Program
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Refinement]()
Refinement
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Successful Prevention and Youth Development Programs]()
Successful Prevention and Youth Development Programs
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Rietveld Refinement of Structural Parameters of Dioctahedral Smectites]()
Rietveld Refinement of Structural Parameters of Dioctahedral Smectites
48,80 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Posthumous Conception: Legal Issues and Possible Refinements]()
Posthumous Conception: Legal Issues and Possible Refinements
23,90 €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: Structured Adaptive Mesh Refinement (SAMR) Grid Methods]()
Structured Adaptive Mesh Refinement (SAMR) Grid Methods
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Apollo program]()
Apollo program
50,88 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Refinement Monoids, Equidecomposability Types, and Boolean Inverse Semigroups]()
Refinement Monoids, Equidecomposability Types, and Boolean Inverse Semigroups
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Skill Development Programs in India]()
Skill Development Programs in India
68,00 €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: On the Refinement Calculus]()
On the Refinement Calculus
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Thinking Programs]()
Thinking Programs
74,89 €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: Program Verification]()
Program Verification
353,09 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Dynamic Refinement and Coarsening for the Smoothed Particle Hydrodynamics Method]()
Dynamic Refinement and Coarsening for the Smoothed Particle Hydrodynamics Method
45,80 €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: Training and Development Program of Banglalink]()
Training and Development Program of Banglalink
35,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Training Programs]()
Training Programs
49,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Program Evaluation]()
Program Evaluation
53,49 €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: Refinement in Z and Object-Z]()
Refinement in Z and Object-Z
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automatic Program Development]()
Automatic Program Development
106,99 €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: Working with Assumptions in International Development Program Evaluation]()
Working with Assumptions in International Development Program Evaluation
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Effective implementation of regional development programs]()
Effective implementation of regional development programs
66,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formalisation of SysML Models and Analysis based on Refinement]()
Formalisation of SysML Models and Analysis based on Refinement
79,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: AVID Program Graduates]()
AVID Program Graduates
79,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Teacher Professional Development Programs in EMI Settings]()
Teacher Professional Development Programs in EMI Settings
181,89 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: On refinement of certain laws of classical electrodynamics]()
On refinement of certain laws of classical electrodynamics
54,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Agile Refinement]()
Agile Refinement
14,32 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Software Development Measurement Programs]()
Software Development Measurement Programs
69,54 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Algorithmic Language and Program Development]()
Algorithmic Language and Program Development
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Program Evaluation]()
Program Evaluation
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Interactive Theorem Proving and Program Development]()
Interactive Theorem Proving and Program Development
90,94 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Towards the Policy Refinement Problem in Policy-based Management Systems]()
Towards the Policy Refinement Problem in Policy-based Management Systems
79,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automatic Program Development]()
Automatic Program Development
106,99 €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: Hilberts Program]()
Hilberts Program
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Program Development in Computational Logic]()
Program Development in Computational Logic
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: Faculty Development Program for Universities of Pakistan]()
Faculty Development Program for Universities of Pakistan
79,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Managing Human Resource Development Programs]()
Managing Human Resource Development Programs
171,19 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Working with Assumptions in International Development Program Evaluation]()
Working with Assumptions in International Development Program Evaluation
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb
