Papers from the May 1994 workshop on specification techniques for concurrent systems. Topics include techniques for distributed systems, behavioral and operational specification techniques, new parallel language and system abstractions, and the impact of specification techniques on compilation and runtime performance. Annotation copyright Book News, Inc. Portland, Or.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Hardcover. Zustand: Brand New. 399 pages. 10.50x7.25x1.00 inches. In Stock. Bestandsnummer des Verkäufers __0821802534
Anzahl: 2 verfügbar