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…
BarnesandNoble.com new in stock. Versandkosten:zzgl. Versandkosten. Details... |
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…
BarnesandNoble.com new in stock. Versandkosten:zzgl. Versandkosten. Details... |
2004, ISBN: 354021366X
2004 Kartoniert / Broschiert EDV / Theorie / Software-Entw. / Software Engineering, Objektorientiert (EDV), Computerprogrammierung und Softwareentwicklung, Software Engineering, Theoret… Mehr…
Achtung-Buecher.de MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien Versandkosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) Details... |
2004, ISBN: 354021366X
2004 Kartoniert / Broschiert EDV / Theorie / Software-Entw. / Software Engineering, Objektorientiert (EDV), Computerprogrammierung und Softwareentwicklung, Software Engineering, Theoret… Mehr…
Achtung-Buecher.de MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien Versandkosten:No shipping costs within Germany. (EUR 0.00) Details... |
2004, ISBN: 9783540213666
Taschenbuch
Essays in Memory of Ole-Johan Dahl, Buch, Softcover, 2004, [PU: Springer Berlin], [ED: 1], Springer Berlin, 2004
lehmanns.de Versandkosten:Versand in 10-14 Tagen. (EUR 0.00) Details... |
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…
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…
2004
ISBN: 354021366X
2004 Kartoniert / Broschiert EDV / Theorie / Software-Entw. / Software Engineering, Objektorientiert (EDV), Computerprogrammierung und Softwareentwicklung, Software Engineering, Theoret… Mehr…
2004, ISBN: 354021366X
2004 Kartoniert / Broschiert EDV / Theorie / Software-Entw. / Software Engineering, Objektorientiert (EDV), Computerprogrammierung und Softwareentwicklung, Software Engineering, Theoret… Mehr…
2004, ISBN: 9783540213666
Taschenbuch
Essays in Memory of Ole-Johan Dahl, Buch, Softcover, 2004, [PU: Springer Berlin], [ED: 1], Springer Berlin, 2004
Bibliographische Daten des bestpassenden Buches
Autor: | |
Titel: | |
ISBN-Nummer: |
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...