Muutke küpsiste eelistusi

First Irish Workshop on Formal Methods: Proceedings of the 1st Irish Workshop on Formal Methods, Dublin, 3-4 July 1997 Edition. ed. [Pehme köide]

Edited by , Edited by (University of Galway, Ireland)
  • Formaat: Paperback / softback, 10 pages
  • Sari: Workshops in Computing
  • Ilmumisaeg: 11-Sep-1997
  • Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
  • ISBN-10: 3540761969
  • ISBN-13: 9783540761969
Teised raamatud teemal:
  • Pehme köide
  • Hind: 31,82 €*
  • * hind on lõplik, st. muud allahindlused enam ei rakendu
  • Tavahind: 37,44 €
  • Säästad 15%
  • Raamatu kohalejõudmiseks kirjastusest kulub orienteeruvalt 2-4 nädalat
  • Kogus:
  • Lisa ostukorvi
  • Tasuta tarne
  • Tellimisaeg 2-4 nädalat
  • Lisa soovinimekirja
First Irish Workshop on Formal Methods: Proceedings of the 1st Irish Workshop on Formal Methods, Dublin, 3-4 July 1997 Edition. ed.
  • Formaat: Paperback / softback, 10 pages
  • Sari: Workshops in Computing
  • Ilmumisaeg: 11-Sep-1997
  • Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
  • ISBN-10: 3540761969
  • ISBN-13: 9783540761969
Teised raamatud teemal:
Püsilink: https://www.kriso.ee/db/9783540761969.html
Märksõnad:
As of 1996, the Workshops in Computing series has been published on-line. This booklet provides the passwords needed to access the papers from the 1st Irish Workshop on Formal Methods. The workshop attracted a global spread of researchers and practitioners and the papers presented cover a wide range of topics within the general area of formal methods, theoretical computer science and mathematics.
Denotational semantics and refinement; axiomatic semantics for data
parallel computation; a generic model for state based agent systems; the use
of theorem provers in the teaching and practice of formal methods; a formal
approach to design patterns in re-engineering; reverse engineering and
re-using COBOL programs; the single transferable voting system; functional
decomposition in formal specifications; feature interactions - a mixed
semantic model approach; presenting object oriented formal requirements
specification; non-monotonic reasoning and formal software development; a
simple algorithmic specification language and its applications; tactics for
transformation programming; a refinement calculus for communicating processes
with state; computer-aided incremental specification.