Hardware and Software, Verification and Testing Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006. Revised Selected Papers /

Hardware and Software, Verification and Testing Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006. Revised Selected Papers /

Bibliographic Details
Published in:	Springer e-books
Main Author:	Bin, Eyal
Corporate Author:	SpringerLink (Online service)
Other Authors:	Ur, Shmuel, Ziv, Avi
Format:	eBook
Language:	English
Published:	Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007.
Series:	Lecture Notes in Computer Science,
Subjects:	Computer Science Logic design Software engineering Logics and Meanings of Programs Programming Languages, Compilers, Interpreters Software Engineering
Online Access:	http://dx.doi.org/10.1007/978-3-540-70889-6 Перейти в каталог НБ ТГУ

Similar Items

Hardware and Software: Verification and Testing Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007. Proceedings /
by: Yorav, Karen
Published: (2008)

Hardware and Software, Verification and Testing First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers
by: Ur, Shmuel
Published: (2006)

Hardware and Software: Verification and Testing 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers /
Published: (2013)

Hardware and Software: Verification and Testing 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings /
Published: (2013)

Hardware and Software: Verification and Testing 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014. Proceedings /
Published: (2014)

Hardware and Software: Verification and Testing 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings /
Published: (2015)

Verification, Model Checking, and Abstract Interpretation (vol. # 3855) 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, Proceedings
by: Emerson, E. Allen
Published: (2006)

Formal Approaches to Software Testing and Runtime Verification First Combined International Workshops FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers
by: Havelund, Klaus
Published: (2006)

Verification, Model Checking, and Abstract Interpretation 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007. Proceedings /
by: Cook, Byron
Published: (2007)

Verification, Model Checking, and Abstract Interpretation 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings /
by: Hutchison, David
Published: (2009)

Verification, Model Checking, and Abstract Interpretation 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008. Proceedings /
by: Logozzo, Francesco
Published: (2008)

Verification, Model Checking, and Abstract Interpretation (vol. # 3385) 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005, Proceedings
by: Cousot, Radhia
Published: (2005)

Fundamental Approaches to Software Engineering (vol. # 3922) 9th International Conference, FASE 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March
by: Baresi, Luciano
Published: (2006)

Formal Methods for Hardware Verification 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advances Lectures
by: Bernardo, Marco
Published: (2006)

Formal Methods and Software Engineering (vol. # 4260) 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Proceedings
by: Liu, Zhiming
Published: (2006)

Model Checking Software (vol. # 3925) 13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006, Proceedings
by: Valmari, Antti
Published: (2006)

Model-Based Testing of Reactive Systems Advanced Lectures
by: Broy, Manfred
Published: (2005)

Fundamental Approaches to Software Engineering 10th International Conference, FASE 2007, Held as Part of the Joint European Conferences, on Theory and Practice of Software, ETAPS 2007, Braga, Portugal.
by: Dwyer, Matthew B.
Published: (2007)

Model Checking Software 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007. Proceedings /
by: Bošnacki, Dragan
Published: (2007)

Fundamental Approaches to Software Engineering 11th International Conference, FASE 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008
by: Fiadeiro, José Luiz
Published: (2008)

Model Checking Software 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008 Proceedings /
by: Hutchison, David
Published: (2008)

Model Checking Software 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013. Proceedings /
Published: (2013)

Fundamental Approaches to Software Engineering (vol. # 3442) 8th International Conference, FASE 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April
by: Cerioli, Maura
Published: (2005)

Software Engineering 3 Domains, Requirements, and Software Design /
by: Bjørner, Dines
Published: (2006)

Model Checking Software (vol. # 3639) 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005, Proceedings
by: Godefroid, Patrick
Published: (2005)

Software Engineering and Formal Methods SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected Papers /
Published: (2014)

Formal Methods and Software Engineering (vol. # 3785) 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005, Proceedings
by: Banach, Richard
Published: (2005)

Software Engineering 1 Abstraction and Modelling /
by: Bjørner, Dines
Published: (2006)

Software Engineering 2 Specification of Systems and Languages /
by: Bjørner, Dines
Published: (2006)

Verification, Model Checking, and Abstract Interpretation Third International Workshop, VMCAI 2002 Venice, Italy, January 21вЂ"22, 2002 Revised Papers /
by: Cortesi, Agostino
Published: (2006)

Automated Technology for Verification and Analysis 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings /
Published: (2013)

Specification, Algebra, and Software Essays Dedicated to Kokichi Futatsugi /
Published: (2014)

Advances in Smalltalk 14th International Smalltalk Conference, ISC 2006, Prague, Czech Republic, September 4-8, 2006, Revised Selected Papers /
by: Meuter, Wolfgang
Published: (2007)

Perspectives of Systems Informatics 6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27-30, 2006. Revised Papers /
by: Virbitskaite, Irina
Published: (2007)

Fundamental Approaches to Software Engineering 17th International Conference, FASE 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings /
Published: (2014)

Verification of Object-Oriented Software. The KeY Approach Foreword by K. Rustan M. Leino /
by: Beckert, Bernhard
Published: (2007)

Variations on Constants Flow Analysis of Sequential and Parallel Programs
by: Müller-Olm, Markus
Published: (2006)

Application and Theory of Petri Nets and Concurrency 35th International Conference, PETRI NETS 2014, Tunis, Tunisia, June 23-27, 2014. Proceedings /
Published: (2014)

Runtime Verification 7th International Workshop, RV 2007, Vancover, Canada, March 13, 2007, Revised Selected Papers /
by: Sokolsky, Oleg
Published: (2007)

Automated Technology for Verification and Analysis 12th International Symposium, ATVA 2014, Sydney, NSW, Australia, November 3-7, 2014, Proceedings /
Published: (2014)