Die Inhalte dieser Webseite enthalten Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten.

FM'99 - Formal Methods: World Congress on Formal Methods in the Development of C

Ø 0.0

0 Bewertungen

136,70 €

Foundations of System Specification (IFIP WG 1.3). - A translation of statecharts to esterel. - Data abstraction for CSP-OZ. - A brief summary of VSPEC. - Program Verification. - On excusable and inexcusable failures towards an adequate notion of translation correctness.

Jetzt bei Ebay:

Zum Angebot *

ISBN-13:

9783540665885
Book Title:

FM'99 - Formal Methods
ISBN:

9783540665885

None:

International Standard : tracked-no signature (7 to 15 business days) 49,07 EUR - Lieferung zwischen 19. May 2025 und 28. May 2025 (bei heutigem Zahlungseingang)
Versand nach:

Weltweit
Versand ausgeschlossen:

Costa Rica , Dominica , Dominikanische Republik , El Salvador , Guadeloupe , Guatemala , Haiti , Honduras , Jamaika , Martinique , ... und weitere

FM'99 - Formal Methods: World Congress on Formal Methods in the Development of C

FM'99 - Formal Methods: World Congress on Formal Methods in the Developement of

Fertility and Sterility: The Proceedings of the XIth World Congress on Fertility

Advancing Social Simulation: The First World Congress by Shingo Takahashi (Engli

Branching Processes: Proceedings of the First World Congress by C.C. Heyde (Engl

VDM '91. Formal Software Development Methods. 4th International Symposium of VDM

Formal Description of Programming Concepts: Formal Software Development Methods

Formal Methods The Next 30 Years: Third World Congress, FM 2019, Porto, Portugal

Formal Methods in Databases and Software Engineering: Proceedings of the Worksho

Human Error, Safety and Systems Development: IFIP 18th World Computer Congress T

FME 2001: Formal Methods for Increasing Software Productivity: International Sym

VDM '91. Formal Software Development Methods. 4th International Symposium of VDM

Structural Change, Economic Interdependence and World Development: Congress Proc

Human Error, Safety and Systems Development: IFIP 18th World Computer Congress T

Formal Methods : The Next 30 Years; Third World Congress, Fm 2019, Porto, Por...

Formal Methods in Human-Computer Interaction by Philippe Palanque (English) Pape

mural: A Formal Development Support System by R.D. Moore (English) Paperback Boo

Formal Methods Teaching: Third International Workshop and Tutorial, FMTea 2019,

Formal Methods for Trustworthy Computer Systems (FM89): Report from FM89: A Work

Formal Methods : The Next 30 Years; Third World Congress, Fm 2019, Porto, Por...

Formal Methods Teaching: 4th International Workshop and Tutorial, FMTea 2021, Vi

FM'99 - Formal Methods: World Congress on Formal Methods in the Development of C

Ähnliche Artikel

FM'99 - Formal Methods: World Congress on Formal Methods in the Developement of

Fertility and Sterility: The Proceedings of the XIth World Congress on Fertility

Advancing Social Simulation: The First World Congress by Shingo Takahashi (Engli

Branching Processes: Proceedings of the First World Congress by C.C. Heyde (Engl

VDM '91. Formal Software Development Methods. 4th International Symposium of VDM

Formal Description of Programming Concepts: Formal Software Development Methods

Formal Methods The Next 30 Years: Third World Congress, FM 2019, Porto, Portugal

Formal Methods in Databases and Software Engineering: Proceedings of the Worksho

Human Error, Safety and Systems Development: IFIP 18th World Computer Congress T

FME 2001: Formal Methods for Increasing Software Productivity: International Sym

VDM '91. Formal Software Development Methods. 4th International Symposium of VDM

Structural Change, Economic Interdependence and World Development: Congress Proc

Human Error, Safety and Systems Development: IFIP 18th World Computer Congress T

Formal Methods : The Next 30 Years; Third World Congress, Fm 2019, Porto, Por...

Formal Methods in Human-Computer Interaction by Philippe Palanque (English) Pape

mural: A Formal Development Support System by R.D. Moore (English) Paperback Boo

Formal Methods Teaching: Third International Workshop and Tutorial, FMTea 2019,

Formal Methods for Trustworthy Computer Systems (FM89): Report from FM89: A Work

Formal Methods : The Next 30 Years; Third World Congress, Fm 2019, Porto, Por...

Formal Methods Teaching: 4th International Workshop and Tutorial, FMTea 2021, Vi

Cookie Hinweis