for at udvide
kategorilisten.
Softwareudvikling
Visning: Type : Alle | Sprog : Engelsk | Format : Paperback / softback Der vises kun varer på engelsk
-
Systems and Software Verification: Model-Checking Techniques and Tools (Bog, Paperback / softback, Engelsk)
Model checking is a powerful approach for the formal verification of software. The first part describes in simple terms the... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Structured Object-Oriented Formal Language and Method: 6th International Workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016, Revised Selected Papers (Bog, Paperback / softback, Engelsk)
This book constitutes revised selected papers from the 6th International... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Structured Object-Oriented Formal Language and Method: 7th International Workshop, SOFL+MSVL 2017, Xi'an, China, November 16, 2017, Revised Selected Papers (Bog, Paperback / softback, Engelsk)
This book constitutes the thoroughly refereed workshop proceedings of the... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Structured Object-Oriented Formal Language and Method: 4th International Workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014, Revised Selected Papers (Bog, Paperback / softback, Engelsk)
This book constitutes the thoroughly refereed post-workshop proceedings of... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Static Analysis: 24th International Symposium, SAS 2017, New York, NY, USA, August 30 – September 1, 2017, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the refereed proceedings of the 24th International Static Analysis Symposium, SAS 2017, held in New York, NY, USA, in August/September 2017.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Stabilization, Safety, and Security of Distributed Systems: 18th International Symposium, SSS 2016, Lyon, France, November 7-10, 2016, Proceedings (Bog, Paperback / softback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage)
-
Static Analysis: 21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedings (Bog, Paperback / softback, Engelsk)
The papers address all aspects of static analysis, including abstract interpretation, abstract testing, bug detection, data flow analysis, model checking, program transformation, program verification, security analysis, and type checking.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Static Analysis: 20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2012, Proceedings (Bog, Paperback / softback, Engelsk)
The papers address all aspects of static analysis, including abstract domains, abstract interpretation,... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Solving Software Challenges for Exascale: International Conference on Exascale Applications and Software, EASC 2014, Stockholm, Sweden, April 2-3, 2014, Revised Selected Papers (Bog, Paperback / softback, Engelsk)
This volume contains the thoroughly refereed post-conference proceedings... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Software, Services, and Systems: Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering (Bog, Paperback / softback, Engelsk)
This book is dedicated to Professor Martin Wirsing on the occasion of his... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Software Reuse: Bridging with Social-Awareness: 15th International Conference, ICSR 2016, Limassol, Cyprus, June 5-7, 2016, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the refereed proceedings of the 15th International... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Software Architecture: 10th European Conference, ECSA 2016, Copenhagen, Denmark, November 28 -- December 2, 2016, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the proceedings of the 10th European Conference on Software... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage)
