En raison d'une grève chez bpost, votre colis sera expédié par GLS afin d’assurer une livraison dans les meilleurs délais.
- Retrait en 2 heures
- Assortiment impressionnant
- Paiement sécurisé
- Toujours un magasin près de chez vous
En raison d'une grève chez bpost, votre colis sera expédié par GLS afin d’assurer une livraison dans les meilleurs délais.
- Retrait en 2 heures
- Assortiment impressionnant
- Paiement sécurisé
- Toujours un magasin près de chez vous
Séries : livres de la série 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
53,45 €53,45 € -
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 system... Savoir plus
106,95 €106,95 € -
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
53,45 €53,45 € -
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
53,45 €53,45 € -
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
53,45 €53,45 € -
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 €139,95 € -
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
106,95 €106,95 € -
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 €153,95 € -
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 €190,45 € -
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
- In addition, the book contains a directory of axioms and formally proved theorems. Savoir plus
53,45 €53,45 € -
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 €292,95 € -
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
53,45 €53,45 € -
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
53,45 €53,45 € -
Systems, Models and Measures
Agnes Kaposi, Margaret Myers
- Livre broché | Anglais | Formal Approaches to Computing and Information Technology (F
- Systems, Models and Measures seeks to bridge the gap between the 'classical' and the newer technologies by constructing a systematic measurement frame... Savoir plus
53,45 €53,45 €
14 sur 14 résultat(s) affiché(s)