- 5 Ergebnisse
Kleinster Preis: € 53,49, größter Preis: € 55,60, Mittelwert: € 54,93
1
From Object-Orientation to Formal Methods: Essays in Memory of Ole-Johan Dahl Olaf Owe Editor
Bestellen
bei BarnesandNoble.com
€ 54,99
Bestellengesponserter Link

From Object-Orientation to Formal Methods: Essays in Memory of Ole-Johan Dahl Olaf Owe Editor - neues Buch

2002, ISBN: 9783540213666

After Ole-Johan’s retirement at the beginning of the new millennium, some of us had thought and talked about making a “Festschrift” in his honor. When Donald Knuth took … Mehr…

new in stock. Versandkosten:zzgl. Versandkosten.
2
From Object-Orientation to Formal Methods: Essays in Memory of Ole-Johan Dahl Olaf Owe Editor
Bestellen
bei BarnesandNoble.com
€ 54,99
Bestellengesponserter Link
From Object-Orientation to Formal Methods: Essays in Memory of Ole-Johan Dahl Olaf Owe Editor - neues Buch

2002, ISBN: 9783540213666

After Ole-Johan's retirement at the beginning of the new millennium, some of us had thought and talked about making a Festschrift in his honor. When Donald Knuth took the initiative by se… Mehr…

new in stock. Versandkosten:zzgl. Versandkosten.
3
From Object-Orientation to Formal Methods Essays in Memory of Ole-Johan Dahl - Owe, Olaf (Herausgeber); Lyche, Tom (Herausgeber); Krogdahl, Stein (Herausgeber)
Bestellen
bei Achtung-Buecher.de
€ 55,60
Versand: € 0,001
Bestellengesponserter Link
Owe, Olaf (Herausgeber); Lyche, Tom (Herausgeber); Krogdahl, Stein (Herausgeber):
From Object-Orientation to Formal Methods Essays in Memory of Ole-Johan Dahl - neues Buch

2004

ISBN: 354021366X

2004 Kartoniert / Broschiert EDV / Theorie / Software-Entw. / Software Engineering, Objektorientiert (EDV), Computerprogrammierung und Softwareentwicklung, Software Engineering, Theoret… Mehr…

Versandkosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien
4
From Object-Orientation to Formal Methods Essays in Memory of Ole-Johan Dahl - Owe, Olaf (Herausgeber); Lyche, Tom (Herausgeber); Krogdahl, Stein (Herausgeber)
Bestellen
bei Achtung-Buecher.de
€ 55,60
Versand: € 0,001
Bestellengesponserter Link
Owe, Olaf (Herausgeber); Lyche, Tom (Herausgeber); Krogdahl, Stein (Herausgeber):
From Object-Orientation to Formal Methods Essays in Memory of Ole-Johan Dahl - neues Buch

2004, ISBN: 354021366X

2004 Kartoniert / Broschiert EDV / Theorie / Software-Entw. / Software Engineering, Objektorientiert (EDV), Computerprogrammierung und Softwareentwicklung, Software Engineering, Theoret… Mehr…

Versandkosten:No shipping costs within Germany. (EUR 0.00) MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien
5
From Object-Orientation to Formal Methods - Olaf Owe; Stein Krogdahl; Tom Lyche
Bestellen
bei lehmanns.de
€ 53,49
Versand: € 0,001
Bestellengesponserter Link
Olaf Owe; Stein Krogdahl; Tom Lyche:
From Object-Orientation to Formal Methods - Erstausgabe

2004, ISBN: 9783540213666

Taschenbuch

Essays in Memory of Ole-Johan Dahl, Buch, Softcover, 2004, [PU: Springer Berlin], [ED: 1], Springer Berlin, 2004

Versandkosten:Versand in 10-14 Tagen. (EUR 0.00)

1Da einige Plattformen keine Versandkonditionen übermitteln und diese vom Lieferland, dem Einkaufspreis, dem Gewicht und der Größe des Artikels, einer möglichen Mitgliedschaft der Plattform, einer direkten Lieferung durch die Plattform oder über einen Drittanbieter (Marketplace), etc. abhängig sein können, ist es möglich, dass die von eurobuch angegebenen Versandkosten nicht mit denen der anbietenden Plattform übereinstimmen.

Bibliographische Daten des bestpassenden Buches

Details zum Buch
From Object-Orientation to Formal Methods: Essays in Memory of Ole-Johan Dahl Olaf Owe Editor

This book is dedicated to the memory of Ole-Johan Dahl who passed away in June 2002 at the age of 70, shortly after he had received, together with his colleague Kristen Nygaard, the ACM Alan M. Turing Award:"For ideas fundamental to the emergence of object-oriented programming, through their design of the programming languages Simula I and Simula 67."This Festschrift opens with a short biography and a bibliography recollecting Ole-Johan Dahl's life and work, as well as a paper he wrote entitled: "The Birth of Object-Orientation: the Simula Languages." The main part of the book consists of 14 scientific articles written by leading scientists who worked with Ole-Johan Dahl as students or colleagues. In accordance with the scope of Ole-Johan Dahl's work and the book's title, the articles are centered around object-orientation and formal methods.

Detailangaben zum Buch - From Object-Orientation to Formal Methods: Essays in Memory of Ole-Johan Dahl Olaf Owe Editor


EAN (ISBN-13): 9783540213666
ISBN (ISBN-10): 354021366X
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 2004
Herausgeber: Springer Berlin Heidelberg Core >1 >T
389 Seiten
Gewicht: 0,608 kg
Sprache: eng/Englisch

Buch in der Datenbank seit 2007-02-24T08:07:15+01:00 (Berlin)
Detailseite zuletzt geändert am 2024-02-24T12:04:19+01:00 (Berlin)
ISBN/EAN: 354021366X

ISBN - alternative Schreibweisen:
3-540-21366-X, 978-3-540-21366-6
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: donald knuth, stein olaf, donald dahl
Titel des Buches: ole, from object orientation formal methods, lecture notes computer science, johan dahl 1788 1857


Daten vom Verlag:

Autor/in: Olaf Owe
Titel: Lecture Notes in Computer Science; From Object-Orientation to Formal Methods - Essays in Memory of Ole-Johan Dahl
Verlag: Springer; Springer Berlin
392 Seiten
Erscheinungsjahr: 2004-03-31
Berlin; Heidelberg; DE
Sprache: Englisch
54,99 € (DE)

BC; Hardcover, Softcover / Informatik, EDV/Informatik; Software Engineering; Verstehen; Informatik; ALGOL; Compiler; Requirements Engineering; Simula; abstraction; design; formal method; inheritance requirements engineering; object-orientation; object-oriented languages; object-oriented programming; object-oriented systems; programming; programming language; software development; Software Engineering; Programming Techniques; Compilers and Interpreters; Computer Science Logic and Foundations of Programming; Formal Languages and Automata Theory; Computerprogrammierung und Softwareentwicklung; Compiler und Übersetzer; Theoretische Informatik; EA

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.

Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:

Neuestes ähnliches Buch:
9783540399933 From Object-Orientation to Formal Methods (Stein Krogdahl; Tom Lyche; Olaf Owe)


< zum Archiv...