- 5 Ergebnisse
Kleinster Preis: € 58,84, größter Preis: € 72,49, Mittelwert: € 64,20
1
From Object-Orientation to Formal Methods : Essays in Memory of Ole-Johan Dahl - Wolfgang Babel
Bestellen
bei hive.co.uk
£ 53,54
(ca. € 63,20)
Bestellengesponserter Link
Wolfgang Babel:

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…

No. 9783540399933. Versandkosten:Instock, Despatched same working day before 3pm, zzgl. Versandkosten.
2
From Object-Orientation to Formal Methods : Essays in Memory of Ole-Johan Dahl - Atsushi Ohori
Bestellen
bei hive.co.uk
£ 53,54
(ca. € 63,15)
Bestellengesponserter Link

Atsushi Ohori:

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…

No. 9783540399933. Versandkosten:Instock, Despatched same working day before 3pm, zzgl. Versandkosten.
3
From Object-Orientation to Formal Methods - Olaf Owe; Stein Krogdahl; Tom Lyche
Bestellen
bei Springer.com
€ 58,84
Versand: € 0,001
Bestellengesponserter Link
Olaf Owe; Stein Krogdahl; Tom Lyche:
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…

new in stock. Versandkosten:zzgl. Versandkosten. (EUR 0.00)
4
From Object-Orientation to Formal Methods : Essays in Memory of Ole-Johan Dahl - Anastasia Pagnoni
Bestellen
bei hive.co.uk
£ 53,54
(ca. € 63,31)
Bestellengesponserter Link
Anastasia Pagnoni:
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

No. 9783540399933. Versandkosten:Instock, Despatched same working day before 3pm, zzgl. Versandkosten.
5
Bestellen
bei lehmanns.de
€ 72,49
Versand: € 0,001
Bestellengesponserter Link
Stein Krogdahl; Tom Lyche; Olaf Owe:
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

Versandkosten:Download sofort lieferbar. (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

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...