for at udvide
kategorilisten.
Softwareudvikling
-
Formal Modeling and Analysis of Timed Systems: 13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, Proceedings (Bog, Paperback / softback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage)
-
Formal Methods for Industrial Critical Systems: 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the proceedings of the 20th International Workshop on... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Formal Methods for Dynamical Systems: 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013. Advanced Lectures (Bog, Paperback / softback, Engelsk)
This book presents 5 tutorial lectures given by leading researchers at the... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Formal Aspects of Component Software: 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers (Bog, Paperback / softback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage)
-
Formal Techniques for Distributed Objects, Components, and Systems: 36th IFIP WG 6.1 International Conference, FORTE 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Gr (Bog, Paperback / softback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage)
-
Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems: 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lectures (Bog, Paperback / softback, Engelsk)
This book presents 8 tutorial lectures given by leading researchers at the 16th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2016, held in Bertinoro, Italy, in June 2016.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Formal Methods: Foundations and Applications: 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes revised selected papers from the18th Brazilian... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Formal Aspects of Component Software: 12th International Conference, FACS 2015, Niteroi, Brazil, October 14-16, 2015, Revised Selected Papers (Bog, Paperback / softback, Engelsk)
This book constitutes the revised selected papers fromthe 12th... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Formal Techniques for Distributed Objects, Components, and Systems: 37th IFIP WG 6.1 International Conference, FORTE 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchatel, Switzerla (Bog, Paperback / softback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage)
-
Formal Aspects of Component Software: 13th International Conference, FACS 2016, Besancon, France, October 19-21, 2016, Revised Selected Papers (Bog, Paperback / softback, Engelsk)
This book constitutes the thoroughly revised selected papers from the 13th International Conference on Formal Aspects of Component Software, FACS 2016, held in Besançon, France, in October 2016.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Formal Methods: Foundations and Applications: 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the refereed proceedings of the 19th Brazilian Symposium... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
FM 2016: Formal Methods: 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the refereed proceedings of the 21st International Symposium on Formal Methods, FM... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage)
