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 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!

Wegen Wartungsarbeiten nicht verfügbar

Unser Bibliotheksverwaltungssystem ist momentan wegen Wartungsarbeiten nicht verfügbar.

Bestandes- und Verfügbarkeitsinformationen können momentan leider nicht angezeigt werden. Wir entschuldigen uns für die Umstände und stehen für weitere Fragen gerne zur Verfügung:

it.bib-wue@thws.de

Online

DE-706
URL des Eerstveröffentlichers

Ähnliche Einträge