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
E-bok
PDF, Engelska, 2005714 kr
Läs direkt i Bokus Reader – eller ladda ned till din enhet (PDF kräver ofta zoom och scroll på små skärmar).
Beskrivning
This book constitutes the refereed proceedings of the Fourth International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, ARTS''97, held in Palma de Mallorca, Spain, in May 1997.
The volume presents 24 carefully selected revised full papers. Also included are two historical contributions honoring Ramon Llull, who was born on Mallorca, as well as two invited papers. All current issues in the field of formal methods for real-time systems and distributed and concurrent systems are addressed.
The volume presents 24 carefully selected revised full papers. Also included are two historical contributions honoring Ramon Llull, who was born on Mallorca, as well as two invited papers. All current issues in the field of formal methods for real-time systems and distributed and concurrent systems are addressed.
Produktinformation
Utforska kategorier
Hoppa över listan
Du kanske också är intresserad av
FME '94: Industrial Benefit of Formal Methods
Maurice Naftalin, Tim Denvir, Miquel Bertran
Häftad, 1994
1 122 kr
Del 2
Theories And Experiences For Real-time System Development
Charles Rattray, Teodor Rus
Inbunden, 1995
2 341 kr
Algebraic Methodology and Software Technology (AMAST'93)
Giuseppe Scollo, Teodor Rus, Charles Rattray, Maurice Nivat
E-bok
2012708 kr
System Software And Software Systems: Execution Support Environment
Daniela L Rus, Teodor Rus
Inbunden, 1994
1 397 kr
Algebraic Methodology and Software Technology (AMAST’93)
Maurice Nivat, Charles Rattray, Teodor Rus, Giuseppe Scollo
Häftad, 1993
565 kr
System Software And Software Systems: Systems Methodology For Software
Daniela L Rus, Teodor Rus
Inbunden, 1993
1 117 kr