Specifying systems: the tla+ language and tools for hardware and software engineers
Auteur :
Lamport, Leslie
Éditeur :
Pearson Education (US)
ISBN :
9780321143068
Date de publication :
20 août 2002
Dimensions :
23,0 x 19,0 x 2,0 cm
Poids :
635 g
Langue :
Anglais
Pays d'origine :
USA
TLA+ represents an effective methodology for visualizing and quantifying algorithmic complexity in a way that is meaningful to engineers.