Gary T. Leavens – författare
Visar alla böcker från författaren Gary T. Leavens. Handla med fri frakt och snabb leverans.
9 produkter
Foundations of Component-Based Systems
Av Gary T. Leavens, Murali Sitaraman
Häftad, 2011
921 kr
Lägg i varukorg
This collection of articles by well-known experts was originally published in 2000 and is intended for researchers in computer science, practitioners of formal methods, and computer programmers working in safety-critical applications or in the technology of component-based systems. The work brings …
Foundations of Component-Based Systems
Av Gary T. Leavens, Murali Sitaraman
Inbunden, 2000
1442 kr
Lägg i varukorg
This collection of articles by well-known experts was originally published in 2000 and is intended for researchers in computer science, practitioners of formal methods, and computer programmers working in safety-critical applications or in the technology of component-based systems. The work brings …
Transactions on Modularity and Composition I
Av Shigeru Chiba, Mario Südholt m. fl.
Häftad, 2016
871 kr
Lägg i varukorg
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, implementation, maintenance, and evolution. The focus of the journal also includes modelling techniques, new …
Verified Software: Theories, Tools, Experiments
Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010, Proceedings
Av Gary T. Leavens, Peter O'Hearn m. fl.
Häftad, 2010
568 kr
Lägg i varukorg
Veri?ed Software: Theories, Tools and Experiments, VSTTE 2010, was held in Edinburgh, Scotland during August 16-19, 2010. This conference is part of the Veri?ed Software Initiative (VSI), which is a 15-year international project that focuses on the scienti?c and technical challenges of producing …
Verified Software: Theories, Tools, Experiments
Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010, Proceedings
Av Sriram K Rajamani, Peter O'Hearn m. fl.
E-bok, 2010
755 kr
Lägg i varukorg
Transactions on Aspect-Oriented Software Development IX
Av Gary T. Leavens, Shigeru Chiba m. fl.
Häftad, 2012
568 kr
Lägg i varukorg
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 life cycle, from requirements and design to implementation, maintenance and evolution. The focus of …
Transactions on Aspect-Oriented Software Development IX
Av Eric Wohlstadter, Klaus Ostermann m. fl.
E-bok, 2012
734 kr
Lägg i varukorg
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 life cycle, from requirements and design to implementation, maintenance and evolution. The focus of …
Transactions on Aspect-Oriented Software Development X
Av Gary T. Leavens, Shigeru Chiba m. fl.
Häftad, 2013
568 kr
Lägg i varukorg
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 life cycle, from requirements and design to implementation, maintenance and evolution. The focus of …
Transactions on Aspect-Oriented Software Development X
Av Eric Tanter, Shigeru Chiba m. fl.
E-bok, 2013
755 kr
Lägg i varukorg
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 life cycle, from requirements and design to implementation, maintenance and evolution. The focus of …
