Vor Ort
Merkzettel Warenkorb
  • Produktbild: Theories of Programming and Formal Methods
  • Produktbild: Theories of Programming and Formal Methods
Band 8051

Theories of Programming and Formal Methods Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday

Aus der Reihe Lecture Notes in Computer Science

52,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

31.07.2013

Abbildungen

XII, 413 p. 86 illus.

Herausgeber

Zhiming Liu + weitere

Verlag

Springer Berlin

Seitenzahl

413

Maße (L/B/H)

23,5/15,5/2,4 cm

Gewicht

645 g

Auflage

2013

Sprache

Englisch

ISBN

978-3-642-39697-7

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

31.07.2013

Abbildungen

XII, 413 p. 86 illus.

Herausgeber

Verlag

Springer Berlin

Seitenzahl

413

Maße (L/B/H)

23,5/15,5/2,4 cm

Gewicht

645 g

Auflage

2013

Sprache

Englisch

ISBN

978-3-642-39697-7

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

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: Theories of Programming and Formal Methods
  • Produktbild: Theories of Programming and Formal Methods

  • Set-Theoretic Models of Computations.- Model-Based Mutation Testing of Reactive Systems: From Semantics to Automated Test-Case Generation.- Pliant Modalities in Hybrid Event-B.- A Relational Approach to an Algebraic Community: From Paul Erd˝os to He Jifeng.- Practical Theory Extension in Event-B.- Simulink Timed Models for Program Verification.- Concept Analysis Based Approach to Statistical Web Testing.- Algebraic Program Semantics for Supercomputing.- Modeling and Specification of Real-Time Interfaces with UTP.- Some Fixed-Point Issues in PPTL.- The Value-Passing Calculus.- Proving Safety of Traffic Manoeuvres on Country Roads.- Generic Models of the Laws of Programming.- Ours Is to Reason Why.- Optimal Bounds for Multiweighted and Parametrised Energy Games.- On the Relationship between LTL Normal Forms and BNuchi Automata.- Managing Environment and Adaptation Risks for the Internetware Paradigm.- Safety versus Security in the Quality Calculus.- Invariants Synthesis over a Combined Domain for Automated Program Verification.- Slow Abstraction via Priority.- Performance Estimation Using Symbolic Data.- Synthesizing Switching Controllers for Hybrid Systems by Generating Invariants.- Graph-Based Object-Oriented Hoare Logic.- Towards a Modeling Language for Cyber-Physical Systems.