Author books / Книги автора John V. Guttag James J. Horning » Online Library TheLib.net

Online Library TheLib.net » Author books / Книги автора John V. Guttag James J. Horning

book Larch: Languages and Tools for Formal Specification

Larch: Languages and Tools for Formal Specification

pdf

Author: John V. Guttag James J. Horning
Language: English
Year: 1993

00

27.01.2024

0

0

book VDM '91 Formal Software Development Methods: 4th International Symposium of VDM Europe Noordwijkerhout, The Netherlands, October 21–25, 1991 Proceedings

VDM '91 Formal Software Development Methods: 4th International Symposium of VDM Europe Noordwijkerhout, The Netherlands, October 21–25, 1991 Proceedings

pdf

Author: John V. Guttag James J. Horning (auth.) Søren Prehn Hans Toetenel (eds.)
Language: English
Year: 1991

00

27.01.2024

1

0

book Larch: Languages and Tools for Formal Specification

Larch: Languages and Tools for Formal Specification

pdf

Author: John V. Guttag James J. Horning
Language: English
Year: 1993

00

27.01.2024

0

0

book VDM '91 Formal Software Development Methods: 4th International Symposium of VDM Europe Noordwijkerhout, The Netherlands, October 21–25, 1991 Proceedings

VDM '91 Formal Software Development Methods: 4th International Symposium of VDM Europe Noordwijkerhout, The Netherlands, October 21–25, 1991 Proceedings

djvu

Author: John V. Guttag James J. Horning (auth.) Søren Prehn Hans Toetenel (eds.)
Language: English
Year: 1991

00

27.01.2024

0

0