Tests and proofs 4th international conference, TAP 2010, Malaga, Spain, July 1-2, 2010. Proceedings /

Tests and proofs 4th international conference, TAP 2010, Malaga, Spain, July 1-2, 2010. Proceedings /

में बचाया:

ग्रंथसूची विवरण
मुख्य लेखक:	Fraser, Gordon (लेखक)
निगमित लेखक:	SpringerLink (Online service)
अन्य लेखक:	Gargantini, Angelo
स्वरूप:	ई-पुस्तक
भाषा:	English
प्रकाशित:	Berlin, Heidelberg Springer 2010.
श्रृंखला:	Lecture Notes in Computer Science, 6143
विषय:	Computer science Software engineering Computer software Logic design
ऑनलाइन पहुंच:	Click here to view the full text content
टैग :	टैग जोड़ें कोई टैग नहीं, इस रिकॉर्ड को टैग करने वाले पहले व्यक्ति बनें!

समान संसाधन

Tests and proofs : 6th International Conference, TAP 2012, Prague, Czech Republic, May 31 - June 1, 2012. Proceedings /
प्रकाशित: (2012)

Tests and Proofs : 7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings /
प्रकाशित: (2013)

Tests and proofs : 8th International Conference, TAP 2014, Held as Part of STAF 2014, York, UK, July 24-25, 2014. Proceedings /
प्रकाशित: (2014)

tests and proofs Third International Conference, TAP 2009, Zurich, Switzerland, July 2-3, 2009. Proceedings /
प्रकाशित: (2009)

Software composition 9th international conference, SC 2010, Malaga, Spain, July 1-2, 2010. Proceedings /
प्रकाशित: (2010)

Theory and applications of satisfiability testing - SAT 2010 13th international conference, SAT 2010, Edinburgh, UK, July 11-14, 2010. Proceedings /
प्रकाशित: (2010)

Objects, models, components, patterns 48th international conference, TOOLS 2010, Malaga, Spain, June / July 2010. Proceedings /
प्रकाशित: (2010)

Theory and practice of model transformations third international conference, ICMT 2010, Malaga, Spain, June 28-July 2, 2010. Proceedings /
प्रकाशित: (2010)

Testing software and systems 22nd IFIP WG 6.1 international conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010. proceedings /
प्रकाशित: (2010)

Verification, model checking, and abstract interpretation : 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010. Proceedings /
प्रकाशित: (2010)

Runtime verification first international conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings /
प्रकाशित: (2010)

Hybrid metaheuristics 7th international workshop, HM 2010, Vienna, Austria, October 1-2, 2010. Proceedings /
प्रकाशित: (2010)

Adapting proofs-as-programs the curry-howard protocol /
द्वारा: Poernomo, Iman Hafiz
प्रकाशित: (2005)

Reachability problems 4th international workshop, RP 2010, Brno, Czech Republic, August 28-29, 2010. Proceedings /
प्रकाशित: (2010)

Integrated formal methods 8th international conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings /
प्रकाशित: (2010)

Business process management 8th international conference, BPM 2010, Hoboken, NJ, USA, September 13-16, 2010. Proceedings /
प्रकाशित: (2010)

Practical aspects of declarative languages : 12th International Symposium, PADL 2010, Madrid, Spain, January 18-19, 2010. Proceedings /
प्रकाशित: (2010)

Formal modeling and analysis of timed systems 8th international conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010. Proceedings /
प्रकाशित: (2010)

Hardware and software: verification and testing 4th international haifa verification conference, HVC 2008, Haifa, Israel, october 27-30, 2008. proceedings /
प्रकाशित: (2009)

Reversible Computation : 5th International Conference, RC 2013, Victoria, BC, Canada, July 4-5, 2013. Proceedings /
प्रकाशित: (2013)

Testing practice and research techniques 5th international academic and industrial conference, TAIC PART 2010, Windsor, UK, September 3-5, 2010. Proceedings /
प्रकाशित: (2010)

Foundations of software science and computational structures 13th international conference, FOSSACS 2010,held as part of the joint european conferences on theory and practice of software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings /
प्रकाशित: (2010)

Theoretical computer science 6th IFIP TC 1/WG 2.2 international conference, TCS 2010, held as part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedings /
प्रकाशित: (2010)

Formal methods for industrial critical systems 15th international workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings /
प्रकाशित: (2010)

Reversible computation 4th International Workshop, RC 2012, Copenhagen, Denmark, July 2-3, 2012. revised papers /
प्रकाशित: (2013)

Runtime verification : 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013. Proceedings /
प्रकाशित: (2013)

Computer science logic 24th international workshop, CSL 2010, 19th annual conference of the EACSL, Brno, Czech Republic, August 23-27, 2010. Proceedings /
प्रकाशित: (2010)

Progress in VLSI design and test : 16th International symposium, VDAT 2012, Shibpur, India, July 1-4, 2012. Proceedings /
प्रकाशित: (2012)

Rewriting logic and its applications 8th international workshop, WRLA 2010, held as a satellite event of ETAPS 2010, Paphos, Cyprus, March 20-21, 2010, revised selected papers /
प्रकाशित: (2010)

Graph transformations 5th international conference, ICGT 2010, Enschede, The Netherlands, September 27-October 2, 2010. Proceedings /
प्रकाशित: (2010)

Model checking software 17th international SPIN workshop, Enschede, The Netherlands, September 27-29, 2010. Proceedings /
प्रकाशित: (2010)

Software language engineering : 4th International Conference, SLE 2011, Braga, Portugal, July 3-4, 2011, Revised Selected Papers /
प्रकाशित: (2012)

Hardware and software, verification and testing / First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers /
द्वारा: Ur, Shmuel
प्रकाशित: (2006)

Hardware and software, verification and testing : Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006. Revised Selected Papers /
प्रकाशित: (2007)

Runtime verification : 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings /
प्रकाशित: (2014)

Reliable software technologies - ada-europe 2010 15th ada-europe international conference on reliable software technologies, Valencia, Spain, June 14-18, 2010. Proceedings /
प्रकाशित: (2010)

Model-based safety and assessment : 4th International Symposium, IMBSA 2014, Munich, Germany, October 27-29, 2014. Proceedings /
प्रकाशित: (2014)

Integrated formal methods : 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings /
प्रकाशित: (2012)

Computer aided verification : 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings /
प्रकाशित: (2013)

Reversible computation : 6th International Conference, RC 2014, Kyoto, Japan, July 10-11, 2014. Proceedings /
प्रकाशित: (2014)