An introduction to formal specification an Z
Main Authors: | Potter Ben (Author), Sinclair Jane (Author), Till David (Author) |
---|---|
Format: | Book |
Language: | English |
Published: |
Prentice Hall
|
Edition: | 2nd ed. |
Similar Items
-
The Java developer's toolkit
by: Marketos Joshua
Published: (1997) -
Into 3D with form.Z Modeling, rendering, and animation
by: khemlani Lachmi
Published: (1999) -
Ο μικροεπεξεργαστής Z80 και τα περιφερειακά του Υλικό, προγραμματισμός, εφαρμογές CPU - CTC - SIO - DMA
by: Σύρκος Γεώργιος Π., et al.
Published: (1997) -
Applying domain-driven design and patterns with examples in C# and .NET
by: Nilsson Jimmy
Published: (2006) -
Software engineering metrics and models
by: Conte S. D., et al.
Published: (1986)