Analysis and verification of multiple agent languages 5th LOMAPS workshop, Stockholm, Sweden, June 24-26, 1996 ; selected papers

Analysis and verification of multiple agent languages 5th LOMAPS workshop, Stockholm, Sweden, June 24-26, 1996 ; selected papers

Weitere Versionen anzeigen (1)

Gespeichert in:

Bibliographische Detailangaben
Format:	Tagungsbericht Buch
Sprache:	English
Veröffentlicht:	Berlin [u.a.] Springer 1997
Schriftenreihe:	Lecture notes in computer science 1192
Schlagworte:	Programmeringsspråk Programming languages (Electronic computers) > Congresses Programmanalyse Programmverifikation Programmiersprache Konferenzschrift > 1996 > Stockholm
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Analysis and verification of multiple agent languages 5th LOMAPS workshop, Stockholm, Sweden, June 24-26, 1996 ; selected papers
Veröffentlicht: (1997)

Programming languages and systems 15th Asian symposium, APLAS 2017, Suzhou, China, November 27-29, 2017 : proceedings
Veröffentlicht: (2017)

Programming languages and systems 11th Asian symposium, APLAS 2013, Melbourne, VIC, Australia, December 9 -11, 2013 ; proceedings
Veröffentlicht: (2013)

Programming languages and systems 17th Asian symposium, APLAS 2019, Nusa Dua, Bali, Indonesia, December 1-4, 2019 : proceedings
Veröffentlicht: (2019)

Programming languages and systems 27th European symposium on programming, ESOP 2018, held as part of the European joint conferences on theory and practice of software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018 : proceedings
Veröffentlicht: (2018)

Programming languages and systems 28th European symposium on programming, ESOP 2019, held as part of the European joint conferences on theory and practice of software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019 : proceedings
Veröffentlicht: (2019)

Programming languages and systems 31th European symposium on programming, ESOP 2022, held as part of the European joint conferences on theory and practice of software, ETAPS 2022, Munich, Germany, April 2-7, 2022 : proceedings
Veröffentlicht: (2022)

Programming languages and systems 24th European Symposium on Programming, ESOP 2015, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015 ; proceedings
Veröffentlicht: (2015)

Programming Languages and Systems 20th European Symposium on Programming, ESOP 2011, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26 - April 3, 2011, Proceedings
Veröffentlicht: (2011)

Verification, model checking, and abstract interpretation 6th international conference, VMCAI 2005, Paris, France, January 17 - 19, 2005 ; proceedings
Veröffentlicht: (2005)

Programming logics an introduction to verification and semantics
von: Gumb, Raymond D.
Veröffentlicht: (1989)

Programming languages and systems 15th Asian Symposium, APLAS 2017, Suzhou, China, November 27-29, 2017 : proceedings
Veröffentlicht: (2017)

Programming languages and systems 19th Asian Symposium, APLAS 2021, Chicago, IL, USA, October 17-18, 2021 : proceedings
Veröffentlicht: (2021)

Programming languages and systems 16th Asian Symposium, APLAS 2018, Wellington, New Zealand, December 2–6, 2018 : proceedings
Veröffentlicht: (2018)

Verification, model checking, and abstract interpretation 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007 ; proceedings
Veröffentlicht: (2007)

Verification, model checking, and abstract interpretation 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007 ; proceedings
Veröffentlicht: (2007)

Verification, model checking, and abstract interpretation 16th international conference, VMCAI 2015, Mumbai, India, January 12 - 14, 2015; proceedings
Veröffentlicht: (2015)

Verification, model checking, and abstract interpretation 7th international conference, VMCAI 2006, Charleston, SC, USA, January 8 - 10, 2006 ; proceedings
Veröffentlicht: (2006)

Verification, model checking, and abstract interpretation 12th international conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011 ; proceedings
Veröffentlicht: (2011)

Verification, model checking, and abstract interpretation 13th international conference, VMCAI 2012, Philadelphia, PA, USA, January 22 - 24, 2012 ; proceedings
Veröffentlicht: (2012)

Verification, model checking, and abstract interpretation 24th international conference, VMCAI 2023, Boston, MA, USA, January 16–17, 2023 : proceedings
Veröffentlicht: (2023)

Verification, model checking, and abstract interpretation 13th international conference, VMCAI 2012, Philadelphia, PA, USA, January 22 - 24, 2012 ; proceedings
Veröffentlicht: (2012)

Verification, Model Checking, and Abstract Interpretation 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011 Proceedings
Veröffentlicht: (2011)

Verification, model checking, and abstract interpretation 15th international conference, VMCAI 2014, San Diego, CA, USA, January 19 - 21, 2014 ; proceedings
Veröffentlicht: (2014)

Proceedings of the 11th international conference on Verification, Model Checking, and Abstract Interpretation
von: Barthe, Gilles
Veröffentlicht: (2010)

Definition of programming languages by interpreting automata
von: Ollongren, Alexander
Veröffentlicht: (1974)

Verification, model checking, and abstract interpretation 11th international conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010 : proceedings
Veröffentlicht: (2010)

Analyse und Verifikation von Programmen Systematische Verfahren und Untersuchungen zur Erstellung fehlerfreier Software
von: Endres, Albert
Veröffentlicht: (1977)

Programming languages and systems 30th European symposium on programming, ESOP 2021, held as part of the European joint conferences on theory and practice of software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021 : proceedings
Veröffentlicht: (2021)

Workshop on Reliable Software 2nd meeting of the German Chapter of the ACM, Bonn, University, September 22 - 23, 1978
Veröffentlicht: (1979)

Static analysis third international workshop, WSA '93, Padova, Italy, September 22 - 24, 1993 ; proceedings
Veröffentlicht: (1993)

Verification, induction, termination analysis Festschrift for Christoph Walther on the occasion of his 60th birthday
Veröffentlicht: (2010)

Static analysis 9th international symposium, SAS 2002, Madrid, Spain, September 17 - 20, 2002 ; proceedings
Veröffentlicht: (2002)

Programming languages and systems 14th European Symposium on Programming, ESOP 2005, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4 - 8, 2005 ; proceedings
Veröffentlicht: (2005)

Verification, model checking, and abstract interpretation 6th international conference, VMCAI 2005, Paris, France, January 17 - 19, 2005 ; proceedings
Veröffentlicht: (2005)

Introducing Software Verification with Dafny Language Proving Program Correctness
von: Sitnikovski, Boro
Veröffentlicht: (2022)

An introduction to formal program verification
von: Mili, Ali
Veröffentlicht: (1985)

Program verification
von: Francez, Nissim
Veröffentlicht: (1992)

Static analysis 11th International Symposium, SAS 2004, Verona, Italy, August 26 - 28, 2004 ; proceedings
Veröffentlicht: (2004)

A programmer's companion to algorithm analysis
Veröffentlicht: (2007)