Übersicht			Auf mobile öffnen

Lieferstatus:	i.d.R. innert 14-24 Tagen versandfertig
Veröffentlichung:	August 2000
Genre:	EDV / Informatik
	Algorithmen und Datenstrukturen / Compiler und Übersetzer / Computers - Languages / Programming / COMPUTERS / Databases / General / COMPUTERS / Information Theory / COMPUTERS / Intelligence (AI) & Semantics / COMPUTERS / Programming / Object Oriented / COMPUTERS / Programming Languages / General / COMPUTERS / Systems Architecture / General / Künstliche Intelligenz (KI) / Rechnerarchitektur und Logik-Entwurf mehr...
ISBN:	9780792379232
EAN-Code:	9780792379232
Verlag:	Springer Us
Einband:	Gebunden
Sprache:	English
Serie:	#49 - IFIP Advances in Information a
Dimensionen:	H 234 mm / B 156 mm / D 24 mm
Gewicht:	776 gr
Seiten:	422
Bewertung:	Titel bewerten / Meinung schreiben

Inhalt:

Formal Methods for Open Object-Based Distributed Systems IV presents the leading edge in the fields of object-oriented programming, open distributed systems, and formal methods for object-oriented systems. With increased support within industry regarding these areas, this book captures the most up-to-date information on the subject. Papers in this volume focus on the following specific technologies: components; mobile code; Java®; The Unified Modeling Language (UML); refinement of specifications; types and subtyping; temporal and probabilistic systems. This volume comprises the proceedings of the Fourth International Workshop on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2000), which was sponsored by the International Federation for Information Processing (IFIP) and held in Stanford, California, USA, in September 2000.