•  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

Livres

Ebooks

Papeterie

Jeux

Cadeaux

Tous les produits

Dédicaces

Jobs

Articles

  1. Accueil
  2. Livres
  3. Savoirs
  4. Informatique
  5. Programmation
  6. Formal Software Development

Formal Software Development

From VDM to Java

Quentin Charatan, Aaron Kans
Livre broché | Anglais
79,95 €
+ 159 points
Date de disponibilité inconnue
Passer une commande en un clic
Payer en toute sécurité
Livraison en Belgique: 3,99 €
Livraison en magasin gratuite

Description

This is a gently-paced software engineering text that concentrates on the use of formal methods for the development of high integrity software. It assumes no previous knowledge of formal methods, and presents a practical and comprehensive treatment of the subject suitable for second and third year undergraduates on computing courses, and students on taught master's courses. The book is packed with examples and exercises throughout.

Spécifications

Parties prenantes

Auteur(s) :
Quentin CharatanAaron Kans
Editeur:
Bloomsbury Academic

Contenu

Nombre de pages :
256
Langue:
Anglais

Caractéristiques

EAN:
9780333992814
Date de parution :
09-09-03
Format:
Livre broché
Format numérique:
Trade paperback (VS)
Dimensions :
170 mm x 244 mm
Poids :
385 g

Les avis