Cargando…

Composition of Embedded Systems. Scientific and Industrial Issues 13th Monterey Workshop 2006 Paris, France, October 16-18, 2006 Revised Selected Papers /

Detalles Bibliográficos
Clasificación:	Libro Electrónico
Autor Corporativo:	SpringerLink (Online service)
Otros Autores:	Kordon, Fabrice (Editor ), Sokolsky, Oleg (Editor )
Formato:	Electrónico eBook
Idioma:	Inglés
Publicado:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008.
Edición:	1st ed. 2008.
Colección:	Programming and Software Engineering, 4888
Temas:	Software engineering. Computer science. Computer programming. Compilers (Computer programs). Software Engineering. Theory of Computation. Programming Techniques. Compilers and Interpreters. Computer Science Logic and Foundations of Programming.
Acceso en línea:	Texto Completo

Ejemplares similares

Software Composition 5th International Symposium, SC 2006, Vienna, Austria, March 25-26, 2006, Revised Papers /
Publicado: (2006)

Hardware and Software, Verification and Testing Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006, Revised Selected Papers /
Publicado: (2007)

Model-Based Engineering of Embedded Real-Time Systems International Dagstuhl Workshop, Dagstuhl Castle, Germany, November 4-9, 2007. Revised Selected Papers /
Publicado: (2010)

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

Model Checking Software 13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006, Proceedings /
Publicado: (2006)

Software Composition 4th International Workshop, SC 2005, Edinburgh, UK, April 9, 2005, Revised Selected Papers /
Publicado: (2005)

Practical Aspects of Declarative Languages 8th International Symposium, PADL 2006, Charleston, SC, USA, January 9-10, 2006, Proceedings /
Publicado: (2006)

Fundamental Approaches to Software Engineering 9th International Conference, FASE 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006, Proceedings /
Publicado: (2006)

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

Verification, Model Checking, and Abstract Interpretation 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, Proceedings /
Publicado: (2006)

Formal Methods and Software Engineering 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Proceedings /
Publicado: (2006)

Model Checking Software 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009, Proceedings /
Publicado: (2009)

Hardware and Software, Verification and Testing First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers /
Publicado: (2006)

Software Composition 6th International Symposium, SC 2007, Braga, Portugal, March 24-25, 2007, Revised Selected Papers /
Publicado: (2007)

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 /
Publicado: (2006)

Software Composition 8th International Conference, SC 2009, Zurich, Switzerland, July 2-3, 2009, Proceedings /
Publicado: (2009)

Software Composition 9th International Conference, SC 2010, Malaga, Spain, July 1-2, 2010. Proceedings /
Publicado: (2010)

Software Composition 7th International Symposium, SC 2008, Budapest, Hungary, March 29-30, 2008. Proceedings /
Publicado: (2008)

Verification, Model Checking, and Abstract Interpretation 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005, Proceedings /
Publicado: (2005)

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

Hardware and Software: Verification and Testing 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008, Revised Selected Papers /
Publicado: (2009)

Hardware and Software: Verification and Testing 5th International Haifa Verification Conference, HCV 2009, Haifa, Israel, October 19-22, 2009, Revised Selected Papers /
Publicado: (2011)

Hardware and Software: Verification and Testing 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers /
Publicado: (2011)

Business Process Management 8th International Conference, BPM 2010, Hoboken, NJ, USA, September 13-16, 2010, Proceedings /
Publicado: (2010)

Reliable Systems on Unreliable Networked Platforms 12th Monterey Workshop 2005, Laguna Beach, CA, USA, September 22-24, 2005. Revised Selected Papers /
Publicado: (2007)

Integrated Formal Methods 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009, Proceedings /
Publicado: (2009)

Practical Aspects of Declarative Languages 17th International Symposium, PADL 2015, Portland, OR, USA, June 18-19, 2015. Proceedings /
Publicado: (2015)

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 /
Publicado: (2014)

Practical Aspects of Declarative Languages 16th International Symposium, PADL 2014, San Diego, CA, USA, January 19-20, 2014, Proceedings /
Publicado: (2014)

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

Component-Based Software Engineering 9th International Symposium, CBSE 2006, Västeras, Sweden, June 29 - July 1, 2006, Proceedings /
Publicado: (2006)

Formal Methods for Components and Objects 5th International Symposium, FMCO 2006, Amsterdam, Netherlands, November 7-10,2006, Revised Lectures /
Publicado: (2007)

Hardware and Software: Verification and Testing Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007, Proceedings /
Publicado: (2008)

Practical Aspects of Declarative Languages 18th International Symposium, PADL 2016, St. Petersburg, FL, USA, January 18-19, 2016. Proceedings /
Publicado: (2016)

Static Analysis 13th International Symposium, SAS 2006, Seoul, Korea, August 29-31, 2006, Proceedings /
Publicado: (2006)

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

Practical Aspects of Declarative Languages 9th International Symposium, PADL 2007, Nice, France, January 14-15, 2007, Proceedings /
Publicado: (2007)

Perspectives of Systems Informatics 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009, Revised Papers /
Publicado: (2010)

Communicating Sequential Processes. The First 25 Years Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004. Revised Invited Papers /
Publicado: (2005)

Compiler Construction 24th International Conference, CC 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings /
Publicado: (2015)

Cannot write session to /tmp/vufind_sessions/sess_1j57ccqg5gqhomfr5282ossrsk