KI-Beratung Beta
Vor Ort
Merkzettel Warenkorb
Produktbild: From Object-Orientation to Formal Methods
Band 2635

From Object-Orientation to Formal Methods Essays in Memory of Ole-Johan Dahl

Aus der Reihe Lecture Notes in Computer Science

48,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

31.03.2004

Abbildungen

X, 392 p.

Herausgeber

Olaf Owe + weitere

Verlag

Springer Berlin

Seitenzahl

392

Maße (L/B/H)

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

Gewicht

610 g

Auflage

2004

Sprache

Englisch

ISBN

978-3-540-21366-6

Beschreibung

Rezension

From the reviews:



"This festschrift is … a fitting posthumous tribute to Dahl by close colleagues and highly respected computer scientists from around the world. … This book will be of interest to any computer scientist who met Dahl or knows him by reputation. Anyone concerned with formal methods research will also find it a useful set of papers; all the contributors are of international calibre and many are well-known computer scientists. … All academic libraries covering software engineering would benefit from a copy." (Jonathan Bowen, The Times Higher Education Supplement, February, 2005)

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

31.03.2004

Abbildungen

X, 392 p.

Herausgeber

Verlag

Springer Berlin

Seitenzahl

392

Maße (L/B/H)

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

Gewicht

610 g

Auflage

2004

Sprache

Englisch

ISBN

978-3-540-21366-6

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: From Object-Orientation to Formal Methods
  • A Biography of Ole-Johan Dahl.- A Bibliography of Ole-Johan Dahl.- The Birth of Object Orientation: the Simula Languages.- An Algebraic Theory of Actors and Its Application to a Simple Object-Based Language.- Towards Posit & Prove Calculi for Requirements Engineering and Software Design.- Distributed Concurrent Object-Oriented Software.- Composing Hidden Information Modules over Inclusive Institutions.- Towards the Verifying Compiler.- Object-Oriented Specification and Open Distributed Systems.- SIMULA and Super-Object-Oriented Programming.- Efficient Coroutine Generation of Constrained Gray Sequences.- Consistency of Inheritance in Object-Oriented Languages and of Static, ALGOL-like Binding.- The Power of Abstraction, Reuse, and Simplicity: An Object-Oriented Library for Event-Driven Design.- Iterative Synthesis of Control Guards Ensuring Invariance and Inevitability in Discrete-Decision Games.- Incremental Reasoning for Object Oriented Systems.- Pure Type Systems in Rewriting Logic: Specifying Typed Higher-Order Languages in a First-Order Logical Framework.- Building Optimal Binary Search Trees from Sorted Values in O(N) Time.