𝔖 Bobbio Scriptorium

✦ LIBER ✦

[Lecture Notes in Computer Science] ESEC '89 Volume 387 || An object-oriented approach to the system analysis

✍ Scribed by Ghezzi, C.; McDermid, J. A.

Book ID: 120362741
Publisher: Springer Berlin Heidelberg
Year: 1989
Weight: 858 KB
Category: Article
ISBN: 3540467238
DOI: 10.1007/3-540-51635-2_51

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Obje

[Lecture Notes in Computer Science] Object-Oriented Technologys Volume 1357 || An Object-Oriented Abstract Machine as the Substrate for an Object-Oriented Operating System

✍ Bosch, Jan; Mitchell, Stuart 📂 Article 📅 1998 🏛 Springer Berlin Heidelberg ⚖ 66 KB

[Lecture Notes in Computer Science] Veri

[Lecture Notes in Computer Science] Verification of Object-Oriented Software. The KeY Approach Volume 4334 || Using KeY

✍ Beckert, Bernhard; Hähnle, Reiner; Schmitt, Peter H. 📂 Article 📅 2006 🏛 Springer Berlin Heidelberg ⚖ 711 KB

[Lecture Notes in Computer Science] Veri

[Lecture Notes in Computer Science] Verification of Object-Oriented Software. The KeY Approach Volume 4334 || Java Integers

✍ Beckert, Bernhard; Hähnle, Reiner; Schmitt, Peter H. 📂 Article 📅 2006 🏛 Springer Berlin Heidelberg ⚖ 611 KB

[Lecture Notes in Computer Science] Veri

[Lecture Notes in Computer Science] Verification of Object-Oriented Software. The KeY Approach Volume 4334 || Proof Reuse

✍ Beckert, Bernhard; Hähnle, Reiner; Schmitt, Peter H. 📂 Article 📅 2006 🏛 Springer Berlin Heidelberg ⚖ 439 KB

[Lecture Notes in Computer Science] Veri

[Lecture Notes in Computer Science] Verification of Object-Oriented Software. The KeY Approach Volume 4334 || Proof Obligations

✍ Beckert, Bernhard; Hähnle, Reiner; Schmitt, Peter H. 📂 Article 📅 2006 🏛 Springer Berlin Heidelberg ⚖ 624 KB

[Lecture Notes in Computer Science] Veri

[Lecture Notes in Computer Science] Verification of Object-Oriented Software. The KeY Approach Volume 4334 || The KeY Syntax

✍ Beckert, Bernhard; Hähnle, Reiner; Schmitt, Peter H. 📂 Article 📅 2006 🏛 Springer Berlin Heidelberg ⚖ 285 KB