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

Código QR

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

Detalles Bibliográficos
Autor Corporativo:	SpringerLink (Online service)
Otros Autores:	Strichman, Ofer. (Editor ), Tzoref-Brill, Rachel. (Editor )
Formato:	eBook
Lenguaje:	English
Publicado:	Cham : Springer International Publishing : Imprint: Springer, 2017.
Edición:	1st ed. 2017.
Colección:	Programming and Software Engineering ; 10629
Materias:	Software engineering. Computer logic. Programming languages (Electronic computers). Mathematical logic. Artificial intelligence. Computer communication systems. Software Engineering. Logics and Meanings of Programs. Programming Languages, Compilers, Interpreters. Mathematical Logic and Formal Languages. Artificial Intelligence. Computer Communication Networks.

Ejemplares similares

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

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

Automated Reasoning with Analytic Tableaux and Related Methods : 26th International Conference, TABLEAUX 2017, Brasília, Brazil, September 25–28, 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)

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

Computer Aided Verification : 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II /
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)

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

Intelligent Computer Mathematics 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings /
Publicado: (2017)

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

Symbolic and Quantitative Approaches to Reasoning with Uncertainty : 14th European Conference, ECSQARU 2017, Lugano, Switzerland, July 10–14, 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)

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

Interactive Theorem Proving : 8th International Conference, ITP 2017, Brasília, Brazil, September 26–29, 2017, Proceedings /
Publicado: (2017)

Conceptual Modeling : 36th International Conference, ER 2017, Valencia, Spain, November 6–9, 2017, Proceedings /
Publicado: (2017)

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

Numerical Software Verification : 9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers /
Publicado: (2017)

Recent Trends in Algebraic Development Techniques : 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21–24, 2016, Revised Selected Papers /
Publicado: (2017)

Logic Programming and Nonmonotonic Reasoning : 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 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)

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

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

Rules and Reasoning : International Joint Conference, RuleML+RR 2017, London, UK, July 12–15, 2017, Proceedings /
Publicado: (2017)

NASA Formal Methods : 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings /
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)

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)

Small Dynamic Complexity Classes : An Investigation into Dynamic Descriptive Complexity /
por: Zeume, Thomas.
Publicado: (2017)

Logic-Based Program Synthesis and Transformation : 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6–8, 2016, Revised Selected Papers /
Publicado: (2017)

Relational and Algebraic Methods in Computer Science 16th International Conference, RAMiCS 2017, Lyon, France, May 15-18, 2017, Proceedings /
Publicado: (2017)

Scalable Uncertainty Management : 11th International Conference, SUM 2017, Granada, Spain, October 4-6, 2017, Proceedings /
Publicado: (2017)

Formal Modeling and Analysis of Timed Systems : 15th International Conference, FORMATS 2017, Berlin, Germany, September 5–7, 2017, Proceedings /
Publicado: (2017)

Automated Deduction – CADE 26 : 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6–11, 2017, Proceedings /
Publicado: (2017)

Provably Correct Systems /
Publicado: (2017)

ModelEd, TestEd, TrustEd Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday /
Publicado: (2017)

Reachability Problems : 11th International Workshop, RP 2017, London, UK, September 7-9, 2017, Proceedings /
Publicado: (2017)

Topics in Theoretical Computer Science : Second IFIP WG 1.8 International Conference, TTCS 2017, Tehran, Iran, September 12-14, 2017, Proceedings /
Publicado: (2017)

Numerical Software Verification : 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings /
Publicado: (2017)

PRIMA 2017: Principles and Practice of Multi-Agent Systems : 20th International Conference, Nice, France, October 30 – November 3, 2017, Proceedings /
Publicado: (2017)

Inductive Logic Programming : 26th International Conference, ILP 2016, London, UK, September 4-6, 2016, Revised Selected Papers /
Publicado: (2017)

Logic and Its Applications : 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017, Proceedings /
Publicado: (2017)