Related Books

Transactions on Modularity and Composition I
Language: en
Pages: 275
Authors: Shigeru Chiba
Categories: Computers
Type: BOOK - Published: 2016-09-29 - Publisher: Springer

DOWNLOAD EBOOK

The LNCS Transactions on Modularity and Composition are devoted to all aspects of software modularity and composition methods, tools, and techniques, covering r
Deductive Software Verification – The KeY Book
Language: en
Pages: 714
Authors: Wolfgang Ahrendt
Categories: Computers
Type: BOOK - Published: 2016-12-19 - Publisher: Springer

DOWNLOAD EBOOK

Static analysis of software with deductive methods is a highly dynamic field of research on the verge of becoming a mainstream technology in software engineerin
The Transactions of the Institute of Electronics and Communication Engineers of Japan
Language: en
Pages: 886
Authors: Denshi Tsūshin Gakkai
Categories: Computer science
Type: BOOK - Published: 1977 - Publisher:

DOWNLOAD EBOOK

Transactions on Aspect-Oriented Software Development VII
Language: en
Pages: 436
Authors: Jörg Kienzle
Categories: Computers
Type: BOOK - Published: 2010-09-17 - Publisher: Springer

DOWNLOAD EBOOK

– Those who want to learn about AOM ?nd in this special issue a concise collection of descriptions of solid and mature AOM approaches. They only have to take
Database and Expert Systems Applications
Language: en
Pages: 932
Authors: Gerald Quirchmayr
Categories: Computers
Type: BOOK - Published: 1998-08-14 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 9th International Conference on Database and Expert Systems Applications, DEXA'98, held in Vienna, Austria