4 Электронные книги Gary T. Leavens
Shigeru Chiba & Patrick Eugster: Transactions on Modularity and Composition I
The LNCS Transactions on Modularity and Composition are devoted to all aspects of software modularity and composition methods, tools, and techniques, covering requirement analysis, design, implementa …
PDF
английский
DRM
€3.82
Gary T. Leavens & Peter O’Hearn: Verified Software: Theories, Tools, Experiments
…
PDF
английский
DRM
€57.78
Shigeru Chiba & Michael Haupt: Transactions on Aspect-Oriented Software Development IX
The LNCS journal Transactions on Aspect-Oriented Software Development is devoted to all facets of aspect-oriented software development (AOSD) techniques in the context of all phases of the software l …
PDF
английский
DRM
€58.12
Shigeru Chiba & Gary T. Leavens: Transactions on Aspect-Oriented Software Development X
The LNCS journal Transactions on Aspect-Oriented Software Development is devoted to all facets of aspect-oriented software development (AOSD) techniques in the context of all phases of the software l …
PDF
английский
DRM
€57.90
