bokomslag Recent Trends in Algebraic Development Techniques
Data & IT

Recent Trends in Algebraic Development Techniques

Maura Cerioli Gianna Reggio

Pocket

789:-

Funktionen begränsas av dina webbläsarinställningar (t.ex. privat läge).

Uppskattad leveranstid 10-15 arbetsdagar

Fri frakt för medlemmar vid köp för minst 249:-

  • 348 sidor
  • 2002
This text constitutes the refereed proceedings of the 15th International Workshop on Algebraic Development Techniques, WADT 2001, held jointly with the General Workshop of the ESPRIT Working Group CoFI. Among the topics addressed are formal specification, specification languages and term rewriting.
  • Författare: Maura Cerioli, Gianna Reggio
  • Format: Pocket/Paperback
  • ISBN: 9783540431596
  • Språk: Engelska
  • Antal sidor: 348
  • Utgivningsdatum: 2002-01-01
  • Förlag: Springer-Verlag Berlin and Heidelberg GmbH & Co. K