Cover Image

First International Workshop on Larch : proceedings of the First International Workshop on Larch, Dedham, Massachusetts, USA, 13-15 July 1992 /

Show other versions (1)

The Larch family of formal specification languages and tools was originally developed in the USA. Its user community has now spread to Europe and several industrial firms are interested in using it in their system development programs. It differs from the other "higher profile" languages s...

Full description

Bibliographic Details
Corporate Authors: International Workshop on Larch Dedham, Mass., SpringerLink (Online service)
Other Authors: Martin, Ursula, 1953-, Wing, Jeannette Marie
Format: Conference Proceeding eBook
Language:English
Published: London ; New York : Springer-Verlag, [1993]
Series:Workshops in computing.
Subjects:
Larch prover > Congresses.
Larch prover.
Automatic theorem proving > Congresses.
LARCH.
Dedham <Mass., 1992>.
Automatic theorem proving.
Electronic books.
Dedham (Mass., 1992)
Conference proceedings.
Online Access:Connect to the full text of this electronic book

Similar Items