WorldCat Linked Data Explorer

Turtle N-Triple JSON-LD RDF/XML HTML Contact Us Home

http://worldcat.org/entity/work/id/1104432974

Recent trends in algebraic development techniques : 16th international workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002 : revised selected papers

This book constitutes the thoroughly refereed post-proceedings of the 16th International Workshop on Algebraic Development Techniques, WADT 2002, held at Frauenchiemsee, Germany in September 2002. The 20 revised full papers presented together with 6 invited papers were carefully improved and selected from 44 workshop presentations during two rounds of reviewing. The papers are devoted to topics like formal methods for system development, specification languages and methods, systems and techniques for reasoning about specifications, specification development systems, methods and techniques for concurrent, distributed, and mobile systems, and algebraic and co-algebraic methods.

Open All Close All

type

about

http://schema.org/about

alternateName

http://schema.org/alternateName

  • "WADT'99"
  • "WADT 2002"
  • "WADT 2002"@en
  • "WADT '99"

author

contributor

http://schema.org/contributor

creator

description

http://schema.org/description

  • "This book constitutes the thoroughly refereed post-proceedings of the 16th International Workshop on Algebraic Development Techniques, WADT 2002, held at Frauenchiemsee, Germany in September 2002. The 20 revised full papers presented together with 6 invited papers were carefully improved and selected from 44 workshop presentations during two rounds of reviewing. The papers are devoted to topics like formal methods for system development, specification languages and methods, systems and techniques for reasoning about specifications, specification development systems, methods and techniques for concurrent, distributed, and mobile systems, and algebraic and co-algebraic methods."@en

editor

genre

http://schema.org/genre

  • "Kongress"
  • "Conference papers and proceedings"
  • "Conference papers and proceedings"@en
  • "Electronic books"@en
  • "Frauenchiemsee (2002)"
  • "Online-Publikation"

name

http://schema.org/name

  • "Recent trends in algebraic development techniques : 16th international workshop : revised selected papers"
  • "Recent trends in algebraic development techniques 14th international workshop, WADT '99, Château de Bonas, September 15-18, 1999 : selected papers"
  • "Recent Trends in Algebraic Development Techniques 14th International Workshop, WADT '99, Château de Bonas, September 15-18, 1999 Selected Papers"
  • "Recent trends in algebraic development techniques 16th international workshop ; revised selected papers"
  • "Recent trends in algebraic development techniques : 14th international workshop, WADT '99 Chateau de Bonas, September 15 - 18, 1999 : selected papers"
  • "Recent trends in algebraic development techniques : 16th international workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002 : revised selected papers"
  • "Recent trends in algebraic development techniques : 16th international workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002 : revised selected papers"@en
  • "Recent trends in algebraic development techniques : 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002 : revised selected papers"
  • "Recent trends in algebraic development techniques 16th international workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002 : revised selected papers"
  • "Recent trends in algebraic development techniques 16th international workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002 : revised selected papers"@en
  • "Recent trends in algebraic development techniques : 14th international workshop, WADT '99, Château de Bonas, September 15-18, 1999 : selected papers"
  • "Recent Trends in Algebraic Development Techniques 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002, Revised Selected Papers"
  • "Recent trends in algebraic development techniques : 14th international workshop, WADT'99, Château de Bonas, September 15-18, 1999, selected papers"
  • "Recent trends in algebraic development techniques 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002 : revised selected papers"
  • "Recent Trends in Algebraic Development Techniques"
  • "Recent trends in algebraic development techniques 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002 : revised selected papers"@en
  • "Recent trends in algebraic development techniques 14th international workshop, WADT'99, Château de Bonas, September 15-18, 1999 : selected papers"
  • "Recent trends in algebraic development techniques 14th international workshop, WADT'99, Château de Bonas, September 15-18, 1999 : selected papers"@en
  • "Recent trends in algebraic development techniques : 14th international workshop, WADT'99, Château de Bonas, September 15-18, 1999 : selected papers"

workExample