Refine your search
Availability
-
Authors
- Collazos, Nestor Cat... (1)
- Engels, G. ...[et al... (1)
- Kanvar, Vini (1)
- Khedker, Uday P. (1)
-
Item types
- E-Books (2)
- Theses and Dissertations (1)
-
Locations
-
Series
-
Topics
- B method (Computer s... (1)
- Computer science and... (1)
- Computer software (3)
- Discrete mathematics (1)
- Formal methods (Comp... (1)
- Graph grammars (1)
- Java (Computer progr... (1)
- Memory management (C... (1)
- Software architectur... (1)
- Software engineering (1)
- Theses and Dissertat... (1)
- Show more
- Show less