Bedankt voor het vertrouwen het afgelopen jaar! Om jou te bedanken bieden we GRATIS verzending (in België) aan op alles gedurende de hele maand januari.
- Afhalen na 1 uur in een winkel met voorraad
- Gratis thuislevering in België vanaf € 30
- Ruim aanbod met 7 miljoen producten
Bedankt voor het vertrouwen het afgelopen jaar! Om jou te bedanken bieden we GRATIS verzending (in België) aan op alles gedurende de hele maand januari.
- Afhalen na 1 uur in een winkel met voorraad
- Gratis thuislevering in België vanaf € 30
- Ruim aanbod met 7 miljoen producten
Reeksen: boeken uit de reeks Formal Approaches to Computing and Information Technology (F
-
The B Language and Method
Kevin Lano
- Paperback | Engels | Formal Approaches to Computing and Information Technology (F
- B is one of the few formal methods which has robust, commercially-available tool support for the entire development lifecycle from specification throu... Lees meer
€ 83,95Levering 2 à 3 weken€ 83,95Levering 2 à 3 weken -
Formal Methods and Object Technology
- Paperback | Engels | Formal Approaches to Computing and Information Technology (F
- Rationale Software engineering aims to develop software by using approaches which en- able large and complex program suites to be developed in a syste... Lees meer
€ 159,45Levering 1 à 2 weken€ 159,45Levering 1 à 2 weken -
A Theory and Practice of Program Development
Derek J Andrews
- Paperback | Engels | Formal Approaches to Computing and Information Technology (F
- A Theory and Practice of Program Development provides a comprehensive introduction to a software development method based on VDM-SL. Each development ... Lees meer
€ 83,95Levering 2 à 3 weken€ 83,95Levering 2 à 3 weken -
Notations for Software Design
Loe M G Feijs, Hans B M Jonkers, Cornelis a Middelburg
- Paperback | Engels | Formal Approaches to Computing and Information Technology (F
- Notations for Software Design aims to explain formal specification and design to practitioners in software development, and to set out the ingredients... Lees meer
€ 83,95Levering 2 à 3 weken€ 83,95Levering 2 à 3 weken -
High-Integrity System Specification and Design
Jonathan P Bowen, Michael G Hinchey
- Paperback | Engels | Formal Approaches to Computing and Information Technology (F
- Errata, detected in Taylor's Logarithms. London: 4to, 1792. [sic] 14.18.3 6 Kk Co-sine of 3398 3298 - Nautical Almanac (1832) In the list of ERRATA de... Lees meer
€ 104,95Levering 1 à 2 weken€ 104,95Levering 1 à 2 weken -
Software Specification Methods
- Paperback | Engels | Formal Approaches to Computing and Information Technology (F
- Objectives of this Book This book is an introduction to a set of software specification methods. Its tar- geted audience are readers who do not wish t... Lees meer
€ 139,95Levering 1 à 2 weken€ 139,95Levering 1 à 2 weken -
Proof in VDM: Case Studies
- Paperback | Engels | Formal Approaches to Computing and Information Technology (F
- Not so many years ago, it would have been difficult to find more than a handful of examples of the use of formal methods in industry. Today however, t... Lees meer
€ 134,95Levering 1 à 2 weken€ 134,95Levering 1 à 2 weken -
Specification Case Studies in Raise
- Paperback | Engels | Formal Approaches to Computing and Information Technology (F
- This volume presents twelve case studies that use RAISE - Rigorous Approach to Industrial Software Engineering - to construct, analyse, develop and ap... Lees meer
€ 153,95Levering 1 à 2 weken€ 153,95Levering 1 à 2 weken -
Industrial-Strength Formal Methods in Practice
- Paperback | Engels | Formal Approaches to Computing and Information Technology (F
- Industrial Strength Formal Methods in Practice provides hands-on experience and guidance for anyone who needs to apply formal methods successfully in ... Lees meer
€ 190,45Levering 1 à 2 weken€ 190,45Levering 1 à 2 weken -
Proof in VDM: A Practitioner's Guide
Juan C Bicarregui, John Fitzgerald, Peter A Lindsay, Richard Moore, Brian Ritchie
- Paperback | Engels | Formal Approaches to Computing and Information Technology (F
- Formal specifications were first used in the description of program- ming languages because of the central role that languages and their compilers pla... Lees meer
€ 83,95Levering 2 à 3 weken€ 83,95Levering 2 à 3 weken -
Program Development by Refinement
- Paperback | Engels | Formal Approaches to Computing and Information Technology (F
- The Idea of Program Refinement Programs are complex. They are typically so complex, that they go beyond the full comprehension even of the programmer ... Lees meer
€ 292,95Levering 1 à 2 weken€ 292,95Levering 1 à 2 weken -
On the Refinement Calculus
- Paperback | Engels | Formal Approaches to Computing and Information Technology (F
- On the Refinement Calculus gives one view of the development of the refinement calculus and its attempt to bring together - among other things - Z spe... Lees meer
€ 90,95Levering 1 à 2 weken€ 90,95Levering 1 à 2 weken -
Systems, Models and Measures
Agnes Kaposi, Margaret Myers
- Paperback | Engels | Formal Approaches to Computing and Information Technology (F
- Systems, Models and Measures is for all those concerned with managerial and technical decision-making, system and software procurement and development... Lees meer
€ 100,95Levering 1 à 2 weken€ 100,95Levering 1 à 2 weken -
Formal Methods in Human-Computer Interaction
- Paperback | Engels | Formal Approaches to Computing and Information Technology (F
- Formal methods have already been shown to improve the development process and quality assurance in system design and implementation. This volume exami... Lees meer
€ 83,95Levering 2 à 3 weken€ 83,95Levering 2 à 3 weken
14 van 14 resultaten getoond