Zum '97: the z formal specification notation: 10th international conference of z users, reading, uk, april, 3-4, 1997, proceedings
Auteur :
Bowen, Jonathan P.
ISBN :
9783540627173
Date de publication :
20 mars 1997
Dimensions :
23,4 x 15,6 x 2,3 cm
Poids :
1390 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Allemagne
This volume presents 18 revised full papers, together with three invited presentations by international contributors. The papers are organized into sections on real-time systems, tools, logic, system development, reactive systems, refinement and applications.