Reihe Monographs in Computer ScienceJohn V. Guttag × Larch: Languages and Tools for Formal Specification John V. GuttagSpringer USeBook2012 Larch: Languages and Tools for Formal Specification John V. GuttagSpringer USeBook2012 Larch: Languages and Tools for Formal Specification John V. GuttagSpringer USSoftcover201153,49 € Larch: Languages and Tools for Formal Specification John V. GuttagSpringer USSoftcover201153,49 €
