Vor Ort
Merkzettel Warenkorb
  • Produktbild: First International Workshop on Larch
  • Produktbild: First International Workshop on Larch

First International Workshop on Larch Proceedings of the First International Workshop on Larch, Dedham, Massachusetts, USA, 13–15 July 1992

Aus der Reihe Workshops in Computing

51,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

22.04.1993

Herausgeber

Ursula Martin + weitere

Verlag

Springer Berlin

Seitenzahl

315

Maße (L/B/H)

23,5/15,5/1,8 cm

Gewicht

560 g

Auflage

1st Edition.

Sprache

Englisch

ISBN

978-3-540-19804-8

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

22.04.1993

Herausgeber

Verlag

Springer Berlin

Seitenzahl

315

Maße (L/B/H)

23,5/15,5/1,8 cm

Gewicht

560 g

Auflage

1st Edition.

Sprache

Englisch

ISBN

978-3-540-19804-8

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: GPSR Kontakt

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
  • Produktbild: First International Workshop on Larch
  • Produktbild: First International Workshop on Larch
  • Is Engineering Software Amenable to Formal Specification?.- How to Prove Observational Theorems with LP.- Using SOS Definitions in Term Rewriting Proofs.- An exercise in LP: The Proof of a Non Restoring Division circuit.- Integrating ASSPEGIQUE and LP.- Mechanical Verification of Concurrent Systems with TLA.- The DECspec Project: Tools for Larch/C.- Formal Verification of Ada Programs.- A Semantics for a Larch/Modula-3 Interface Language.- Preliminary Design of Larch/C++.- Generating Proof Obligations for Circuits.- Using Transformations and Verification in Circuit Design.- Using LP to Study the Language PL 0 + .- Semantic Analysis of Larch Interface Specifications.- Optimizing Programs with Partial Specifications.- A new Front-End for the Larch Prover.- Thoughts on a Larch/ML and a New Application for LP.