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

Formal Methods for Mobile Computing: 5th International School on Formal Methods

Name: Formal Methods for Mobile Computing: 5th International School on Formal Methods
SKU: 156807867166
Price: 69.60 EUR
Availability: InStock
Rating: 0.0 (0 reviews)

Ø 0.0

0 Bewertungen

69,60 €

Each part is composed of two papers. In particular, the authors show that history-dependent automata allow for a compact representation of?. rst-class data with coordination primitives. Models and Languages.

Jetzt bei Ebay:

Zum Angebot *

Format:

Paperback
Language:

English
ISBN-13:

9783540256977
Author:

Marco Bernardo, Alessandro Bogliolo
Type:

NA
Book Title:

Formal Methods for Mobile Computing
Publication Name:

NA
ISBN:

9783540256977

None:

International Standard : tracked-no signature (7 to 15 business days) 34,04 EUR - Lieferung zwischen 21. May 2025 und 02. June 2025 (bei heutigem Zahlungseingang)
Versand nach:

Weltweit
Versand ausgeschlossen:

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

Formal Methods for Mobile Computing: 5th International School on Formal Methods

Formal Methods for Components and Objects: 5th International Symposium, FMCO 200

Formal Methods for Real-Time and Probabilistic Systems: 5th International AMAST

Formal Methods for the Design of Real-Time Systems: International School on Form

Formal Methods for Software Architectures: Third International School on Formal

Formal Methods in Computer-Aided Design: 5th International Conference, FMCAD 200

NASA Formal Methods: 5th International Symposium, NFM 2013, Moffett Field, CA, U

Distributed Computing and Internet Technology: 5th International Conference, ICD

Formal Methods for Web Services: 9th International School on Formal Methods for

Formal Methods for Model-Driven Engineering: 12th International School on Formal

Formal Methods for Hardware Verification: 6th International School on Formal Met

Grid Economics and Business Models: 5th International Workshop, GECON 2008, Las

Formal Methods for Dynamical Systems: 13th International School on Formal Method

Distributed Computing - IWDC 2003: 5th International Workshop, Kolkata, India, D

Integrated Formal Methods: 5th International Conference, IFM 2005, Eindhoven, Th

Agents and Peer-to-Peer Computing: 5th International Workshop, AP2PC 2006, Hakod

Formal Methods and Software Engineering: 5th International Conference on Formal

Formal Methods for Eternal Networked Software Systems: 11th International School

Pervasive Computing Paradigms for Mental Health: 5th International Conference, M

Cloud Computing: 5th International Conference, CloudComp 2014, Guilin, China, Oc

Formal Methods for Performance Evaluation: 7th International School on Formal

Formal Methods for Mobile Computing: 5th International School on Formal Methods

Ähnliche Artikel

Formal Methods for Components and Objects: 5th International Symposium, FMCO 200

Formal Methods for Real-Time and Probabilistic Systems: 5th International AMAST

Formal Methods for the Design of Real-Time Systems: International School on Form

Formal Methods for Software Architectures: Third International School on Formal

Formal Methods in Computer-Aided Design: 5th International Conference, FMCAD 200

NASA Formal Methods: 5th International Symposium, NFM 2013, Moffett Field, CA, U

Distributed Computing and Internet Technology: 5th International Conference, ICD

Formal Methods for Web Services: 9th International School on Formal Methods for

Formal Methods for Model-Driven Engineering: 12th International School on Formal

Formal Methods for Hardware Verification: 6th International School on Formal Met

Grid Economics and Business Models: 5th International Workshop, GECON 2008, Las

Formal Methods for Dynamical Systems: 13th International School on Formal Method

Distributed Computing - IWDC 2003: 5th International Workshop, Kolkata, India, D

Integrated Formal Methods: 5th International Conference, IFM 2005, Eindhoven, Th

Agents and Peer-to-Peer Computing: 5th International Workshop, AP2PC 2006, Hakod

Formal Methods and Software Engineering: 5th International Conference on Formal

Formal Methods for Eternal Networked Software Systems: 11th International School

Pervasive Computing Paradigms for Mental Health: 5th International Conference, M

Cloud Computing: 5th International Conference, CloudComp 2014, Guilin, China, Oc

Formal Methods for Performance Evaluation: 7th International School on Formal

Cookie Hinweis