Specification and Verification of Object-Oriented Software...

Main
Mathematics - Applied Mathematics
Specification and Verification of...

Specification and Verification of Object-Oriented Software Components

Andreas Roth

0 / 0

Quanto Você gostou deste livro?

Qual é a qualidade do ficheiro descarregado?

Descarregue o livro para avaliar a sua qualidade

De que qualidade são os ficheiros descarregados?

Categorias:

Mathematics - Applied Mathematics

Ano:

2006

Editora:

KIT Scientific Publishing

Idioma:

english

Páginas:

270

ISBN 10:

3866440421

ISBN 13:

9783866440425

Arquivo:

PDF, 2.36 MB

IPFS:

,

english, 2006

Ler online

A converter para

Conversão para falhou

Você pode estar interessado em

Bruno Nettl — An Introduction to Folk Music in the United States

Vladimir Nabokov — Γέλιο στο σκοτάδι

Neil Gaiman — The Sandman #2 Master of Dreams: Imperfect Hosts

Lucy Huskinson — Nietzsche and Jung: The Whole Self in the Union of Opposites

Nebraska Symposium — Modeling Complex Systems (Nebraska Symposium on Motivation, Vol 52)

Günther Jakobs — Sociedad, norma y persona en una teoría de un Derecho penal funcional

Diego Alfonso Erba — Sistemas de Información Geográfica aplicados a estudios urbanos: experiencias Latinoamericanas

Salvatore Iaconesi, Oriana Persico — Angel F. Diario di una intelligenza artificiale

Hubert Reeves — Προσμονή μέσα στο άπειρο: Η κοσμική εξέλιξη

Wals Sergio — Contabilidad I Spanish

Tony Hoare (auth.), Peter Müller (eds.) — Advanced Lectures on Software Engineering: LASER Summer School 2007/2008

Carrano, Frank M., Prichard, Janet — Data Abstraction and Problem Solving with Java: Walls and Mirrors

K. Rustan, M. Leino — Program Proofs

Zohar Manna — Lectures on the logic of computer programming

Jonathan P. Bowen, Zhiming Liu, Zili Zhang — Engineering Trustworthy Software Systems: Third International School, SETSS 2017, Chongqing, China, April 17–22, 2017, Tutorial Lectures

Péter Müller [Müller, Péter] — Programming Languages and Systems: 29th European Symposium on Programming, ESOP 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings

Wolfgang Ahrendt • Bernhard Beckert • Richard Bubel • Einar Broch Johnsen (Eds.) — The Logic of Software. A Tasting Menu of Formal Methods

Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Peter H. Schmitt, Mattias Ulbrich (eds.) — Deductive Software Verification – The KeY Book: From Theory to Practice

Jonathan Aldrich, Craig Chambers (auth.), Martin Odersky (eds.) — ECOOP 2004 – Object-Oriented Programming: 18th European Conference, Oslo, Norway, June 14-18, 2004. Proceedings

Kung-Kiu Lau (auth.), C. Neville Dean, Raymond T. Boute (eds.) — Teaching Formal Methods: CoLogNET/FME Symposium, TFM 2004, Ghent, Belgium, November 18-19, 2004. Proceedings

Bernhard Schätz (auth.), Jim Davies, Wolfram Schulte, Mike Barnett (eds.) — Formal Methods and Software Engineering: 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004. Proceedings

David Aspinall, Stephen Gilmore (auth.), Gilles Barthe, Lilian Burdy, Marieke Huisman, Jean-Louis Lanet, Traian Muntean (eds.) — Construction and Analysis of Safe, Secure, and Interoperable Smart Devices: International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers

Mathai Joseph (auth.), John Fitzgerald, Ian J. Hayes, Andrzej Tarlecki (eds.) — FM 2005: Formal Methods: International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005. Proceedings

Shady Copty, Itai Jaeger, Yoav Katz (auth.), Shmuel Ur, Eyal Bin, Yaron Wolfsthal (eds.) — Hardware and Software, Verification and Testing: First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers

Peter Müller (eds.) — Modular Specification and Verification of Object-Oriented Programs

C. A. R. Hoare (auth.), Jeannette M. Wing, Jim Woodcock, Jim Davies (eds.) — FM’99 — Formal Methods: World Congress on Formal Methods in the Development of Computing Systems Toulouse, France, September 20–24, 1999 Proceedings, Volume I

Armand Puccetti (auth.), Armand Puccetti (eds.) — The Programming and Proof System ATES: Advanced Techniques Integration into Efficient Scientific Software

Reiner Hähnle (auth.), Bernhard Beckert, Reiner Hähnle, Peter H. Schmitt (eds.) — Verification of Object-Oriented Software. The KeY Approach: Foreword by K. Rustan M. Leino

Desconocido — Verified Software Theories Tools Experiments 1 Vstte 2005 4171 2008 3540691472 O 565s

Rajeev Alur (auth.), José Meseguer, Grigore Roşu (eds.) — Algebraic Methodology and Software Technology: 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008 Proceedings

Thomas Ball, Brian Hackett, Shuvendu K. Lahiri, Shaz Qadeer, Julien Vanegue (auth.), Gary T. Leavens, Peter O’Hearn, Sriram K. Rajamani (eds.) — Verified Software: Theories, Tools, Experiments: Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010. Proceedings

Dave Clarke, James Noble & Tobias Wrigstad (eds.) — LNCS 7850 - Aliasing in Object-Oriented Programming

Benjamin Weiß — Deductive Verification of Object-Oriented Software: Dynamic Frames, Dynamic Logic and Predicate Abstraction

Frases chave