En raison d'une grêve chez bpost, votre commande pourrait être retardée. Vous avez besoin d’un livre rapidement ? Nos magasins vous accueillent à bras ouverts !
- Retrait gratuit dans votre magasin Club
- 7.000.000 titres dans notre catalogue
- Payer en toute sécurité
- Toujours un magasin près de chez vous
En raison de la grêve chez bpost, votre commande pourrait être retardée. Vous avez besoin d’un livre rapidement ? Nos magasins vous accueillent à bras ouverts !
- Retrait gratuit dans votre magasin Club
- 7.000.0000 titres dans notre catalogue
- Payer en toute sécurité
- Toujours un magasin près de chez vous
Résultats pour "Formal Approaches to Computing and Information Technology (F"
-
The B Language and Method
Kevin Lano
- Livre broché | Anglais | 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... Savoir plus
52,95 €Livraison sous 1 à 4 semaines52,95 €Livraison sous 1 à 4 semaines -
Formal Methods and Object Technology
- Livre broché | Anglais | 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... Savoir plus
105,45 €Livraison sous 1 à 4 semaines105,45 €Livraison sous 1 à 4 semaines -
A Theory and Practice of Program Development
Derek J Andrews
- Livre broché | Anglais | 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 ... Savoir plus
52,95 €Livraison sous 1 à 4 semaines52,95 €Livraison sous 1 à 4 semaines -
Notations for Software Design
Loe M G Feijs, Hans B M Jonkers, Cornelis a Middelburg
- Livre broché | Anglais | 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... Savoir plus
52,95 €Livraison sous 1 à 4 semaines52,95 €Livraison sous 1 à 4 semaines -
High-Integrity System Specification and Design
Jonathan P Bowen, Michael G Hinchey
- Livre broché | Anglais | 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... Savoir plus
52,95 €Livraison sous 1 à 4 semaines52,95 €Livraison sous 1 à 4 semaines -
Software Specification Methods
- Livre broché | Anglais | 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... Savoir plus
139,95 €Livraison 1 à 2 semaines139,95 €Livraison 1 à 2 semaines -
Proof in VDM: Case Studies
- Livre broché | Anglais | 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... Savoir plus
105,45 €Livraison sous 1 à 4 semaines105,45 €Livraison sous 1 à 4 semaines -
Specification Case Studies in Raise
- Livre broché | Anglais | 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... Savoir plus
153,95 €Livraison 1 à 2 semaines153,95 €Livraison 1 à 2 semaines -
Industrial-Strength Formal Methods in Practice
- Livre broché | Anglais | 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 ... Savoir plus
190,45 €Livraison 1 à 2 semaines190,45 €Livraison 1 à 2 semaines -
Proof in VDM: A Practitioner's Guide
Juan C Bicarregui, John Fitzgerald, Peter A Lindsay, Richard Moore, Brian Ritchie
- Livre broché | Anglais | 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... Savoir plus
52,95 €Livraison sous 1 à 4 semaines52,95 €Livraison sous 1 à 4 semaines -
Program Development by Refinement
- Livre broché | Anglais | 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 ... Savoir plus
292,95 €Livraison 1 à 2 semaines292,95 €Livraison 1 à 2 semaines -
On the Refinement Calculus
- Livre broché | Anglais | 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... Savoir plus
52,95 €Livraison sous 1 à 4 semaines52,95 €Livraison sous 1 à 4 semaines -
Formal Methods in Human-Computer Interaction
- Livre broché | Anglais | 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... Savoir plus
52,95 €Livraison sous 1 à 4 semaines52,95 €Livraison sous 1 à 4 semaines -
Systems, Models and Measures
Agnes Kaposi, Margaret Myers
- Livre broché | Anglais | 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... Savoir plus
52,95 €Livraison sous 1 à 4 semaines52,95 €Livraison sous 1 à 4 semaines
14 sur 14 résultat(s) affiché(s)