Couverture : The Way of Z

Connectez-vous pour ajouter ce livre à votre bibliothèque.

The Way of Z

Jonathan Jacky

Autre Première publication : 1996

Résumé

Formal methods apply logic and simple mathematics to programming.

Sujets

Z (méthode formelle)

Éditions (1)

Couverture : The Way of Z

The Way of Z : Practical Programming with Formal Methods

Cambridge university press (Cambridge) · 1996 · 9780521559768