Vor Ort
Merkzettel Warenkorb
  • Produktbild: Semantics of Specification Languages (SoSL)
  • Produktbild: Semantics of Specification Languages (SoSL)

Semantics of Specification Languages (SoSL) Proceedings of the International Workshop on Semantics of Specification Languages, Utrecht, The Netherlands, 25 – 27 October 1993

Aus der Reihe Workshops in Computing

51,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

30.03.1994

Abbildungen

VIII, 357 p. 1 illus.

Herausgeber

Derek J. Andrews + weitere

Verlag

Springer Berlin

Seitenzahl

357

Maße (L/B/H)

23,5/15,5/2 cm

Gewicht

557 g

Auflage

Softcover reprint of the original 1st ed. 1994

Sprache

Englisch

ISBN

978-3-540-19854-3

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

30.03.1994

Abbildungen

VIII, 357 p. 1 illus.

Herausgeber

Verlag

Springer Berlin

Seitenzahl

357

Maße (L/B/H)

23,5/15,5/2 cm

Gewicht

557 g

Auflage

Softcover reprint of the original 1st ed. 1994

Sprache

Englisch

ISBN

978-3-540-19854-3

Herstelleradresse

Springer-Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE

Email: ProductSafety@springernature.com

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: Semantics of Specification Languages (SoSL)
  • Produktbild: Semantics of Specification Languages (SoSL)
  • The Development of Z.- An Overview of the Development of COLD.- The Formal Basis for the RAISE Specification Language.- The Static Part of the Design Language COLD-K.- Generation of Proof Obligations for Type Consistency (Extended Abstract).- Experiences in Developing a Proof Theory for VDM Specifications.- Towards Proof Rules for Looseness in Explicit Definitions from VDM-SL.- Loose Real-Time Communicating Agents.- A Timed Specification Language for Concurrent Reactive Systems.- Multiparadigm Specification Languages: A First Attempt at Foundations.- The Semantics of Extended ML: A Gentle Introduction.- Type-Checking Revisited: Modular Error-Handling.- Proof Theory for µCRL: A Language for Processes with Data.- Case Study: Stepwise Development of a Communication Processor Using Trace Logic.- Rendez-vous with Bundle Event Structures.- Syntactic Action Refinement in Presence of Multiway Synchronization.- From Implicit via Inductive to Explicit Definitions.- Verifying Process Algebra Proofs in Type Theory.- Reasoning About Dynamic Features in Specification Languages—A Modal View on Creation and Modification.- Author Index.