Sortierung ändern: Popularität Titel Veröffentlichung Preis
|
|
Synchronous Equivalence: Formal Methods for Embedded Systems
|
Naturwissensch., Medizin, Technik |
134.00 |
|
Buch |
Sprache:
Englisch / Autor: Felice Balarin / Einband: Kartoniert |
|
|
|
|
|
Designing Reliable Distributed Systems: A Formal Methods Approach Based on Executable Modeling in Maude
|
EDV / Informatik |
96.00 |
|
Buch |
Sprache:
Englisch / Autor: Peter Csaba Ölveczky / Einband: Kartoniert |
|
|
|
|
|
Z: An Introduction to Formal Methods
|
EDV / Informatik |
113.00 |
|
Buch |
Sprache:
Englisch / Autor: Antoni Diller / Einband: Kartoniert |
|
|
|
|
|
Web Services and Formal Methods: Third International Workshop, WS-FM 2006, Vienna, Austria, September 8-9, 2006, Proceedings
|
EDV / Informatik |
69.00 |
|
Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
|
Formal Methods in Software and Systems Modeling: Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday
|
EDV / Informatik |
130.00 |
|
Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
|
Spatial Cognition II: Integrating Abstract Theories, Empirical Studies, Formal Methods, and Practical Applications
|
EDV / Informatik |
69.00 |
|
Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
|
Formal Methods for Industrial Critical Systems: 18th International Workshop, FMICS 2013, Madrid, Spain, September 23-24, 2013, Proceedings
|
EDV / Informatik |
64.00 |
|
Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
|
FM 2005: Formal Methods - International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005, Proceedings
|
EDV / Informatik |
135.00 |
|
Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
|
Unifying Theories of Programming and Formal Engineering Methods: International Training School on Software Engineering, Held at ICTAC 2013, Shanghai,
|
EDV / Informatik |
69.00 |
|
Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
|
Formal Methods for Industrial Critical Systems: 26th International Conference, FMICS 2021, Paris, France, August 24¿26, 2021, Proceedings
|
EDV / Informatik |
69.00 |
|
Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
|
Foundations of Real-Time Computing: Formal Specifications and Methods
|
EDV / Informatik |
202.00 |
|
Buch |
Sprache:
Englisch / Einband: Gebunden |
|
|
|
|
|
Advances in Theory and Formal Methods of Computing: Proceedings of the Third Imperial College Workshop
|
EDV / Informatik |
163.00 |
|
Buch |
Sprache:
Englisch / Einband: Gebunden |
|
|
|
|
|
Formal Methods for Open Object-Based Distributed Systems IV: IFIP TC6/WG6.1. Fourth International Conference on Formal Methods for Open Object-Based D
|
EDV / Informatik |
236.00 |
|
Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
|
Leveraging Applications of Formal Methods, Verification and Validation. Modeling: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November
|
EDV / Informatik |
69.00 |
|
Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
|
Formal Methods for Components and Objects: 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures
|
EDV / Informatik |
120.00 |
|
Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
|
Formal Methods: An Introduction to Symbolic Logic and to the Study of Effective Operations in Arithmetic and Logic
|
Philosophie |
134.00 |
|
Buch |
Sprache:
Englisch / Einband: Gebunden |
|
|
|
|
|
Formal Methods for Components and Objects: 5th International Symposium, FMCO 2006, Amsterdam, Netherlands, November 7-10,2006, Revised Lectures
|
EDV / Informatik |
69.00 |
|
Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
|
Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice: 8th International Symposium, ISoLA 2018, Limassol, Cyprus
|
EDV / Informatik |
69.00 |
|
Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
|
Formal Methods: Industrial Use from Model to the Code
|
Naturwissensch., Medizin, Technik |
225.00 |
|
Buch |
Sprache:
Englisch / Einband: Gebunden |
|
|
|
|
|
Leveraging Applications of Formal Methods, Verification and Validation. Verification: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, Novem
|
EDV / Informatik |
69.00 |
|
Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
|
Integrated Formal Methods: 4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004, Proceedings
|
EDV / Informatik |
135.00 |
|
Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
|
Integrated Formal Methods: 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings
|
EDV / Informatik |
69.00 |
|
Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
| / 15 |