Programming Languages and Systems (vol. # 4279) 4th Asian Symposium, APLAS 2006, Sydney, Australia, November 8-10, 2006, Proceedings

Programming Languages and Systems (vol. # 4279) 4th Asian Symposium, APLAS 2006, Sydney, Australia, November 8-10, 2006, Proceedings

Bibliographic Details
Published in:	Springer e-books
Main Author:	Kobayashi, Naoki
Corporate Author:	SpringerLink (Online service)
Format:	eBook
Language:	English
Published:	Berlin Heidelberg : Springer-Verlag GmbH., 2006
Series:	Lecture Notes in Computer Science,
Subjects:	Computer Science Computer science Logic design Operating systems (Computers) Software engineering Logics and Meanings of Programs Mathematical Logic and Formal Languages Operating Systems Programming Languages, Compilers, Interpreters Programming Techniques Software Engineering
Online Access:	http://dx.doi.org/10.1007/11924661 Перейти в каталог НБ ТГУ

Similar Items

Programming Languages and Systems (vol. # 3780) Third Asian Symposium, APLAS 2005, Tsukuba, Japan, November 2-5, 2005, Proceedings
by: Yi, Kwangkeun
Published: (2005)

Programming Languages and Systems 5th Asian Symposium, APLAS 2007, Singapore, November 29-December 1, 2007. Proceedings /
by: Shao, Zhong
Published: (2007)

Programming Languages and Systems 6th Asian Symposium, APLAS 2008, Bangalore, India, December 9-11, 2008. Proceedings /
by: Hutchison, David
Published: (2008)

Modular Programming Languages 7th Joint Modular Languages Conference, JMLC 2006, Oxford, UK, September 13-15, 2006, Proceedings
by: Lightfoot, David
Published: (2006)

Formal Methods for Components and Objects (vol. # 3657) Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004, Revised Lectures
by: Bonsangue, Marcello M.
Published: (2005)

Formal Methods for Components and Objects (vol. # 4111) 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures
by: de Boer, Frank S.
Published: (2006)

Formal Methods for Components and Objects 5th International Symposium, FMCO 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised Lectures /
by: Boer, Frank S.
Published: (2007)

Multiparadigm Programming in Mozart Second International Conference, MOZ 2004, Charleroi, Belgium, October 7-8, 2004, Revised Selected Papers
by: Van Roy, Peter
Published: (2005)

Distributed Applications and Interoperable Systems (vol. # 4025) 6th IFIP WG 6.1 International Conference, DAIS 2006, Athens, Greece, June 14-16, 2006
by: Eliassen, Frank
Published: (2006)

Formal Methods for Open Object-Based Distributed Systems (vol. # 4037) 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006, Proceedings
by: Gorrieri, Roberto
Published: (2006)

Component Deployment Third International Working Conference, CD 2005, Grenoble, France, November 28-29, 2005, Proceedings
by: Dearle, Alan
Published: (2005)

Formal Methods for Components and Objects 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures /
by: Hutchison, David
Published: (2008)

Distributed Applications and Interoperable Systems (vol. # 3543) 5th IFIP WG 6.1 International Conference, DAIS 2005, Athens, Greece, June 15-17, 2005, Proceedings
by: Kutvonen, Lea
Published: (2005)

Formal Methods for Open Object-Based Distributed Systems (vol. # 3535) 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005, Proceedings
by: Steffen, Martin
Published: (2005)

NASA Formal Methods 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings /
Published: (2015)

NASA Formal Methods 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings /
Published: (2013)

NASA Formal Methods 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014. Proceedings /
Published: (2014)

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices (vol. # 3362) International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers
by: Barthe, Gilles
Published: (2005)

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices (vol. # 3956) Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, Revised Selected Papers
by: Barthe, Gilles
Published: (2006)

Trustworthy Global Computing International Symposium, TGC 2005, Edinburgh, UK, April 7-9, 2005. Revised Selected Papers
by: De Nicola, Rocco
Published: (2005)

Architecting Systems with Trustworthy Components International Seminar, Dagstuhl Castle, Germany, December 12-17, 2004. Revised Selected Papers
by: Reussner, Ralf H.
Published: (2006)

Distributed Applications and Interoperable Systems 7th IFIP WG 6.1 International Conference, DAIS 2007, Paphos, Cyprus, June 6-8, 2007, Proccedings
by: Indulska, Jadwiga
Published: (2007)

Formal Methods for Open Object-Based Distributed Systems 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings
by: Bonsangue, Marcello M.
Published: (2007)

Assurances for Self-Adaptive Systems Principles, Models, and Techniques /
Published: (2013)

Formal Methods for Open Object-Based Distributed Systems 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 Proceedings /
by: Barthe, Gilles
Published: (2008)

Distributed Applications and Interoperable Systems 8th IFIP WG 6.1 International Conference, DAIS 2008, Oslo, Norway, June 4-6, 2008. Proceedings /
by: Meier, René
Published: (2008)

Formal Methods for Components and Objects 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers /
Published: (2013)

Principles of the Spin Model Checker
by: Ben-Ari, Mordechai
Published: (2008)

Formal Techniques for Networked and Distributed Systems - FORTE 2006 26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006, Proceedings
by: Najm, Elie
Published: (2006)

Operational Semantics for Timed Systems A Non-standard Approach to Uniform Modeling of Timed and Hybrid Systems
by: Rust, Heinrich
Published: (2005)

Formal Techniques for Networked and Distributed Systems - FORTE 2005 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005, Proceedings
by: Wang, Farn
Published: (2005)

Formal Techniques for Networked and Distributed Systems вЂ" FORTE 2008 28th IFIP WG 6.1 International Conference Tokyo, Japan, June 10-13, 2008 Proceedings /
by: Suzuki, Kenji
Published: (2008)

Formal Techniques for Networked and Distributed Systems - FORTE 2007 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007. Proceedings /
by: Derrick, John
Published: (2007)

Unifying Theories of Programming First International Symposium, UTP 2006, Walworth Castle, County Durham, UK, February 5-7, 2006, Revised Selected Papers
by: Dunne, Steve
Published: (2006)

Verified Software: Theories, Tools, Experiments First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions /
by: Meyer, Bertrand
Published: (2008)

Ada 2012 Reference Manual. Language and Standard Libraries International Standard ISO/IEC 8652/2012 (E) /
Published: (2013)

Ada 2012 Rationale The Language, The Standard Libraries /
by: Barnes, John
Published: (2013)

Programming Languages and Systems 13th Asian Symposium, APLAS 2015, Pohang, South Korea, November 30 - December 2, 2015, Proceedings /
Published: (2015)

Aliasing in Object-Oriented Programming. Types, Analysis and Verification
Published: (2013)

Compiler Construction 22nd International Conference, CC 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings /
Published: (2013)