Structured object-oriented formal language and method : :: SCD d'Orléans

Structured object-oriented formal language and method : Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012 : revised selected papers

Structured object-oriented formal language and method : Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012 : revised selected papers

This book constitutes the thoroughly refereed post-conference proceedings of the Second International Workshop on Structured Object-Oriented Formal Language, SOFL 2012, held in Kyoto, Japan, in November 2012. The 10 full papers presented were carefully reviewed and selected for inclusion in this boo...

Mô tả đầy đủ

Đã lưu trong:

Chi tiết về thư mục
Tác giả khác:	Liu, Shaoying (Giám đốc xuất bản)
Định dạng:	Livre numérique
Ngôn ngữ:	Anglais
Được phát hành:	Berlin, Heidelberg : Springer Berlin Heidelberg 2013. Cham : Springer Nature
Loạt:	Theoretical Computer Science and General Issues 7787
Truy cập trực tuyến:	Accès sur la plateforme de l'éditeur (Springer) Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Chú thích:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Structured Object-Oriented Formal Language and Method, Texte imprimé, 9783642392764 • Structured Object-Oriented Formal Language and Method, Texte imprimé, 9783642392788

Những quyển sách tương tự

Formal methods for mining structured objects
Bằng: Garriga, Gemma

Formal methods for components and objects : second international symposium, FMCO 2003, Leiden, The Netherlands, november 4-7, 2003 : revised lectures

Formal Methods for Components and Objects : 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures
Bằng: Giachino, Elena

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

Agent-oriented software engineering. 13th International Workshop, AOSE 2012, Valencia, Spain, June 4, 2012, revised selected papers

Formal methods for components and objects : First international symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002 : revised lectures

Web services and formal methods : 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012 : revised selected papers

Foundations of object-oriented languages : REX School/Workshop, Noordwijkerhout, the Netherlands, May 28-June 1, 1990 : proceedings

Technology of Object-Oriented Languages, Systems and Architectures

Object-Oriented Programming Languages and Event-Driven Programming
Bằng: Yeager, Dorian P.
Được phát hành: (2012)

Object-Oriented Modeling

Object Oriented Environs
Được phát hành: (2021)

Service-Oriented Computing - ICSOC 2012 Workshops : ICSOC 2012, International Workshops ASC, DISA, PAASC, SCEB, SeMaPS, WESOA, and Satellite Events, Shanghai, China, November 12-15, 2012, Revised Selected Papers

Object-oriented technology : ECOOP 97 workshop reader, ECOOP 97 workshops, Jyväskylä, Finland, June 9-13, 1997 : proceedings

Languages and Compilers for Parallel Computing : 25th International Workshop, LCPC 2012, Tokyo, Japan, September 11-13, 2012, Revised Selected Papers
Bằng: Kasahara, Hironori

Object-oriented software construction
Bằng: Meyer, Bertrand, 1950-...., chercheur en informatique
Được phát hành: (1988)

Object-Oriented Behavioral Specifications
Bằng: Kilov, Haim, et al.

R object-oriented programming
Bằng: Black, Kelly
Được phát hành: (2014)

Object-Oriented Philosophy : The Noumenon's New Clothes
Bằng: Wolfendale, Peter
Được phát hành: (2018)

Object-oriented technology : ECOOP 2002 workshop reader : ECOOP 2002 workshops and posters, Málaga, Spain, June 10-14, 2002 : proceedings

Object-oriented technology : ECOOP 2001 Workshop Reader : ECOOP 2001 workshops, panels, and posters, Budapest, Hungary, June 18 22, 2001 : proceedings
Được phát hành: (2003)

Object-oriented technology : ECOOP '98 workshop reader : ECOOP '98 workshops, demos, and posters, Brussels, Belgium, July 20 24, 1998 : proceedings

Object-oriented technology : ECOOP 99 workshop reader : ECOOP 99 workshops, panels, and posters, Lisbon, Portugal, June 14 18, 1999 : proceedings

Object-oriented technology : ECOOP 2000 workshop reader : workshops, panels and posters, Sophia Antipolis and Cannes, France, June 12-16, 2000 : proceedings

From object-orientation to formal methods : essays in memory of Ole-Johan Dahl
Bằng: Owe, Olaf, 19..-

Object-oriented Software for Manufacturing Systems

Advances in object-oriented database systems

Formal Languages and Applications

Aliasing in object-oriented programming : types, analysis and verification

Constraint solving and language processing : 7th International Workshop, CSLP 2012, Orléans, France, September 13-14, 2012, revised selected papers
Bằng: Duchier, Denys
Được phát hành: (2013)

Deductive and object-oriented databases : Second International Conference, DOOD '91, Munich, Germany, December 16-18, 1991 : proceedings

Formal grammar : 17th and 18th International Conferences, FG 2012, Opole, Poland, August 2012, Revised Selected Papers, FG 2013, Düsseldorf, Germany, August 2013 : proceedings
Bằng: Morrill, Glyn
Được phát hành: (2013)

Formal aspects of component software : 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012 : revised selected papers

Advances in object-oriented information systems : OOIS 2002 workshops, Montpellier, France, September 2, 2002 : proceedings

Object-oriented technology : ; final reports ECOOP 2003 workshop reader : ECOOP 2003 workshops, Darmstadt, Germany, July 21-25, 2003

Integrated formal methods : second international conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000 : proceedings

Agent-oriented software engineering : first international workshop, AOSE 2000, Limerick, Ireland, June 10, 2000 : revised papers

Agent-oriented information systems : 5th International Bi-Conference Workshop, AOIS 2003, Melbourne, Australia, July 14, 2003 and Chicago, IL, USA, October 13, 2003 : revised selected papers
Bằng: Giorgini, Paolo, 1968-

Formal Methods
Được phát hành: (2024)

Formal Methods
Được phát hành: (2024)

© 2021-2023 • Université d'Orléans, Service Commun de Documentation, 6 rue de Tours, 45072 Orléans cedex 2
+33(0) 2 38 41 71 84 • https://scd.univ-orleans.fr • Mentions légales