Formal Methods for Open Object-Based Distributed Systems IV IFIP TC6/WG6.1. Fourth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2000) September 6–8, 2000, Stanford, California, USA

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-t...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Weitere Verfasser:	Smith, Scott F. (HerausgeberIn), Talcott, Carolyn L. (HerausgeberIn)
Format:	Elektronisch E-Book
Sprache:	English
Veröffentlicht:	New York, NY Springer US 2000
Ausgabe:	1st ed. 2000
Schriftenreihe:	IFIP Advances in Information and Communication Technology 49
Schlagworte:	Programming Techniques Processor Architectures Artificial Intelligence Data Structures and Information Theory Programming Languages, Compilers, Interpreters Computer programming Microprocessors Artificial intelligence Data structures (Computer science) Programming languages (Electronic computers)
Online-Zugang:	DE-706 URL des Eerstveröffentlichers
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!

Formal Methods for Open Object-Based Distributed Systems IV IFIP TC6/WG6.1. Fourth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2000) September 6–8, 2000, Stanford, California, USA

Ähnliche Einträge