Suchergebnisse - Verified Java bytecode verification

Bücher, Zeitschriften, Online-Medien und mehr aus Ihrer Bibliothek

Verified Java bytecode verification

Klein, Gerwin (Verfasser)

2003

E-Book

A Machine-Checked, Type-Safe Model of Java Concurrency : Language, Virtual Machine, Memory Model, and Verified Compiler

Lochbihler, Andreas (Verfasser)

[Erscheinungsort nicht ermittelbar] : KIT Scientific Publishing, 2012

E-Book

Verified Software: Theories, Tools, Experiments : Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008, Proceedings

Shankar, Natarajan (Herausgeber)

1st ed. 2008

Berlin, Heidelberg : Springer Berlin Heidelberg, 2008

E-Book

Verified Software: Theories, Tools, Experiments : First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions

Meyer, Bertrand (Herausgeber)

1st edition 2008

Berlin, Heidelberg : Springer Berlin Heidelberg, 2008

E-Book

Verification, Induction, Termination Analysis : Festschrift for Christoph Walther on the Occasion of His 60th Birthday

Siegler, Simon (Herausgeber)

1st edition 2010

Berlin, Heidelberg : Springer Berlin Heidelberg, 2010

E-Book

Verification, Model Checking, and Abstract Interpretation : 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005, Proceedings

Cousot, Radhia (Herausgeber)

1st ed. 2005

Berlin, Heidelberg : Springer Berlin Heidelberg, 2005

E-Book

Die Sicherheitsaspekte von mobilem Code

Sohr, Karsten (Verfasser)

2001

E-Book

Programming Languages and Systems : 8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010 Proceedings

Ueda, Kazunori (Herausgeber)

1st ed. 2010

Berlin, Heidelberg : Springer Berlin Heidelberg, 2010

E-Book

Trustworthy Global Computing : 5th International Symposium, TGC 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers

Wirsing, Martin (Herausgeber)

1st ed. 2010

Berlin, Heidelberg : Springer Berlin Heidelberg, 2010

E-Book

Static Analysis : 14th International Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007, Proceedings

Riis Nielson, Hanne (Herausgeber)

1st ed. 2007

Berlin, Heidelberg : Springer Berlin Heidelberg, 2007

E-Book

Integrated Formal Methods : 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010, Proceedings

Méry, Dominique (Herausgeber)

1st ed. 2010

Berlin, Heidelberg : Springer Berlin Heidelberg, 2010

E-Book

Tools and Algorithms for the Construction and Analysis of Systems : 11th International Conference, TACAS 2005, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2004, Proceedings

Halbwachs, Nicolas (Herausgeber)

1st ed. 2005

Berlin, Heidelberg : Springer Berlin Heidelberg, 2005

E-Book

FM 2006: Formal Methods : 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings

Misra, Jayadev (Herausgeber)

1st ed. 2006

Berlin, Heidelberg : Springer Berlin Heidelberg, 2006

E-Book

Formal Foundations of Reuse and Domain Engineering : 11th International Conference on Software Reuse, ICSR 2009, Falls Church, VA, USA, September 27-30, 2009. Proceedings

Edwards, Stephen H (Herausgeber)

1st ed. 2009

Berlin, Heidelberg : Springer Berlin Heidelberg, 2009

E-Book

Formal Methods : 25th International Symposium, FM 2023, Lübeck, Germany, March 6–10, 2023, Proceedings

Chechik, Marsha (Herausgeber)

1st ed. 2023

Cham : Springer International Publishing, 2023

E-Book

Tools and Algorithms for the Construction and Analysis of Systems : 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III

Beyer, Dirk (Herausgeber)

1st ed. 2019

Cham : Springer International Publishing, 2019

E-Book

Programming Languages and Systems : 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings

Ahmed, Amal (Herausgeber)

1st ed. 2018

Cham : Springer International Publishing, 2018

E-Book

Tools and Algorithms for the Construction and Analysis of Systems : 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Paris, France, April 22–27, 2023, Proceedings, Part II

Sankaranarayanan, Sriram (Herausgeber)

1st ed. 2023

Cham : Springer Nature Switzerland, 2023

E-Book

Fundamental Approaches to Software Engineering : 8th International Conference, FASE 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005, Proceedings

Cerioli, Maura (Herausgeber)

1st ed. 2005

Berlin, Heidelberg : Springer Berlin Heidelberg, 2005

E-Book

Chapter Dynamic Dispatch for Method Contracts Through Abstract Predicates

Mostowski, Wojciech (Verfasser)

[Erscheinungsort nicht ermittelbar] : Springer Nature, 2017

E-Book

Bücher, Zeitschriften, Online-Medien und mehr aus Ihrer Bibliothek

Treffer 1 - 20 von 34

Seite in der Trefferliste auswählen

Seite in der Trefferliste auswählen

Suche einschränken