SDL 2017: Model-Driven Engineering for Future Internet : 18th International SDL Forum, Budapest, Hungary, October 9-11, 2017, Proceedings /

Código QR

SDL 2017: Model-Driven Engineering for Future Internet : 18th International SDL Forum, Budapest, Hungary, October 9-11, 2017, Proceedings /

Detalles Bibliográficos
Autor Corporativo:	SpringerLink (Online service)
Otros Autores:	Csöndes, Tibor. (Editor ), Kovács, Gábor. (Editor ), Réthy, György. (Editor )
Formato:	eBook
Lenguaje:	English
Publicado:	Cham : Springer International Publishing : Imprint: Springer, 2017.
Edición:	1st ed. 2017.
Colección:	Programming and Software Engineering ; 10567
Materias:	Software engineering. Computer logic. Programming languages (Electronic computers). Management information systems. Computer science. Computer organization. Software Engineering. Logics and Meanings of Programs. Programming Languages, Compilers, Interpreters. Management of Computing and Information Systems. Computer Systems Organization and Communication Networks.

Ejemplares similares

Computer Safety, Reliability, and Security : 36th International Conference, SAFECOMP 2017, Trento, Italy, September 13-15, 2017, Proceedings /
Publicado: (2017)

Computer Safety, Reliability, and Security : SAFECOMP 2017 Workshops, ASSURE, DECSoS, SASSUR, TELERISE, and TIPS, Trento, Italy, September 12, 2017, Proceedings /
Publicado: (2017)

Formal Methods and Software Engineering : 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings /
Publicado: (2017)

Testing Software and Systems : 29th IFIP WG 6.1 International Conference, ICTSS 2017, St. Petersburg, Russia, October 9-11, 2017, Proceedings /
Publicado: (2017)

Fundamentals of Software Engineering : 7th International Conference, FSEN 2017, Tehran, Iran, April 26-28, 2017, Revised Selected Papers /
Publicado: (2017)

Verification, Model Checking, and Abstract Interpretation : 18th International Conference, VMCAI 2017, Paris, France, January 15-17, 2017, Proceedings /
Publicado: (2017)

Concurrency, Security, and Puzzles : Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday /
Publicado: (2017)

Software Architecture : 11th European Conference, ECSA 2017, Canterbury, UK, September 11-15, 2017, Proceedings /
Publicado: (2017)

Engineering Trustworthy Software Systems : Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures /
Publicado: (2017)

Hardware and Software: Verification and Testing : 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, Proceedings /
Publicado: (2017)

Theory and Practice of Model Transformation : 10th International Conference, ICMT 2017, Held as Part of STAF 2017, Marburg, Germany, July 17-18, 2017, Proceedings /
Publicado: (2017)

Computer Aided Verification : 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II /
Publicado: (2017)

Programming Languages and Systems : 26th European Symposium on Programming, ESOP 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings /
Publicado: (2017)

Foundations of Software Science and Computation Structures : 20th International Conference, FOSSACS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings /
Publicado: (2017)

Fundamental Approaches to Software Engineering : 20th International Conference, FASE 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings /
Publicado: (2017)

Software Engineering for Resilient Systems : 9th International Workshop, SERENE 2017, Geneva, Switzerland, September 4-5, 2017, Proceedings /
Publicado: (2017)

Static Analysis : 24th International Symposium, SAS 2017, New York, NY, USA, August 30 - September 1, 2017, Proceedings /
Publicado: (2017)

Reliable Software Technologies - Ada-Europe 2017 22nd Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June 12-16, 2017, Proceedings /
Publicado: (2017)

Grand Timely Topics in Software Engineering : International Summer School GTTSE 2015, Braga, Portugal, August 23-29, 2015, Tutorial Lectures /
Publicado: (2017)

Unifying Theories of Programming : 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers /
Publicado: (2017)

Interactive Theorem Proving : 8th International Conference, ITP 2017, Brasília, Brazil, September 26-29, 2017, Proceedings /
Publicado: (2017)

Integrated Formal Methods : 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings /
Publicado: (2017)

Formal Techniques for Safety-Critical Systems : 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised Selected Papers /
Publicado: (2017)

Foundations of Python Network Programming : The comprehensive guide to building network applications with Python /
por: Goerzen, John., et al.
Publicado: (2010)

Tests and Proofs : 11th International Conference, TAP 2017, Held as Part of STAF 2017, Marburg, Germany, July 19-20, 2017, Proceedings /
Publicado: (2017)

Critical Systems: Formal Methods and Automated Verification : Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18-20, 2017, Proceedings /
Publicado: (2017)

Unconventional Computation and Natural Computation : 16th International Conference, UCNC 2017, Fayetteville, AR, USA, June 5-9, 2017, Proceedings /
Publicado: (2017)

Formal Aspects of Component Software : 14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings /
Publicado: (2017)

Software Technologies : 11th International Joint Conference, ICSOFT 2016, Lisbon, Portugal, July 24-26, 2016, Revised Selected Papers /
Publicado: (2017)

Symbolic and Quantitative Approaches to Reasoning with Uncertainty : 14th European Conference, ECSQARU 2017, Lugano, Switzerland, July 10-14, 2017, Proceedings /
Publicado: (2017)

Building Arduino Projects for the Internet of Things : Experiments with Real-World Applications /
por: Javed, Adeel.
Publicado: (2016)

String Analysis for Software Verification and Security /
por: Bultan, Tevfik., et al.
Publicado: (2017)

Theoretical Aspects of Computing - ICTAC 2017 : 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings /
Publicado: (2017)

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, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings /
Publicado: (2017)

NASA Formal Methods : 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings /
Publicado: (2017)

Design Driven Testing : Test Smarter, Not Harder /
por: Stephens, Matt., et al.
Publicado: (2010)

Tools and Algorithms for the Construction and Analysis of Systems : 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part II /
Publicado: (2017)

Tools and Algorithms for the Construction and Analysis of Systems : 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part I /
Publicado: (2017)

Security of Industrial Control Systems and Cyber-Physical Systems : Second International Workshop, CyberICPS 2016, Heraklion, Crete, Greece, September 26-30, 2016, Revised Selected Papers /
Publicado: (2017)

Information, Communication and Computing Technology Second International Conference, ICICCT 2017, New Delhi, India, May 13, 2017, Revised Selected Papers /
Publicado: (2017)