Ihr Marktplatz für antiquarische und neue Bücher | Login | Neu registrieren Registrieren
Buchfreund als App
Versand nach:
🇩🇪 Deutschland 🇦🇹 Österreich 🇨🇭 Schweiz
Formal Methods for Components and Objects - 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers
Beispielbild für diese ISBN

Formal Methods for Components and Objects - Bücher gebraucht & antiquarisch kaufen

Mehr anzeigen
Produktart:
Bücher
ISBN | EAN:
3642170706 | 9783642170706
1x gebraucht ab
28,00 EUR 25,20 EUR
Kostenloser Versand

1 verfügbares Angebot für diesen Artikel Formal Methods for Components and Objects

Formal Methods for Components and Objects - 8th International Symposium, FMCO 2009, Eindhoven…

von Marcello M. Bonsangue Frank S. de Boer Verlag: Springer Berlin,

2011 2011. Neubindung, Buchrücken leicht angestoßen 10022887/12 mehr lesen

Von: Buchpark GmbH (Trebbin, 🇩🇪 Deutschland)PayPal
Gebraucht, sehr gut 28,00 EUR 25,20 EUR Kostenloser Versand
Sonderaktion: 10% Rabatt bis 05.11.2026

Ähnliche Angebote, die interessant für Sie sein könnten.

Formal Methods for Components and Objects - 5th International Symposium, FMCO 2006, Amsterdam, Netherlands, November 7-10,2006, Revised Lectures
Formal Methods for Components and Objects - 5th International Symposium, FMCO 2006, Amsterdam, Netherlands, November 7-10,2…
von Marcello M. Bonsangue Frank S. de Boer
Formal Methods for Components and Objects - 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, State of the Art Survey
Formal Methods for Components and Objects - 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23…
von Marcello M. Bonsangue
FM8501: A Verified Microprocessor
FM8501: A Verified Microprocessor
von Warren A. Jr Hunt
Formal Methods for Components and Objects - 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010
Formal Methods for Components and Objects - 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1…
von Frank S. de Boer Bernhard K. Aichernig
Modular Specification and Verification of Object-Oriented Programs
Modular Specification and Verification of Object-Oriented Progra…
von Peter Müller
Theorem Proving in Higher Order Logics - 12th International Conference, TPHOLs`99, Nice, France, September 14-17, 1999, Proceedings
Theorem Proving in Higher Order Logics - 12th International Conference, TPHOLs`99, Nice, France, September 14-17, 1999, Pro…
von Yves Bertot
Verified Software: Theories, Tools, Experiments - 4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012 Proceedings
Verified Software: Theories, Tools, Experiments - 4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January…
von Rajeev Joshi
Theoretical Aspects of Computing – ICTAC 2024 - 21st International Colloquium, Bangkok, Thailand, November 25–29, 2024, Proceedings
Theoretical Aspects of Computing – ICTAC 2024 - 21st Internatio…
von Chutiporn Anutariya
Agent Technology from a Formal Perspective
Agent Technology from a Formal Perspective
von Christopher Rouff