Name: Formal Methods for Open Object-Based Distributed Systems
Brand: Paolo Ciancarini
SKU: ID12472314
Availability: InStock

Formal Methods for Open Object-Based Distributed Systems

213.99 EUR

Dieses Buch beleuchtet formale Techniken für offene objektbasierte verteilte Systeme, bietet neue Modellierungsansätze, prüft Kommunikationsprotokolle und zeigt praxisnahe Verifikationstechniken.

Gesponsert

Formal Methods for Open Object-Based Distributed Systems: Ifip Tc6 / Wg6.1 Third International Conference On Formal Methods For Open Object-Based . . ... and Communication Technology, 10, Band 10)

Medimops DE

213.99 EUR

22-04-2026 05:13:48

Gesponsert

Formal Methods for Open Object-Based Distributed Systems

SpringerLink DE

213.99 EUR

22-04-2026 09:07:49

Gesponsert

Formal Methods for Open Object-Based Distributed Systems, Fachbücher von Alessandro Fantechi, Paolo Ciancarini, Roberto Gorrieri

Galaxus.de

213.99 EUR

21-04-2026 19:44:54

Formal Methods for Open Object-Based Distributed Systems

Ähnliche Produkte