Inloggen
Verborgen velden
Boeken Boek
" The MAIN operation is optional in a class definition. It only appears in a class definition when the objects of that class are active objects. Classes for defining passive objects will not have the MAIN definition, but may contain CSP process constructors. "
Unified Modeling Language: Systems Analysis, Design and Development Issues ... - Pagina 215
geredigeerd door - 2000 - 288 pagina’s
Gedeeltelijke weergave - Over dit boek

Proceedings

2001 - 494 pagina’s
[ De content van deze pagina is beperkt ]
Fragmentweergave - Over dit boek

Proceedings of the Hawaii International Conference on System ..., Volumes 1-6

IEEE Computer Society - 1997 - 794 pagina’s
[ De content van deze pagina is beperkt ]
Geen voorbeeld beschikbaar - Over dit boek

ZUM '98: The Z Formal Specification Notation: 11th International Conference ...

Jonathan P. Bowen, Andreas Fett, Michael G. Hinchey - 1998 - 440 pagina’s
[ De content van deze pagina is beperkt ]
Geen voorbeeld beschikbaar - Over dit boek

FM'99 - Formal Methods: World Congress on Formal Methods in the ..., Volume 2

Jeannette M. Wing, Jim Woodcook, Jim Davies - 1999 - 964 pagina’s
[ De content van deze pagina is beperkt ]
Geen voorbeeld beschikbaar - Over dit boek

Proceedings

2002 - 640 pagina’s
[ De content van deze pagina is beperkt ]
Fragmentweergave - Over dit boek

Formal Methods and Software Engineering: 6th International Conference on ...

Jim Davies, Wolfram Schulte, Mike Barnett - 2004 - 520 pagina’s
[ De content van deze pagina is beperkt ]
Geen voorbeeld beschikbaar - Over dit boek




  1. Mijn bibliotheek
  2. Help
  3. Geavanceerd zoeken naar boeken