Cover Image

Transformation-based reactive systems development : 4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, ARTS'97, Palma, Mallorca, Spain, May 21-23, 1997 : proceedings /

Bibliographic Details
Corporate Authors: International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software Palma de Mallorca, Spain, SpringerLink (Online service)
Other Authors: Bertran, Miquel, Rus, Teodor
Format: Conference Proceeding eBook
Language:English
Published: Berlin ; New York : Springer, [1997]
Series:Lecture notes in computer science ; 1231.
Subjects:
Real-time data processing > Congresses.
Parallel processing (Electronic computers) > Congresses.
Electronic data processing > Distributed processing > Congresses.
logique algébrique.
concurrence.
vérification programme.
spécification algébrique.
réactivité.
système temps réel.
logique formelle.
Parallélisme (Informatique) > Congrès.
Temps réel > Congrès.
Traitement réparti > Congrès.
Electronic data processing > Distributed processing.
Parallel processing (Electronic computers)
Real-time data processing.
Real-time systemen.
Programacao De Computadores.
Temps réel (informatique) > Congrès.
Parallélisme (informatique) > Congrès.
Dialogsystem.
Kongress.
Programmtransformation.
Electronic books.
Kongress > Palma de Mallorca > 1997.
Conference proceedings.
Palma de Mallorca (1997)
Online Access:Connect to the full text of this electronic book
Description
Item Description:Electronic resource.
Physical Description:1 online resource (xi, 429 pages) : illustrations
Bibliography:Includes bibliographical references and index.
ISBN:3540630104 (softcover : alk. paper)
9783540630104 (softcover : alk. paper)