International Symposium on fundamentals of software engineering : International Symposium, FSEN 2007, Tehran, Iran, April 17-19, 2007. Proceedings /

International Symposium on fundamentals of software engineering : International Symposium, FSEN 2007, Tehran, Iran, April 17-19, 2007. Proceedings /

अन्य संस्करण दिखाएं (2)

में बचाया:

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

समान संसाधन

International Symposium on Fundamentals of Software Engineering : International Symposium, FSEN 2007, Tehran, Iran, April 17-19, 2007 proceedings /
प्रकाशित: (2007)

International Symposium on Fundamentals of Software Engineering : International Symposium, FSEN 2007, Tehran, Iran, April 17-19, 2007 proceedings /
प्रकाशित: (2007)

Fundamentals of software engineering : 5th International Conference, FSEN 2013, Tehran, Iran, April 24-26, 2013, Revised Selected Papers /
प्रकाशित: (2013)

Fundamentals of software engineering : 4th IPM International conference, FSEN 2011, Tehran, Iran, April 20-22, 2011, revised selected papers /
प्रकाशित: (2012)

Fundamentals of software engineering third IPM international conference, FSEN 2009, Kish Island, Iran, April 15-17, 2009, Revised Selected Papers /
द्वारा: Arbab, Farhad
प्रकाशित: (2010)

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 /
प्रकाशित: (2014)

Formal methods and Software Engineering 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, FL, USA, November 14-15, 2007. Proceedings.
द्वारा: Butler, Michael
प्रकाशित: (2007)

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
द्वारा: Cerioli, Maura
प्रकाशित: (2005)

Software composition : 6th International Symposium, SC 2007, Braga, Portugal, March 24-25, 2007, Revised Selected Papers /
प्रकाशित: (2007)

Practical aspects of declarative languages : 9th International Symposium, PADL 2007, Nice, France, January 14-15, 2007. Proceedings /
प्रकाशित: (2007)

Fundamental approaches to software engineering 12th international conference, FASE 2009, held as part of the joint European conferences on theory and practice of software, ETAPS 2009, York, UK, March 22-29, 2009. proceedings /
प्रकाशित: (2009)

Model checking software : 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013. Proceedings /
प्रकाशित: (2013)

Software composition : 12th International Conference, SC 2013, Budapest, Hungary, June 19, 2013. Proceedings /
प्रकाशित: (2013)

Component-Based Software Engineering (vol. # 3489) 8th International Symposium, CBSE 2005, St. Louis, MO, USA, May 14-15, 2005
द्वारा: Crnkovic, Ivica
प्रकाशित: (2005)

Foundations of software science and computational structures : 10th International Conference, FOSSACS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal.
द्वारा: Seidl, Helmut
प्रकाशित: (2007)

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

Model checking software 19th international workshop, SPIN 2012, Oxford, UK, July 23-24, 2012. proceedings /
प्रकाशित: (2012)

Fundamental approaches to software engineering : 16th International Conference, FASE 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings /
प्रकाशित: (2013)

Testing techniques in software engineering Second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3-7, 2007, Revised Lectures /
प्रकाशित: (2010)

Foundations of software science and computation structures : 17th International Conference, FOSSACS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings /
प्रकाशित: (2014)

Static analysis 19th International Symposium, SAS 2012, Deauville, France, September 11-13, 2012. Proceedings /
प्रकाशित: (2012)

Programming languages and systems : 12th Asian Symposium, APLAS 2014, Singapore, Singapore, November 17-19, 2014, Proceedings /
प्रकाशित: (2014)

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

Reliable software technologies - Ada-Europe 2014 : 19th Ada-Europe International Conference on Reliable Software Technologies, Paris, France, June 23-27, 2014. Proceedings /
प्रकाशित: (2014)

Compiler construction : 16th International Conference, CC 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 26-30, 2007. Proceedings.
द्वारा: Krishnamurthi, Shriram
प्रकाशित: (2007)

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

Fundamental approaches to software engineering : 15th International Conference, FASE 2012, held as part of the European joint conferences on theory and practice of software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings /
प्रकाशित: (2012)

Functional and logic programming 10th international symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010. Proceedings /
प्रकाशित: (2010)

Formal modeling and analysis of timed systems : 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007. Proceedings /
प्रकाशित: (2007)

Verification, model checking, and abstract interpretation : 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007. Proceedings /
प्रकाशित: (2007)

Generative and transformational techniques in software engineering III International Summer School, GTTSE 2009, Braga, Portugal, July 6-11, 2009. Revised Papers /
प्रकाशित: (2011)

Generative and transformational techniques in software engineering IV : International Summer School, GTTSE 2011, Braga, Portugal, July 3-9, 2011. Revised Papers /
प्रकाशित: (2013)

Testing software and systems 22nd IFIP WG 6.1 international conference, ICTSS 2010, Natal, Brazil, November 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)

Architectures for adaptive software systems 5th international conference on the quality of software architectures, QoSA 2009, east stroudsburg, PA, USA, June 24-26, 2009. Proceedings /
प्रकाशित: (2009)

Reachability problems 6th International workshop, RP 2012, Bordeaux, France, September 17-19, 2012. Proceedings /
प्रकाशित: (2012)

Model checking software 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009. Proceedings /
प्रकाशित: (2009)

Static analysis : 21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedings /
प्रकाशित: (2014)

Static analysis : 12th International Symposium, SAS 2005, London, UK, September 7-9, 2005, Proceedings

Reliable software technologies - Ada-Europe 2013 : 18th Ada-Europe International Conference on Reliable Software Technologies, Berlin, Germany, June 10-14, 2013. Proceedings /
प्रकाशित: (2013)