From Object-Orientation to Formal Methods : Essays in Memory of Ole-Johan Dahl - neues Buch
2002, ISBN: 9783540399933
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 s… Mehr…
hive.co.uk No. 9783540399933. Versandkosten:Instock, Despatched same working day before 3pm, zzgl. Versandkosten. Details... |
From Object-Orientation to Formal Methods : Essays in Memory of Ole-Johan Dahl - neues Buch
2002, ISBN: 9783540399933
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 s… Mehr…
hive.co.uk No. 9783540399933. Versandkosten:Instock, Despatched same working day before 3pm, zzgl. Versandkosten. Details... |
From Object-Orientation to Formal Methods - neues Buch
2002, ISBN: 9783540399933
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 initiati… Mehr…
Springer.com new in stock. Versandkosten:zzgl. Versandkosten. (EUR 0.00) Details... |
From Object-Orientation to Formal Methods : Essays in Memory of Ole-Johan Dahl - neues Buch
ISBN: 9783540399933
; PDF; Computing > Computer programming / software development > Software Engineering, Springer Berlin Heidelberg
hive.co.uk No. 9783540399933. Versandkosten:Instock, Despatched same working day before 3pm, zzgl. Versandkosten. Details... |
From Object-Orientation to Formal Methods - neues Buch
2004, ISBN: 9783540399933
Essays in Memory of Ole-Johan Dahl, eBooks, eBook Download (PDF), [PU: Springer Berlin Heidelberg], Springer Berlin Heidelberg, 2004
lehmanns.de Versandkosten:Download sofort lieferbar. (EUR 0.00) Details... |
From Object-Orientation to Formal Methods : Essays in Memory of Ole-Johan Dahl - neues Buch
2002, ISBN: 9783540399933
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 s… Mehr…
Atsushi Ohori:
From Object-Orientation to Formal Methods : Essays in Memory of Ole-Johan Dahl - neues Buch2002, ISBN: 9783540399933
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 s… Mehr…
From Object-Orientation to Formal Methods - neues Buch
2002
ISBN: 9783540399933
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 initiati… Mehr…
From Object-Orientation to Formal Methods : Essays in Memory of Ole-Johan Dahl - neues Buch
ISBN: 9783540399933
; PDF; Computing > Computer programming / software development > Software Engineering, Springer Berlin Heidelberg
From Object-Orientation to Formal Methods - neues Buch
2004, ISBN: 9783540399933
Essays in Memory of Ole-Johan Dahl, eBooks, eBook Download (PDF), [PU: Springer Berlin Heidelberg], Springer Berlin Heidelberg, 2004
Bibliographische Daten des bestpassenden Buches
Autor: | |
Titel: | |
ISBN-Nummer: |
Detailangaben zum Buch - From Object-Orientation to Formal Methods
EAN (ISBN-13): 9783540399933
Erscheinungsjahr: 2002
Herausgeber: Springer Berlin Heidelberg
Buch in der Datenbank seit 2017-05-10T02:17:02+02:00 (Berlin)
Buch zuletzt gefunden am 2022-08-13T14:53:14+02:00 (Berlin)
ISBN/EAN: 9783540399933
ISBN - alternative Schreibweisen:
978-3-540-39993-3
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: anastasia zam, stein olaf
Titel des Buches: ole, 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-09
Berlin; Heidelberg; DE
Sprache: Englisch
55,00 € (DE)
EA; E107; eBook; Nonbooks, PBS / Informatik, EDV/Informatik; Software Engineering; Verstehen; 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; C; Software Engineering; Programming Techniques; Compilers and Interpreters; Computer Science Logic and Foundations of Programming; Formal Languages and Automata Theory; Computer Science; Computerprogrammierung und Softwareentwicklung; Compiler und Übersetzer; Theoretische Informatik; BC
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:
9783540213666 From Object-Orientation to Formal Methods: Essays in Memory of Ole-Johan Dahl Olaf Owe Editor (Olaf Owe; Stein Krogdahl; Tom Lyche)
< zum Archiv...