WorldCat Linked Data Explorer

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

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

Algebraic methodology and software technology 6th international conference, AMAST '97, Sydney, Australia, December 13-17, 1997 : proceedings

This book constitutes the refereed proceedings of the 6th International Conference on Algebraic Methodology and Software Engineering, AMAST'97, held in Sydney, Australia, in December 1997. The volume presents 48 revised full papers selected from an unusually high number of submissions. One of the outstanding features of AMAST is its mix of serious mathematical development of formal methods in software engineering with practical concerns, tools, case studies, and industrial development. The volume addresses all current aspects of formal methods in software engineering and programming methodology, with a certain emphasis on algebraic and logical foundations.

Open All Close All

type

about

http://schema.org/about

alternateName

http://schema.org/alternateName

  • "AMAST '97"
  • "AMAST'97"

contributor

http://schema.org/contributor

creator

description

http://schema.org/description

  • "This book constitutes the refereed proceedings of the 6th International Conference on Algebraic Methodology and Software Engineering, AMAST'97, held in Sydney, Australia, in December 1997. The volume presents 48 revised full papers selected from an unusually high number of submissions. One of the outstanding features of AMAST is its mix of serious mathematical development of formal methods in software engineering with practical concerns, tools, case studies, and industrial development. The volume addresses all current aspects of formal methods in software engineering and programming methodology, with a certain emphasis on algebraic and logical foundations."
  • "This book constitutes the refereed proceedings of the 6th International Conference on Algebraic Methodology and Software Engineering, AMAST'97, held in Sydney, Australia, in December 1997. The volume presents 48 revised full papers selected from an unusually high number of submissions. One of the outstanding features of AMAST is its mix of serious mathematical development of formal methods in software engineering with practical concerns, tools, case studies, and industrial development. The volume addresses all current aspects of formal methods in software engineering and programming methodology, with a certain emphasis on algebraic and logical foundations."@en

editor

genre

http://schema.org/genre

  • "Sydney (1997)"
  • "Electronic books"
  • "Kongress"
  • "Electronic books"@en
  • "Conference papers and proceedings"@en
  • "Conference papers and proceedings"
  • "Congressen (vorm)"
  • "Kongreß"

name

http://schema.org/name

  • "Algebraic methodology and software technology : 6th international conference, AMAST '97 : Sydney, Australia, December 13-17, 1997 : proceedings"
  • "Algebraic Methodology and Software Technology 6th International Conference, AMAST'97 Sydney, Australia, December13-17, 1997 Proceedings"
  • "Algebraic methodology and software technology : 6th international conference, AMAST'97, Sydney, Australia, December 13-17, 1997 : proceedings"
  • "Algebraic methodology and software technology : 6th international conference, AMAST '97, Sydney, Australia, December 13-17, : proceedings"
  • "Algebraic methodology and software technology : 6th international conference, AMAST '97, Sydney, Australia, december 13-17, 1997, proceeding"
  • "Algebraic methodology and software technology : 6th international conference ; proceedings"
  • "Algebraic methodology and software technology : 6th international conference, AMAST ̕97, Sydney, Australia, December 13-17, 1997 : proceedings"
  • "Algebraic methodology and software technology : 6th international conference, AMAST '97, Sydney, Australia, December 13-17, 1997 : proceedings"
  • "Algebraic Methodology and Software Technology 6th International Conference, AMAST '97, Sydney, Australia, Dezember 13-17, 1997. Proceedings"
  • "Algebraic methodology and software technology 6th international conference, AMAST '97, Sydney, Australia, December 13 - 17, 1997 ; proceedings"
  • "Algebraic methodology and software technology : 6th international conference, AMAST'97, Sydney, Australia, December 13-17, 1997 proceedings"
  • "Algebraic methodology and software technology 6th international conference, AMAST '97, Sydney, Australia, December 13-17, 1997 : proceedings"@en
  • "Algebraic methodology and software technology 6th international conference, AMAST '97, Sydney, Australia, December 13-17, 1997 : proceedings"

workExample