- 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
- 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
Résultats pour "Formal Approaches to Computing and Information Technology (F"
-
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 -
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 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 -
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 -
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 -
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 -
Software Specification Methods
- Livre broché | Anglais | Formal Approaches to Computing and Information Technology (F
- Software Specification Methods provides the formal methods practitioner with a survey of the key software specification methods. Each technique is dem... Savoir plus
147,95 €Livraison 1 à 2 semaines147,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
200,95 €Livraison 1 à 2 semaines200,95 €Livraison 1 à 2 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
309,45 €Livraison 1 à 2 semaines309,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 -
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 -
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 -
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
162,45 €Livraison 1 à 2 semaines162,45 €Livraison 1 à 2 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)