B-book, The: Assigning Programs to Meanings

Abrial, J-.R.

CHF 159.40
Alerter avant parution Précommander Ajouter au panier Ajouter e-book

Livrable entre 2 et 4 semaines environ

Éditeur
Cambridge University Press
Pages
816
Parution
novembre 2005
Format
Livre broché
Langue
Anglais
Dimensions
247 × 174 × 41 cm
EAN
9780521021753
  • Résumé

The definitive book on the B Method; essential for all working in formal methods and safety-critical software.
Bio de l'auteur
Sommaire / contenu
Nous vous suggérons aussi
The New Digital Age Schmidt, Eric; Cohen, Jared CHF 27.90
The Art of Invisibility Mitnick, Kevin; Vamosi, Robert CHF 19.90
Black Swan, The: The Impact of the Highly Improbable Taleb, Nassim Nicholas CHF 16.20
Introduction to Programming and Object-Oriented Design Using Java Nino, Jaime Hosch, Frederick A. CHF 278.30
Social Engineering: The Art of Human Hacking Hadnagy, Christopher CHF 35.90
Reasoned Schemer, The Friedman, Daniel P. Byrd, William E. Kiselyov, Oleg CHF 48.40
Swift Programming: The Big Nerd Ranch Guide Mathias, Matthew Gallagher, John
Retour en haut de page