Vor Ort
Merkzettel Warenkorb
Produktbild: Rigorous Methods for Software Construction and Analysis

Rigorous Methods for Software Construction and Analysis Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday

Aus der Reihe Lecture Notes in Computer Science

51,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

20.01.2010

Herausgeber

Jean-Raymond Abrial + weitere

Verlag

Springer Berlin

Seitenzahl

235

Maße (L/B/H)

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

Gewicht

394 g

Auflage

2010

Sprache

Englisch

ISBN

978-3-642-11446-5

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

20.01.2010

Herausgeber

Verlag

Springer Berlin

Seitenzahl

235

Maße (L/B/H)

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

Gewicht

394 g

Auflage

2010

Sprache

Englisch

ISBN

978-3-642-11446-5

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: Rigorous Methods for Software Construction and Analysis
  • Relaxing Restrictions on Invariant Composition in the B Method by Ownership Control a la Spec#.- Designing Old and New Distributed Algorithms by Replaying an Incremental Proof-Based Development.- Ten Reasons to Metamodel ASMs.- An ASM-Characterization of a Class of Distributed Algorithms.- Using Abstract State Machines for the Design of Multi-level Transaction Schedulers.- Validating and Animating Higher-Order Recursive Functions in B.- A Systematic Verification Approach for Mondex Electronic Purses Using ASMs.- Management of UML Clusters.- A Step towards Merging xUML and CSP B.- CoreASM Plug-In Architecture.- JASMine: Accessing Java Code from CoreASM.- A Modular Verification Methodology for C# Delegates.- On the Evolution of OCL for Capturing Structural Constraints in Modelling Languages.- Ten Commandments Ten Years On: Lessons for ASM, B, Z and VSR-net.